Hilbert II Legen Sie einfach die Satzungen und Beweise in der Wissensbasis
Jetzt downloaden

Hilbert II Ranking & Zusammenfassung

Hilbert II Stichworte

verifizieren Wissen Wissensbasis Einfügung theorem einfügen theorem überprüfen

Hilbert II Beschreibung

Legen Sie einfach die Satzungen und Beweise in der Wissensbasis Hilbert II ist eine Frei- und Open-Source-Programmsuite, die einen Mathematiker ermöglicht, theorems und Beweise in diese Wissensbasis zu setzen. Diese Beweise werden automatisch von einem Beweisschacher überprüft. Auch Texte in der "gemeinsamen mathematischen Sprache" können integriert werden. Die mathematischen Axiome, Definitionen und -vorschläge werden zu sogenannten QEDEQ-Modulen kombiniert. Ein solches Modul könnte als mathematisches Lehrbuch angesehen werden, das formale korrekte Beweise enthält. Da dieses System nicht zentral verwaltet wird, und Verweise auf einen beliebigen Standort im Internet können eine weltweite mathematische Wissensbasis bauen. Jeder Beweis eines Satzes in dieser "mathematischen Bahn" könnte bis zu den sehr elementaren Regeln und Axiomen gebohrt werden. Denken Sie an eine unglaubliche Anzahl mathematischer Lehrbücher mit Hyperlinks und jeder seiner Beweise könnte von Hilbert II überprüft werden. Für jeden Satz könnte die Abhängigkeit von anderen Theorems, Definitionen und Axiomen leicht abgeleitet werden. Anforderungen: · Java

Hilbert II Zugehörige Software