Hilbert II layihəsi təsdiq və oxunaqlı riyazi bilik sərbəst çıxış edir. Adı artıq təklif kimi, bu layihə Hilbert proqramı ənənə var.
Hilbert II rəsmi düzgün formada riyazi teoremləri və sübutlar olan bir pulsuz, dünyada riyazi bilik bazası olmaq istəyir. Bütün aid sənədlər GNU Free Documentation License dərc olunur. Biz formal sintaksis üçün ümumi riyazi arqumentlər uyğunlaşdırmaq məqsədi
. Bu riyaziyyat əsaslığının müəyyən bir növ tez-tez biz Hilbert II formal dilinə inteqrasiya gözləyirik istifadə zaman, deməkdir. Bu formal dil qedeq format adlanır.
Hilbert II bilik bazasına daxil teoremləri və dəlilləri qoymaq üçün bir riyaziyyatçı imkan verir ki, bir proqram suite edir. Bu dəlillər avtomatik olaraq sübut checker tərəfindən təsdiq edilir. Həmçinin "ümumi riyazi dil" mətnləri. Inteqrasiya oluna bilər
riyazi aksiomatika, anlayışlar və təkliflər belə qedeq modulları çağırdı birləşir. Belə bir modul formal doğru mö'cüzələr olan bir riyazi dərslik sayıla bilər. Bu sistem mərkəzləşdirilmiş idarə və internet hər hansı bir yerə istinadlar mümkün deyil, çünki dünya geniş riyazi bilik bazası qurmaq ola bilər. Bu "riyazi web" bir teoremi hər hansı sübut qazılacaq bilər
Çox ibtidai qaydaları və aksiomatika aşağı. Hiperlink riyazi dərsliklərin inanılmaz sayda düşünün və onun dəlil hər Hilbert II təsdiq edilə bilər. Hər teoremi üçün digər teoremlər, təriflər və aksiomatika asılılıq asanlıqla əldə edilə bilər ki, bu layihənin əsas konsepsiyası PDF sənəd kimi nəşr olunur
. Əsas konsepsiyası. Bu sənəd artıq aşağıdakı XML fayl həyata yaradılan: qedeq_basic_concept.xml. Layihənin əsas inkişaf görmək, ilk develompment mərhələsindədir.
Principia Mathematica II adlı iş prototip mövcuddur. Bu birinci xəbər məntiq tam qadirdir və əsas xüsusiyyətləri və Hilbert II funksionalığına göstərir. Bu internet hər hansı yerləşən (prototip) qedeq modul faylları kontrol edə bilərsiniz.
Prototip bir GUI və HTML və lateks faylları daxil qedeq modulları köçürə bilər. Siz yaratmaq və öz yeni qedeq modulu redaktə və internet dərc edə bilər. Web artıq mövcud qedeq modulları onları sened yalnız istifadə edilə bilər
nə Bu Release New var. Gamawap
Şərhlər tapılmadı