Проблема остановки в теории алгоритмов, и не только

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