Проблема остановки в теории алгоритмов, и не только
Бумажное издание
Оригинальное название: Оригинальный правообладатель:
World Scientific
Перевод: Слинкин А.
Дата выхода: июль 2024 года
Объем, стр: 264
ISBN: 978-5-93700-315-7
Формат: 165 * 235 мм
Бумага: офсетная
Обложка: Твердый переплет
Вес, г: 500
Электронное издание
Оригинальное название: Оригинальный правообладатель:
World Scientific
Перевод: Слинкин А.
Дата выхода: июль 2024 года
Объем, стр: 264
ISBN: 978-5-93700-315-7
- Самовывоз м. Коломенская - завтра - Бесплатно
- Доставка почтой по РФ - 7-28 дней - от 300 р.
Доставка почтой за пределы РФ - 14-28 дней - от 1400 р. - Курьером по Москве - в течение 7 дней - 300 р.
Аннотация
В книге рассказывается о знаменитой «проблеме остановки»: может ли алгоритм за конечное время решить, остановится ли когда-нибудь произвольная компьютерная программа?
Поначалу этот вопрос кажется мелким и праздным: ну кому это может быть интересно? Но что, если все разумные сроки — неделя, год, десять лет — истекли, а программа, которую вы запустили, всё никак не останавливается? Можно ли сделать вывод, что она не остановится никогда?
«Проблема остановки» кроется во многих предметах, не обязательно связанных с программированием:
- логика: свободна ли математика от противоречий?
- физика: является ли квантовая случайность совершенной?
- квантовые вычисления: почему не существует квантовой проблемы остановки?
- философия: обладает ли человек свободой воли или наш мозг генерирует мысли и решения автоматически?
Книга написана неформальным языком, приглашает к размышлениям, снабжена иллюстрациями, затрагивает интересные приложения и почти свободна от сложных расчетов (лишь некоторые части адресованы читателям с глубокой математической подготовкой).
Предполагаемая аудитория – широкий круг технически образованных читателей, интересующихся пределами вычислимости. Также издание может быть полезно студентам, ученым и инженерам в различных областях информатики, математики, философии, физики.



