История изменений
Исправление quasimoto, (текущая версия) :
Грубо говоря, МТ IRL остановится. Когда лента кончится. Не важно когда, важно — остановится.
IRL проверка fib₁≡fib₂ заняла несколько секунд и съела несколько десятков мегабайт.
А Тьюринг с Гёделем про проверку и запуски для особо запущенных утверждений и программ — другая тема.
Чисто теоретически даже тот факт что проверка некого P займёт over 100500GB и лет не должен смущать — 1) по классу такое P ничем не отличается от fib₁≡fib₂ (с высоты Тьюринга с Гёделем, конечно), 2) это именно что теоретический трюк для установки такого класса, практически будут оптимизации и приемлемые времена и память для рассматриваемых задач.
Исходная версия quasimoto, :
Грубо говоря, МТ IRL остановится. Когда лента кончится. Не важно когда, важно — остановится.
IRL проверка fib₁≡fib₂ заняла несколько секунд и съела несколько десятков мегабайт.
А Тьюринг с Гёделем про проверку и запуски для особо запущенных утверждений и программ — другая тема.
Чисто теоретически даже тот факт что проверка некого P займёт over 100500GB и лет не должен смущать — 1) по классу такое P ничем не отличается от fib₁≡fib₂, 2) это именно что теоретический трюк для установки класса, практически будут оптимизации и приемлемые времена и память для рассматриваемых задач.