@ Hagen: natürlich weiß ich ds meine Herangehesweise so ziemlich die ineffizenteste (aber am einfachsten zu realisierende) ist die man finden konnte. Denn nicht nur das man einige Exponenten ausklammern könnte, sondern mein programm fragt sowohl: 2^3+5^3=6^3 ab als auch 5^3+2^3=6^3 also könnte man schon von vornherein die Menge der Rechnungen halbieren wenn man das abfangen würde.
Außerdem: deine DECMath ist auch jetzt nicht drinne (siehe Quelltext) Dieses Argument zieht aso nicht
Aber mal im ernst. Wenn ich anfange mich "fundiert" mit der sache zu beschäftigen, kann ch es gleich sein lassen, da auch dannn eine Lösung einfach nicht vorhanden ist. Ich muss dann zwar weniger Rechnungen überprüfen, aber immernoch Unendlich. Hab also im Prinzip nix gespart, aber noch wertvolle Arbeitszeit verschwendet. Außerdem steigt mit jeder dazugekommenden Rechnung/Umrechnung/Umstellung/Abfrage/ect. die Wahrscheinlichkeit für einen Fehler im Algorithmus und damit im Programm und somit das das Ergebniss richtig ist.
Dazu kommt noch das der Beweis auf der uns heute bekannten Mathematik berut. Genauso würde eine Abfrage die Bestimmte Werte ausschließt auf der uns heute bekannten Mathematik beruhen. Findet das Programm aber eine Lösung, die sich wie Luke geschrieben hat ohne weiteres verifizieren lässt, würde das bedeuten das in unserer Mathematik ein Fehler drinne is, den wir bis dato noch nicht kannten. (Ich sach nur: Was is Licht? Newton dachte noch es sind Stahlen, dann dachte mann es sind elektromagnetische Wellen und Einstein sagte es sind Quanten, und wir nutzen heute alle drei Modelle, die teilweise nicht miteinander vereinbar sind.)
Damit will ich natürlich nicht abstreiten das Der Satz richtig ist, aber theoretisch betrachtet ist da noch einiges offen.
Das ändert aber alles nix daran das dieses Programm reiner Schwachsinn ist!