Проблема зупинки в теорії алгоритмів, і не тільки. Калюд К. С.

У книзі розповідається про знамениту «проблему зупинки»: чи може алгоритм за кінцевий час вирішити, чи зупиниться колись довільна комп'ютерна програма?

Спочатку це питання здається дрібним і пустим: ну кому це може бути цікаво? Але що, якщо всі розумні терміни - тиждень, рік, десять років - минули, а програма, яку ви запустили, все ніяк не зупиняється? Чи можна зробити висновок, що вона не зупиниться ніколи?

«Проблема зупинки» криється в багатьох предметах, не обов'язково пов'язаних із програмуванням:

• логіка: чи вільна математика від суперечностей?
• фізика: чи є квантова випадковість досконалою?
• квантові обчислення: чому не існує квантової проблеми зупинки?
• філософія: чи має людина свободу волі або наш мозок генерує думки і рішення автоматично?

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

Передбачувана аудиторія - широке коло технічно освічених читачів, які цікавляться межами обчислюваності. Також видання може бути корисним студентам, ученим та інженерам у різних галузях інформатики, математики, філософії, фізики.