BuK/IIm20/Vorlesung 8 Grüning

Wiki-Quelltext dieser Seite.

== Gödelisierung Eigenschaften Seite 4==

Einfach $A^*$ aufzählen (Aufzählfunktion F)und mit G durchprobieren. Umkehrfunktion ist eine Funktion da G injektiv ist. Da G und F berechenbar sind und G(w) garantiert existiert gibt es immer ein Ergebnis.