Личный кабинет
Подробное описание документа
Калюд, К. Проблема остановки в теории алгоритмов и не только : руководство / К. Калюд ; перевод с английского А. А. Слинкина. — Москва : ДМК Пресс, 2024. — 264 с. — ISBN 978-5-93700-315-7.
В книге рассказывается о знаменитой «проблеме остановки»: может ли алгоритм за конечное время решить, остановится ли когда-нибудь произвольная компьютерная программа? Поначалу этот вопрос кажется мелким и праздным: ну кому это может быть интересно? Но что, если все разумные сроки — неделя, год, десять лет — истекли, а программа, которую вы запустили, всё никак не останавливается? Можно ли сделать вывод, что она не остановится никогда? «Проблема остановки» кроется во многих предметах, не обязательно связанных с программированием: логика: свободна ли математика от противоречий? физика: является ли квантовая случайность совершенной? квантовые вычисления: почему не существует квантовой проблемы остановки? философия: обладает ли человек свободой воли или наш мозг генерирует мысли и решения автоматически? Книга написана неформальным языком, приглашает к размышлениям, снабжена иллюстрациями, затрагивает интересные приложения и почти свободна от сложных расчетов (лишь некоторые части адресованы читателям с глубокой математической подготовкой). Предполагаемая аудитория – широкий круг технически образованных читателей, интересующихся пределами вычислимости. Также издание может быть полезно студентам, ученым и инженерам в различных областях информатики, математики, философии, физики.
