Аннотация
В книге рассказывается о «проблеме остановки», пожалуй, самой знаменитой неразрешимой проблеме: может ли алгоритм за конечное время решить, остановится ли когда-нибудь произвольная компьютерная программа? Проблема остановки «кроется» во многих предметах: от логики (свободна ли математика от противоречий?) и физики (является ли квантовая случайность совершенной?) до философии (обладает ли человек свободой воли или наш мозг генерирует мысли и решения автоматически?) и квантовых вычислений (почему не существует квантовой проблемы остановки?). Книга написана неформальным языком, приглашает к размышлениям и почти свободна от заумной математики (формальные доказательства имеются только в некоторых частях).
Издание предназначено широкому кругу читателей, интересующихся информатикой и смежными областями знаний.
Издание предназначено широкому кругу читателей, интересующихся информатикой и смежными областями знаний.
Характеристики
|
Издано
|
Издательство «ДМК Пресс» |
|
Формат(ы)
|
|
|
Перевод
|
с англ. |
|
Переводчик(и)
|
А.А. Слинкин |
|
Вид издания
|
Научно-популярное издание |
Ознакомительный фрагмент
Открыть/скачать фрагмент
937,1 кб
Отзывы
