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

Джокер

Администратор
Регистрация
1 Янв 2015
Сообщения
146.277
Реакции
78.233
**Складчина: [ДМК] Проблема остановки в теории алгоритмов и не только [Кристиан С. Калюд]**

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

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

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

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

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

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

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