Публикации с тегом проблема остановки
Можно ли вычислить всё? О Гёделе, Тьюринге и программировании +4
Реализм против платонизма. Неполнота Гёделя, неразрешимость Тьюринга и физические основания математики +19
Квантовый панкомпьютерализм против цифровой физики. Всё из бита или всё из кубита? +6
Верификация рекурсивных функций в Coq. Проблема остановки. Горючее +1
Учёные доказали, что сдерживание сверхинтеллекта — невычислимая задача +54
Создание системы формальной верификации с нуля. Часть 1: символьная виртуальная машина на PHP и Python +8
Формальная верификация на примере задачи о волке, козе и капусте +27
