Hilbert II 0.04.06
Hilbert ২ প্রকল্প যাচাই এবং পাঠযোগ্য গাণিতিক জ্ঞান বিকেন্দ্রীভূত এক্সেস. এটা নাম ইতিমধ্যেই প্রস্তাব দেওয়া হয়, এই প্রকল্পের Hilbert এর প্রোগ্রাম ঐতিহ্য হয়. Hilbert দ্বিতীয় একটি আনুষ্ঠানিক সঠিক ফর্ম গাণিতিক উপপাদ্য এবং প্রমাণ রয়েছে যে একটি মুক্ত,...