Nie mogę wymyślić żadnego takiego modelu, może jakiejś formy wypisanego rachunku lambda? jakiś elementarny automat komórkowy?
To prawie obaliłoby „zasadę równoważności obliczeniowej” Wolframa:
Prawie wszystkie procesy, które nie są oczywiście proste, można postrzegać jako obliczenia o podobnym stopniu zaawansowania
automata-theory
computability
turing-machines
lambda-calculus
universal-computation
Diego de Estrada
źródło
źródło
Jestem prawie pewien, że argument diagonalizacji dotyczy dowolnego modelu obliczeń, który:
Gdybyśmy mieli model, który naruszył jeden z powyższych warunków, jego moc obliczeniowa byłaby bardzo ograniczona.
źródło
Nie jestem pewien dokładnego związku, ale wydaje się, że jest to związane z twierdzeniem Friedberga-Muchnika (patrz tutaj ): istnieje zbiór, którego stopień Turinga jest mniejszy niż problem zatrzymania. Ten wynik odpowiedział na wpływowe pytanie Posta i doprowadził do wprowadzenia „metody pierwszeństwa” w obliczalności.
źródło
Prawdopodobnie. Istnieje wiele problemów matematycznych, które prawdopodobnie obejmują niektóre z nich, które są nierozstrzygalne, tj. Odpowiedź brzmi „tak”, ale nie ma na to dowodów. Na przykład jako problem pojawia się problem Collatz 3x + 1. Lub pytanie, czy pi zawiera dowolnie długie ciągi kolejnych 9s. Każdy taki problem można uznać za „model obliczeń” przypuszczalnie znacznie mniej wydajny niż UTM, ale nadal byłoby nierozstrzygalne, czy „przestanie”, czy „zawsze przestanie”.
źródło