Hilbert II projek is gedesentraliseerde toegang tot geverifieer en leesbare wiskundige kennis. As dit is naam reeds aandui, hierdie projek is in die tradisie van die Hilbert se program.
Hilbert II wil 'n gratis, wêreldwyd wiskundige kennis dat wiskundige stellings en bewyse in 'n formele korrekte vorm bevat word. Alle uitmaak dokumente gepubliseer onder die GNU Free Documentation License.
Ons doel is om die algemene wiskundige argumentvoering te pas by 'n formele sintaksis. Dit beteken, wanneer in wiskunde 'n sekere soort van redenasie word dikwels gebruik ons uitsien om dit te integreer in die formele taal van Hilbert II. Dit formele taal is bekend as die qedeq formaat.
Hilbert II bied 'n program suite wat kan 'n wiskundige stellings en bewyse te sit in die kennis basis. Hierdie bewyse is outomaties nagegaan deur 'n bewys checker. Ook tekste in "gewone wiskundige taal" kan geïntegreer word.
Die wiskundige aksiomas, definisies en stellings word gekombineer om die sogenaamde qedeq modules. So 'n module kan gesien word as 'n wiskundige handboek wat formele korrekte bewyse sluit. Omdat hierdie stelsel is nie sentraal geadministreer en verwysings na enige plek in die internet is moontlik, kan 'n wêreld wye wiskundige kennis bou.
Enige bewys van 'n stelling in hierdie "wiskundige web" geboor kan word af na die baie elementêre reëls en aksiomas. Dink aan 'n ongelooflike aantal wiskundige handboeke met skakels en elkeen van sy bewyse kon deur Hilbert II geverifieer word. Vir elke stelling wat die afhanklikheid van ander stellings, definisies en aksiomas kan maklik afgelei word
Die basiese konsep van hierdie projek is gepubliseer as PDF dokument:. Basiese konsep. Hierdie dokument is reeds gegenereer uit die volgende XML lêer: qedeq_basic_concept.xml. Die belangrikste projek is in die eerste develompment fase sien onder ontwikkeling.
Daar bestaan 'n werkende prototipe genoem Principia Mathematica II. Dit is ten volle in staat om van die eerste orde predikaatlogika en toon die belangrikste kenmerke en funksies van Hilbert II. Dit kan verifieer (prototipe) qedeq module lêers op enige plek in die internet.
Die prototipe het 'n GUI en qedeq modules kan oordra in HTML en LaTeX lêers. Jy kan skep en jou eie nuwe qedeq module wysig en publiseer dit in die internet. In die web reeds bestaande qedeq modules kon net deur die verwysing na hulle word gebruik
Wat is nuut in hierdie release:.
Kommentaar nie gevind