Diskussion:Maschinengestütztes Beweisen
aus Wikipedia, der freien Enzyklopädie
Hallo,
nur ein kurzer Hinweis:
In dem Absatz "Während Theorembeweiser Beweise für Theoreme aus Axiomen über Inferenzschritte ableiten und in irgendeiner Form mathematische Beweise nachbilden, [...]"
ergibt der folgende Nebensatz grammatikalisch keinen Sinn bzw. ist unverständlich:
"[...], werden bei der Modellprüfung (model checking) zumeist raffiniert implementierte Techniken, Beweiszustände brute-force aufzuzählen und Suchräume von Beweiszuständen systematisch abzusuchen. [...]"
Hab´s mehrmals gelesen, aber nicht wirklich verstanden. Darum hab ich auch keine Idee zum Umformulieren :-(
Verliert nicht den Spaß an Wikipedia!
Björn