Hilbert II 0.04.06
مشروع وهيلبرت الثاني هو الوصول إلى اللامركزية التحقق منها وقراءة المعرفة الرياضية. كما انها بالفعل اسم يوحي، وهذا المشروع هو في تقليد برنامج هيلبرت. هيلبرت II يريد أن يصبح، في جميع أنحاء العالم قاعدة المعرفة الرياضية مجانية تحتوي على النظريات والبراهين الرياضية في الشكل الصحيح رسمي. ويتم نشر جميع الوثائق التي تنتمي...