6
Unentscheidbare Probleme begrenzen physikalische Theorien
Bedeutet das Vorhandensein unentscheidbarer Probleme sofort, dass physikalische Systeme nicht vorhersehbar sind? Betrachten wir das Halteproblem. Zuerst konstruieren wir eine physikalische UTM, beispielsweise unter Verwendung der üblichen schaltungsbasierten Konstruktion. Dann kann es keine entscheidbare physikalische Theorie geben, die bei jeder Eingangseinstellung der Schaltungen bestimmen kann, ob die Schaltung anhält. Dies …