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

[Sky90]

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

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

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

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

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

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

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

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