كورت جودل ، عالم رياضيات وفيلسوف أمريكي نمساوي (مواليد 1906)
كان كورت فريدريش جودل (GUR-dəl ، بالألمانية: [kʊʁt ˈɡøːdl̩] (استمع) ؛ 28 أبريل 1906-14 يناير 1978) منطقيًا وعالم رياضيات وفيلسوفًا. نظرًا لكونه مع أرسطو وجوتلوب فريجه أحد أهم علماء المنطق في التاريخ ، كان لغودل تأثير هائل على التفكير العلمي والفلسفي في القرن العشرين ، في وقت كان فيه آخرون مثل برتراند راسل وألفريد نورث وايتهيد وديفيد هيلبرت باستخدام المنطق ونظرية المجموعات للتحقيق في أسس الرياضيات ، والبناء على العمل السابق لأمثال ريتشارد ديديكيند وجورج كانتور وفريج.
نشر جودل أول نظرية عدم اكتمال في عام 1931 عندما كان يبلغ من العمر 25 عامًا ، بعد عام واحد من حصوله على الدكتوراه في جامعة فيينا. تنص نظرية عدم الاكتمال الأولى على أنه بالنسبة لأي نظام بديهي عودي متسق قوي بما يكفي لوصف حساب الأعداد الطبيعية (على سبيل المثال حساب بينو) ، هناك افتراضات حقيقية حول الأعداد الطبيعية لا يمكن إثباتها أو دحضها من البديهيات. لإثبات ذلك ، طور Gödel تقنية تُعرف الآن باسم ترقيم Gödel ، والتي ترمز التعبيرات الرسمية كأرقام طبيعية. تنص نظرية عدم الاكتمال الثانية ، التي تلي الأولى ، على أن النظام لا يمكن أن يثبت اتساقها. أظهر جوديل أيضًا أنه لا بديهية الاختيار ولا فرضية الاستمرارية يمكن دحضها من نظرية مجموعة Zermelo-Fraenkel المقبولة ، بافتراض أن بديهياتها متسقة. فتحت النتيجة الأولى الباب أمام علماء الرياضيات لاتخاذ بديهية الاختيار في براهينهم. قدم أيضًا مساهمات مهمة في نظرية الإثبات من خلال توضيح الروابط بين المنطق الكلاسيكي والمنطق الحدسي والمنطق الشرطي.