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

[Vendetta]

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

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

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

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

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

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

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

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

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