Неразрешимая задача — та, для которой доказано отсутствие алгоритма, отвечающего верно на каждом допустимом входе. Классический пример — определение по произвольной программе и её исходным данным, остановится ли она когда-нибудь: общего способа нет, и это установлено доказательством, а не нехваткой вычислительных сил. Отдельные случаи при этом разбираются, невозможен лишь способ, годный для всех.
54 карточки о вычислениях и данных: как непрерывное становится числом, как устроены алгоритмы и структуры хранения, почему сеть считается ненадёжной, чем хеш отличается от шифра и что модель делает с обучающей выборкой.