Zitat von
Luckie:
Nein, der Autor hat mathematisch bewiesen, dass die erzeugten Programme korrekt arbeiten. Frag ich aber nicht wie man so etwas mathematisch beweisen kann.
Leider kann man genau das NICHT: Beweisen, dass ein Programm korrekt arbeitet (nicht mal theoretisch)
(Man kann Plausibilitätsprüfungen machen und gegebenenfalls behaupten: Sehr wahrscheinlich funktioniert das Programm - aber mehr leider nicht)
siehe Alan M. Turing
Alan M. Turings "Halteproblem"
Gruß
Matthias