أفضل الأسئلة
الجدول الزمني
الدردشة
السياق

مبرهنات عدم الاكتمال لغودل

مبرهنة ليس هناك نظرية كاملة ودقيقة من ويكيبيديا، الموسوعة الحرة

مبرهنات عدم الاكتمال لغودل
Remove ads

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

معلومات سريعة جزء من, سُمِّي باسم ...
Thumb
Remove ads

مبرهنة عدم الاكتمال الأولى

تنص مبرهنة عدم الاكتمال الأولى لغودل على ما يلي:

أي نظرية مولدة بشكل كفؤ قادرة على التعبير عن الحساب الابتدائي لا يمكن أن تكون كاملة وراسخة في وقت واحد. على وجه الخصوص، توجد مقابل كلّ نظرية راسخة مولدة بشكل كفؤ (والتي تبرهن حقيقة حسابية بسيطة) عبارة حسابية أخرى تكون محققة ولكنها غير مبرهنة بالنظرية.

فيتغنشتاين وغودل

انظر لودفيش فيتغنشتاين.

مراجع

Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads