Alg. unl. Probleme (5)

der gegebene Beweis beruht auf Ideen von


Die Aussage gilt für jede Programmiersprache

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



Johannes Waldmann 2007-01-23