Allgemeines Halteproblem

Gegeben sei die Sprache

• ist die Menge aller Gödelisierungen
• ist irgend eine Eingabe

H ist nicht entscheidbar.

Beweis: Reduzierbarkeit von Allgemeines Halteproblem auf