Bedeutung von gödelisieren | Babel Free

Definitionen

Wörter einer formalen Sprache auf Nummern ( natürliche Zahlen) injektiv abbilden

Beispiele

“„Wir wollen jetzt Programmworte gödelisieren.“”

“„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.“”

“„Damit läßt sich jedes Wort durch diejenige Zahl gödelisieren, die durch Hintereinanderschreiben der Ziffernfolgen der einzelnen Symbolnummern entsteht.“”

GER-Stufe