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

[Kors]

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

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

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

«Проблема остановки» охватывает различные области, не только программирование:

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

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

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

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

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

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