кристиан калюд

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