30-08-2013, 12:33
Ein Schachprogramm ist nicht das, wovon, nach meinem Verständnis, hier die Rede war. Nehmen wir das Dame-Spiel, von dem bekannt ist, dass man den Erfolg seiner Gewinnstrategie mathematisch-logisch beweisen kann. Schach ist leider ein unpassendes Beispiel, weil es entweder keine Gewinnstrategie gibt oder derzeit unbekannt ist.
Zurück zu Dame: Es geht nicht darum, das Spiel durch eine Maschine tatsächlich zu gewinnen, sondern darum, dass und wie der Beweis geführt wurde und ob er unzulässige, logische Schritte enthält.
Zurück zu Dame: Es geht nicht darum, das Spiel durch eine Maschine tatsächlich zu gewinnen, sondern darum, dass und wie der Beweis geführt wurde und ob er unzulässige, logische Schritte enthält.
Mit freundlichen Grüßen
Ekkard
Ekkard