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

[Kevin]

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

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

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

"Проблема остановки" затрагивает не только программирование, но и:

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

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

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

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

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

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