Hilbert II. Pulire facilmente teoremi e prove nella base di conoscenza
Scarica ora

Hilbert II. Classifica e riepilogo

Hilbert II. Tag

verificare conoscenza base di conoscenza inserire Inserire il teorema Verifica teorema

Hilbert II. Descrizione

Mettere facilmente teoremi e prove nella base della conoscenza Hilbert II è una suite di programma gratuita e open source che consente a un matereatiano di mettere teoremi e prove in quella base di conoscenza. Queste prove vengono verificate automaticamente da un correttore a prova di controllo. Anche i testi in "lingua matematica comune" possono essere integrati. Gli assiomi matematici, le definizioni e le proposte sono combinati per i cosiddetti moduli Qedeq. Tale modulo potrebbe essere visto come un libro di testo matematico che include prove corrette formali. Poiché questo sistema non è amministrato centralmente e i riferimenti a qualsiasi posizione su Internet sono possibili, potrebbe essere costruita una base di conoscenza matematica mondiale. Qualsiasi prova di un teorema in questo "web matematico" potrebbe essere perforato verso le regole e gli assiomi molto elementari. Pensa a un incredibile numero di libri di testo matematici con collegamenti ipertestuali e ciascuna delle sue prove potrebbe essere verificata da Hilbert II. Per ogni teorema la dipendenza da altri teoremi, definizioni e assiomi potrebbe essere facilmente derivata. Requisiti: · Java.

Hilbert II. Software correlato