solution for the halting problem is here

[109]

вот, нашёл. в смысле - не сам нашёл, а на интернете.

запускаем, значит, исследуемую программу на машине, которая делает первый шаг за секунду, второй за полсекунды, третий за четверть, ну и так далее. если через две секунды программа всё ещё работает, то она non-halting.

Comments

[kukutz.livejournal.com]