[Artikel] Simulierte Evolution

Tutorial durchsuchen

Ansicht

Themen-Optionen

[Artikel] Simulierte Evolution

Ein Tutorial von Luckie · begonnen am 19. Jul 2006 · letzter Beitrag vom 31. Jul 2006

Vorheriger Beitrag

Nächster Beitrag

mbamler

Registriert seit: 19. Mai 2005
Ort: Hamburg
118 Beiträge

Delphi 7 Architect

#10

Re: [Artikel] Simulierte Evolution

19. Jul 2006, 06:46

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