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

من ويكيبيديا، الموسوعة الحرة
اذهب إلى التنقل اذهب إلى البحث

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

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

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

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

فيتغنشتاين وغودل[عدل]

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

مراجع[عدل]

  1. ^ "معلومات عن مبرهنات عدم الاكتمال لغودل على موقع thes.bncf.firenze.sbn.it". thes.bncf.firenze.sbn.it. مؤرشف من الأصل في 27 سبتمبر 2019. الوسيط |CitationClass= تم تجاهله (مساعدة)
  2. ^ "معلومات عن مبرهنات عدم الاكتمال لغودل على موقع universalis.fr". universalis.fr. مؤرشف من الأصل في 25 يوليو 2019. الوسيط |CitationClass= تم تجاهله (مساعدة)
  3. ^ "معلومات عن مبرهنات عدم الاكتمال لغودل على موقع d-nb.info". d-nb.info. مؤرشف من الأصل في 26 مايو 2020. الوسيط |CitationClass= تم تجاهله (مساعدة)


Nuvola apps edu mathematics-ar.svg
هذه بذرة مقالة عن الرياضيات او موضوع متعلق بها بحاجة للتوسيع. شارك في تحريرها.