Alg. unlösb. Probleme (2)

Hilfsmittel: Aufzählung (Numerierung) aller Programme

(..., die aus einer Eingabe eine Ausgabe berechnen.)

Da Algorithmen (Programme) beschreibungs-endlich sind, können wir sie auch durchnumerieren:

Z. B. Java-Quelltexte erst der Länge nach und innerhalb der Länge alphabetisch. Die syntax- und typ-fehlerbehafteten Texte streichen wir, übrig bleibt eine Anordnung

P₀, P₁,...

aller tatsächlich kompilier- und ausführbaren Programm-Texte.