في مثل هذا اليوم 14 يناير1978م..بقلم سامح جميل..

في مثل هذا اليوم 14 يناير1978م..
وفاة كورت غودل، عالم رياضيات نمساوي.
كورت غودل (بالألمانية: Kurt Gödel)؛ (28 أبريل 1906 – 14 يناير 1978) منطقي ورياضياتي وفيلسوف. ولد في برون في مورافيا في ما كان يعرف باسم نمسا-المجر. بعد تفكُك تلك المملكة أصبح غودل تشيكيا في عمر 12، ثم أصبح نمساوياً في عمر 23 وبدخول هتلر إلى النمسا وضمها إلى ألمانيا أصبح غودل مواطِناً ألمانيا في عمر 32. بعد انتهاء الحرب العالمية الثانية، سافر غودل إلى الولايات المتحدة حيث أصبح مواطِناً أمريكياً وعمرهُ اثنان وأربعون عاماً. من أهم إنجازاته مبرهنات عدم الاكتمال.

نشر غودل مبرهنتيّ عدم الاكتمال عام 1931 عندما كان عمره 25 عامًا، وذلك بعد سنة واحدة من حصوله على شهادة الدكتوراه من جامعة فيينا. تنص مبرهنة عدم الاكتمال الأولى على أنه بالنسبة لأي نظام بديلي متكرر متسق-ذاتيًا وقويًا بما فيه الكفاية ليصف حساب الأعداد الطبيعية (بديهيات بيانو على سبيل المثال)، هناك افتراضات حقيقية حول الطبيعيات لا يمكن إثباتها من البديهيات. ولإثبات هذه المبرهنة، طوَّر غودل تقنيةً تعرف الآن باسم ترقيم غودل، والتي ترمز للتعابير الرسمية بأرقام طبيعية.

أظهر أيضًا أنه لا يمكن دحض بديهية الاختيار أو نظرية الاستمرارية من بديهيات نظرية المجموعات، مفترضًا أن هذه البديهيات غير متسقة. فتحت النتيجة السابقة الباب لعلماء الرياضيات ليفترضوا بديهية الاختيار في براهينهم. قام أيضًا بإسهامات مهمة في نظرية البرهان عن طريق توضيح الروابط بين المنطق الكلاسيكي، المنطق الحدسي، ومنطق الموجهات.
موته لم يكن موتًا متوقعًا بالنسبة لرجل قيل عنه أنه أكبر خبراء العالم في علم المنطق. فقد كان غودل مصابًا بالوسواس طوال معظم حياته البالغة، وبينما تقدم به العمر، أصبح مقتنعًا بأنه يتعرض للتسميم، لقد كان لدى غودل مخاوف ورهاب من أن يكون طعامه مسمومًا، ولذلك لم يأكل إلاّ من الطّعام الذي أعدّته زوجته. وعندما مرضت زوجته واضطّرّت للبقاء في المستشفى لعدّة أشهر، رفض غودل أن يأكل طيلة هذه المدّة، وتوفّي أخيرًا بسبب نقص الغذاء في العام 1978، إذ كان وزنه لا يزيد عن الـ 30 كيلوغرامًا في حينها.

لم يكن لموت غودل غير المنطقي تمامًا أي تأثير سلبي على سمعته. فعندما أجرت مجلة «تايم» منذ عامين استطلاعًا للرأي لتحديد المفكرين الأقوى تأثيرًا في القرن العشرين، كان غودل واحدًا من علماء الرياضيات ضمن الأسماء العشرين الأوائل، وكان عالم الرياضيات الآخر آلان تورنغ!!