Автор: Кристиан С. Калюд

В книге рассказывается о «проблеме остановки», пожалуй, самой знаменитой неразрешимой проблеме: может ли алгоритм за конечное время решить, остановится ли когда-нибудь произвольная компьютерная программа? Проблема остановки «кроется» во многих...