Hilbert II 0.04.06
פרויקט הילברט השני היא גישה מבוזרת לידע מתמטי אומת וקריא. כפי ששם כבר מרמז, פרויקט זה הוא במסורת של תכנית הילברט. הילברט השני רוצה להפוך לבסיס חופשי, עולם הרחב מתמטי ידע המכיל משפטים מתמטיים והוכחות בצורה נכונה פורמאלית. כל המסמכים השייכים מתפרסמים תחת...