This post has been edited 1 times, last edit by "Dr. Jekyll" (Mar 22nd 2006, 3:21pm)
Guru
Date of registration: Dec 11th 2001
Location: Hämelerwald
Occupation: Wissenschaftlicher Mitarbeiter (Forschungszentrum L3S, TU Braunschweig)
Die Abbildung ist bijektiv. Jede Turingmaschine (beschrieben durch das übliche Tupel) wird auf eine Gödelnummer abgebildet. Welche Funktion eine Maschine berechnet, ist für die Abbildung nicht von Bedeutung.Quoted
Original von Dr. Jekyll
Ist die Abbildung von einer TM auf eine Gödelnummer bijektiv? Einer TM ist eine eindeutige Gödelnummer zugeordnet, das ist klar. Aber gilt das auch umgekehrt? Sprich, können (oder müssen sogar) zwei TM, die zwar dieselbe Funktion berechnen, aber einen unterschiedlichen Aufbau haben, die gleiche Gödelnummer haben?
Jetzt wieder entgödelt?Quoted
Total vergödelt:
Doc.
This post has been edited 4 times, last edit by "Joachim" (Mar 22nd 2006, 4:19pm)