Hilbert II Zet gemakkelijk theorems en bewijzen in de kennisbasis
Download nu

Hilbert II Rangschikking & Samenvatting

Hilbert II Tags

verifiëren kennis Kennis basis invoegen insert stelling Controleer theorem

Hilbert II Beschrijving

Zet gemakkelijk theores en bewijzen in de kennisbasis Hilbert II is een gratis en open source-suite die een wiskundige mogelijk maakt om theorems en bewijzen in die kennisbasis te plaatsen. Deze bewijzen worden automatisch geverifieerd door een proefschema. Ook teksten in "gemeenschappelijke wiskundige taal" kunnen worden geïntegreerd. De wiskundige axioma's, definities en proposities worden gecombineerd tot zogenaamde Qedeq-modules. Een dergelijke module kan worden gezien als een wiskundig leerboek met formele correcte bewijzen. Omdat dit systeem niet centraal wordt geadministreerd en verwijzingen naar elke locatie op internet mogelijk zijn, kan een wereldwijde wiskundige kennisbasis worden gebouwd. Elk bewijs van een stelling in dit "wiskundige web" zou kunnen worden geboord tot de zeer elementaire regels en axioma's. Denk aan een ongelooflijk aantal wiskundige studieboeken met hyperlinks en elk van zijn bewijzen kan worden gecontroleerd door Hilbert II. Voor elke theorem kunnen de afhankelijkheid van andere stellingen, definities en axioma's gemakkelijk worden afgeleid. Vereisten: · Java

Hilbert II Gerelateerde software