Скачать [ДМК] Проблема остановки в теории алгоритмов и не только [Кристиан С. Калюд]

[Fargo]

[ДМК] Проблема остановки в теории алгоритмов и не только - Кристиан С. Калюд

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

Поначалу этот вопрос кажется мелким и праздным: ну кому это может быть интересно? Но что, если все разумные сроки — неделя, год, десять лет — истекли, а программа, которую вы запустили, всё никак не останавливается? Можно ли сделать вывод, что она не остановится никогда?

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

Книга написана неформальным языком, приглашает к размышлениям, снабжена иллюстрациями, затрагивает интересные приложения и почти свободна от сложных расчетов (лишь некоторые части адресованы читателям с глубокой математической подготовкой).

Предполагаемая аудитория – широкий круг технически образованных читателей, интересующихся пределами вычислимости. Также издание может быть полезно студентам, ученым и инженерам в различных областях информатики, математики, философии, физики.

**Издание:**
- Черно-белое
- **Оригинальное название:** To Halt Or Not To Halt That Is The Question
- **Оригинальный правообладатель:** World Scientific
- **Автор:** Калюд К. С.
- **Объем, стр:** 264
- **ISBN:** 978-5-93700-187-0
- **Формат:** PDF

**Стоимость:** неизвестно

Для просмотра скрытого содержимого вы должны зарегистрироваться