Alg. unl. Probleme (5)

der gegebene Beweis beruht auf Ideen von

• Georg Cantor (Diagonalisierung, es gibt überabzählbare Mengen)
• Kurt Gödel (Unvollständigkeitssätze, Grenzen der Formalen Logik)
• Alan Turing (allgemeines Maschinenmodell, Grenzen von Algorithmen)

Die Aussage gilt für jede Programmiersprache

(..., in der man die Funktion x $\mapsto$ P_x(x) programmieren kann)