Re: Iterative Ackermannfunktion: Und sie gibt es doch (puh!)
31. Okt 2005, 13:07
Turing nicht von Neumann. Der Mann hat recht.
Meine Argumentation geht so:
Die Menge der Turingprogramme umfasst alle Programme.
Die Menge der Tupel Turingprogramm und iterativ implementierte Turingmaschine ist offensichtlich gleichmaechtig und iterativ.
Die Menge der Tupel Turingprogramm und rekursiv implementierte Turingmaschine ist offensichtlich gleichmaechtig und rekursiv.
Mithin ist der Beweis angetreten das alle Programme rekursiv und iterativ implementiert werden koennen. Allein durch die Wahl der ausfuehrenden Turingmaschine.
|