Gödelisierung

Beispiel: Unäre Kodierung

• …

• Abbildungen dezimal nummerieren
• Unär kodieren
• 0 trennt Elemente, 00 trennt Übergänge

Gödelisierung: Funktion mit folgenden Eigenschaften:

• ist Injektiv
• Bildmenge ist Entscheidbar
• und sind berechenbar