Da rekursive Funktionen mit natürlichen Zahlen rechnen, müssen wir Programm und Konfiguration einer Turing-Maschine gödelisieren, sie also in natürliche Zahlen umsetzen, auf denen eine simulierende μ-rekursive Funktion dann rechnet.
Wir wollen jetzt Programmworte gödelisieren.