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