Vorlesung 8 Grüning
Aus ProgrammingWiki
Archivierte Version vom 2021-05-14T13:20:07+00:00. Aktuelle Version
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.