Hilbert II projekt decentralizált hozzáférést ellenőrizni és olvasható matematikai tudás. Ahogy azt a neve már sugallja, ez a projekt a hagyomány Hilbert programja.
Hilbert II akar válni egy ingyenes, világszerte matematikai tudás bázis, mely tartalmazza matematikai tételek és bizonyítások a hivatalos megfelelő formában. Minden tartozó dokumentumokat teszik közzé a GNU Free Documentation License.
Célunk, hogy alkalmazkodjanak a közös matematikai érvelés, hogy a formális szintaxis. Ez azt jelenti, amikor a matematika egy bizonyos fajta érvelés gyakran használják azt várom, hogy integrálja azt a hivatalos nyelvén Hilbert II. Ez a hivatalos nyelv az úgynevezett qedeq formátumban.
Hilbert II egy programcsomag, amely lehetővé teszi egy matematikus fel tételek és bizonyítások be, hogy tudásbázis. Ezek a bizonyítékok automatikusan ellenőrizte egy igazolást ellenőrző. Szintén szövegek "közös matematika nyelvén" lehet integrálni.
A matematikai axiómák, definíciók és javaslatok kerülnek együttesen úgynevezett qedeq modulok. Egy ilyen modul lehet tekinteni, mint egy matematikai tankönyvet, amely magában foglalja a formális megfelelő igazolásokat. Mivel ez a rendszer nem központilag kezelni és hivatkozások bárhonnan az internet is lehetséges, a World Wide matematikai tudás bázist kell építeni.
Bármilyen bizonyítéka a tétel ebben a "matematikai web" lehetne fúrni egészen a nagyon elemi szabályok és axiómák. Gondolj hihetetlen számú matematikai tankönyvek hivatkozásokat, annak minden egyes bizonyítékokat sikerült igazolni Hilbert II. Minden egyes tétel a függőséget más tételek, definíciók, axiómák lehetne könnyen levezethető.
Az alapkoncepció a projekt közzétételekor PDF dokumentumként: alapkoncepciója. Ez a dokumentum már generálódott a következő XML fájl: qedeq_basic_concept.xml. A fő projekt első fázisában develompment, lásd fejlesztés alatt.
Létezik egy működő prototípust az úgynevezett Principia Mathematica II. Ez teljes mértékben képes elsőrendű predikátum logika és mutatja a főbb funkciókat és a funkcionalitás Hilbert II. Ellenőrizni lehet (prototípus) qedeq modul fájlok bárhol az interneten.
A prototípus egy GUI és átadhatja qedeq modulok HTML és LaTeX fájlok. Hozhat létre és szerkeszthetünk saját új qedeq modul és közzéteszi az interneten. A web már meglévő qedeq modulok lehetne használni csak a hivatkozás őket.
Újdonságok ebben a kiadásban:
Hozzászólás nem található