Hilbert ২ প্রকল্প যাচাই এবং পাঠযোগ্য গাণিতিক জ্ঞান বিকেন্দ্রীভূত এক্সেস. এটা নাম ইতিমধ্যেই প্রস্তাব দেওয়া হয়, এই প্রকল্পের Hilbert এর প্রোগ্রাম ঐতিহ্য হয়.
Hilbert দ্বিতীয় একটি আনুষ্ঠানিক সঠিক ফর্ম গাণিতিক উপপাদ্য এবং প্রমাণ রয়েছে যে একটি মুক্ত, ওয়ার্ল্ড ওয়াইড গাণিতিক জ্ঞান বেস হতে চায়. সমস্ত একাত্মতার নথি গনু ফ্রি ডকুমেন্টেশন লাইসেন্স অধীনে প্রকাশিত হয়. আমরা একটি আনুষ্ঠানিক বাক্য গঠন করতে সাধারণ গাণিতিক যুক্তি-প্রমাণ মানিয়ে লক্ষ্য
. যে গণিত যুক্তিপ্রদর্শন একটি নির্দিষ্ট ধরনের প্রায়ই আমরা Hilbert দ্বিতীয় আনুষ্ঠানিক ভাষায় এটি সংহত করার জন্য উন্মুখ হবে ব্যবহার করা হয়, যখনই মানে. এই আনুষ্ঠানিক ভাষা qedeq বিন্যাস বলা হয়.
Hilbert ২ যে জ্ঞান বেস মধ্যে উপপাদ্য এবং প্রমাণ করা একটি গণিতবিদ সক্ষম হবেন যে একটি প্রোগ্রাম সংকলন উপলব্ধ. এই proofs স্বয়ংক্রিয়ভাবে একটি প্রমাণ পরীক্ষক দ্বারা যাচাই করা হয়. এছাড়াও "সাধারণ গাণিতিক ভাষা" গ্রন্থে. একত্রিত করা যেতে পারে
গাণিতিক axioms, সংজ্ঞা এবং প্রস্তাবের তাই qedeq মডিউল বলা একত্রিত করা হয়. যেমন একটি মডিউল আনুষ্ঠানিক সঠিক প্রমাণ রয়েছে, যা গাণিতিক পাঠ্যপুস্তক হিসেবে দেখা যেতে পারে. এই সিস্টেম কেন্দ্রিয় পরিচালিত এবং ইন্টারনেট কোনো অবস্থান থেকে রেফারেন্স সম্ভব হয় না, কারণ, একটি বিশ্ব ব্যাপী গাণিতিক জ্ঞান বেস নির্মাণ করা যেতে পারে. এই "গাণিতিক ওয়েব" একটি উপপাদ্য কোন প্রমাণ খনন করা যেতে পারে
খুব প্রাথমিক নিয়ম এবং axioms যাও নিচে. হাইপারলিংক সঙ্গে গাণিতিক পাঠ্যবই অবিশ্বাস্য নম্বর চিন্তা এবং তার প্রমাণ প্রতিটি Hilbert ২ দ্বারা যাচাই করা যেতে পারে. প্রতিটি উপপাদ্য জন্য অন্যান্য উপপাদ্য, সংজ্ঞা এবং axioms এর নির্ভরতা সহজে আহরিত হতে পারে এই প্রকল্পের মৌলিক ধারণা পিডিএফ ফাইলটি হিসাবে প্রকাশিত হয়
. মৌলিক ধারণা. এই নথির ইতিমধ্যে নিম্নলিখিত XML ফাইল এর উত্পন্ন করা হয় না: qedeq_basic_concept.xml. প্রধান প্রকল্পের উন্নয়ন অধীন দেখুন, প্রথম develompment পর্যায়ে হয়.
প্রিন্সিপিয়া ম্যাথামেটিকা দ্বিতীয় বলা কাজ প্রোটোটাইপ বিদ্যমান আছে. এটা প্রথম অর্ডার বিধেয় যুক্তিবিজ্ঞান সম্পূর্ণ সক্ষম এবং প্রধান বৈশিষ্ট্য এবং Hilbert দ্বিতীয় কার্যকারিতা দেখায়. এটি ইন্টারনেট কোথাও অবস্থিত (প্রোটোটাইপ) qedeq মডিউল ফাইল যাচাই করতে পারে.
প্রোটোটাইপ একটি গ্রাফিক্যাল ইউজার ইন্টারফেস আছে এবং HTML এবং ক্ষীর ফাইল মধ্যে qedeq মডিউল হস্তান্তর করতে পারেন. আপনি এবং আপনার নিজের নতুন qedeq মডিউল সম্পাদনা করতে এবং ইন্টারনেট এটি প্রকাশ করতে পারবেন. ওয়েব ইতিমধ্যে বিদ্যমান qedeq মডিউল তাদের উল্লেখ করে ঠিক ব্যবহার করা যেতে পারে
কি রিলিজের মধ্যে নতুন কী:.
পাওয়া মন্তব্যসমূহ না