Алан Тьюринг доказал в 1936 году, что проблема остановки

топ 100 блогов bluxer10.02.2026 Алан Тьюринг доказал в 1936 году, что проблема остановки неразрешима на машине Тьюринга. Другими словами, не существует общего алгоритма решения этой проблемы

А ничего удивительного. И не надо даже быть Аланом Тюрингом: понять, что текст в самом деле завершён (дописан до конца) можно, только прочитав его от и до. Погрузившись в него, "прожив" его, так сказать. Взгляд на обложку не поможет.

PS. У меня был одноклассник Тюрин. Гопник-переросток, которого все боялись. Умер наверное уже.

Оставить комментарий

Популярные посты:
Архив записей в блогах:
Не пугайтесь, что столько пунктов, на самом деле, печенье готовится легко. ;)Нам ...
Так приятно после трудного рабочего дня заварить лапшу быстрого приготовления. Почувствовать её божественный вкус и аромат. Постигнуть всю прелесть прекрасного и эстетического вида лапши и насладиться ею полностью. Её манящий аромат не оставляет равнодушным никого, а изысканный вкус ...
У нас был сегодня пост про то, что нормальный обыватель, вроде нас, находится в ситуации из фантастического фильма «Матрица». По сути, мы или должны принять одну таблетку и считать, что живем в стране абсолютного зла, или принять другую и видеть то, что мы видим сейчас: против нашей ...
...
Волонтер Жучковский о некоторых подробностях оставления Широкино. Расскажу подробнее о том, что происходило в Широкино и почему считаю отход оттуда сдачей наших позиций. Широкино брал и удерживал Семеновский батальон (1-й мсб в составе 9-го полка) под командованием "Малого". Он был ...