مبرهنات عدم الاكتمال لغودل
مبرهنة ليس هناك نظرية كاملة ودقيقة / من ويكيبيديا، الموسوعة encyclopedia
مبرهنات عدم الاكتمال لغودل هما مبرهنتان في المنطق الرياضي برهنَ عليهما كورت غودل في عام 1931.[1][2][3] وهما نظريتان تنصّان على حدود جميع الأنظمة الشكلية في الحساب. تعتبر هاتان النظريتان مهمتين في فلسفة الرياضيات، وتستخدمان لإثبات استحالة إيجاد مجموعة كاملة من البديهيات لكل علم الرياضيات ببرنامج هيلبرت، ممَّا يعطي جواباً سلبياً -بالتالي- لمسألة هلبرت الثانية.
معلومات سريعة سُمِّي باسم, أثبته ...
مبرهنات عدم الاكتمال لغودل
سُمِّي باسم | |
---|---|
أثبته | |
لديه جزء أو أجزاء |
إغلاق