Algorithmisch unlösbare Probleme (1)

Da Algorithmen 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_0, P_1, \ldots$ aller tatsächlich kompilier- und ausführbaren Programm-Texte.