Я не могу думать ни о какой такой модели, может быть, о какой-то форме типизированного лямбда-исчисления? какой-то элементарный клеточный автомат?
Это почти опровергло бы «Принцип вычислительной эквивалентности» Вольфрама:
Почти все процессы, которые не являются явно простыми, могут рассматриваться как вычисления эквивалентной сложности
automata-theory
computability
turing-machines
lambda-calculus
universal-computation
Диего де Эстрада
источник
источник
Я уверен, что аргумент диагонализации применим к любой модели вычислений, которая:
Если бы у нас была модель, которая нарушила одно из вышеперечисленных условий, ее вычислительные возможности были бы чрезвычайно ограничены.
источник
Я не уверен насчет точной связи, но, похоже, это связано с теоремой Фридберга-Мучника (см. Здесь ): существует набор, степень Тьюринга которого меньше, чем проблема остановки. Этот результат ответил на важный вопрос Post и привел к внедрению «метода приоритетов» в вычислимости.
источник
Вероятно. Есть много математических проблем, которые, вероятно, включают некоторые из них, которые неразрешимы, то есть ответ «да», но никаких доказательств этого не существует. Например, проблема Collatz 3x + 1 возникает в качестве кандидата. Или вопрос о том, содержит ли pi произвольно длинные строки последовательных 9-ти. Любая такая проблема может рассматриваться как «модель вычислений», предположительно намного менее мощная, чем UTM, но она все еще не может быть решена, «останавливается» ли она или «всегда останавливается».
источник