كورت گودل
كورت گودل Kurt Gödel | |
---|---|
كورت گودل في 1925
| |
وُلـِد |
برنو، موراڤيا، النمسا-المجر |
أبريل 28, 1906
توفي | يناير 14, 1978 پرنستون، نيوجرزي، الولايات المتحدة |
(عن عمر 71 عاماً)
الجامعة الأم | جامعة ڤيينا |
مبعث الشهرة | Gödel's incompleteness theorems, Gödel's completeness theorem, the consistency of the Continuum hypothesis مع ZFC, Gödel's ontological proof |
الأوسمة | جائزة ألبرت أينشتاين (1951); National Medal of Science (الولايات المتحدة) في العلوم الرياضية والإحصائية والحاسوبية (1974) |
السيرة الفهمية | |
المجالات | الرياضيات، المنطق الرياضي |
الهيئات | معهد الدراسات المتقدمة |
المشرف على الدكتوراه | هانز هان |
طلاب الدكتوراه | لا أحد |
كورت گودل Kurt Gödel (عاش 28 أبريل 1906 - 14 يناير 1978) منطقي، رياضي، فيلسوف، ولد في برون، مورافيا في ما كان يعهد باسم النمسا-المجر، بعد تفكك تلك المملكة أصبح گودل تشيكياً في عمر 12، ثم أصبح نمساويا في عمر 23 وبدخول هتلر إلى النمسا وضمها إلى ألمانيا أصبح غودل مواطنا ألمانيا في عمر 32. بعد انتهاء الحرب العالمية الثانية، سافر گودل إلى الولايات المتحدة حيث أصبح مواطنا أمريكيا في عمر 42 .
كورت جودل حل كثيراً من المشكلات الرئيسة في المنطق الرياضي. انضم إلى جامعة ڤيينا في الثلاثينيات، وكان واحداً من أعضاء جماعة ڤيينا إلى جانب فلاسفة وفهماء ورياضيين آخرين أمثال كارناپ Carnap وغيره. وقد شارك زملاءَه في رفضهم للميتافيزيقا وفهمهم الفلسفة على أنها منطق الفهم والتحليل المنطقي لمفاهيمه ونظرياته. وهذا التحليل هوالبناء المنطقي للغة الفهم.
هاجر إلى الولايات المتحدة في عام 1940 بعد ملاحقة الحكومة النمسوية النازية لكل نادىة هذه الجماعة، ومقتل مؤسسها موريتس شليك Moritz Schlick. أصبح عضواً في «معهد العلوم المتقدمة» Institut for Advanced Study في جامعة پرنستون، ودرّس فيه المنطق الحديث والرياضيات. وقد أخضع للفحص جميع أنساق التعريفات الرياضية، وبرهن على عدم اكتمال الأنساق الشكلية axiomatic التي تفترض الصياغة الشكلية لفهم حساب الأعداد الطبيعية. وقد أثبت حتى ما من نسق من هذه الأنساق يحتوي في ذاته مرشد تماسكه consistency، بمعنى حتى هذه الأنساق تحتوي على قضايا داخل إطارها، مما لا يمكن البرهنة عليه، ولا يمكن دحضه على السواء، وقد تسبب الفرض الذي قدمه غودل في قيام البحث في حدود الأنساق الشكلية على أيدي ألونزوتشيرش Alonzo Church وستيفن كول Stephen Kol وألفرد تارسكي Alfred Tarski وموستوفسكي Mostovsky وغيرهم، وهوالبحث الذي بلغ ذروته في الاستنباط الفلسفي الأساسي القائل إذا الصياغة الشكلية بطريقة كاملة للفهم الفهمية محالة.
وبدءاً من صياغة منطقية لبنية الحساب، وهي ما سماه الميتارياضيات meta- mathematics، أوفهم ما وراء الرياضيات، برهن غودل في نظريتين مشهورتين له، على أنه يستحيل إثبات عدم تناقض الحساب؛ لأن هذا الحساب يتضمن منطوقات، «غير بتّية»؛ أي يمتنع إثبات كونها قابلة للبرهان أوللدحض، ولأن هذه النتائج تنطبق على جميع الأنساق الرياضية المتقدمة؛ فإن نظرية غودل ترسم علامة استفهام وشك فيما يتعلق بالأنساق المنطقية والصورية لدى ديفيد هلبرت وبرتراند رسل.
قصر غودل جهوده على المنطق التكويني أوالاستدلالي constructive logic، فضلاً عن فهم ما وراء الرياضيات أيضاً، وهوفرع من فروع المنطق الحديث يفهم الحسابات المنطقية، إذ تمكّن، اعتماداً على فهم الحساب الخاص به، من تحليل سيرورات معينة ترتبط بالمتغيرات، مثل الاستبدال على سبيل المثال. وقد طمح غودل من ذلك إلى تسهيل أسس المنطق الرياضي، واستبعاد التناقضات. وأسهم أيضاً في تطوير نظرية العوامل الارتدادية. وهذا الإلحاح على النزعة الفهمية، واعتماد اللغة جزءاً من الحساب قد أديا به إلى رفض الماورائيات.
له دراسات ومنطقات عدة في مجال اللغة والمنطق الرياضي والتحليل المنطقي، تم جمعها في مجلدين صدرا عن جامعة أوكسفورد في عام 1986 وعام 1990. وكان لآراء گودل الفلسفية أثر كبير في تطور الفلسفة الوضعية الجديدة neo-positivism التي أنتجت تيار الفلسفة التحليلية اللغوية.
انظر أيضاً
بوابة المنطق |
- Gödel dust, an exact solution of the Einstein field equation
- Gödel Prize
- Gödel programming language
- گودل، إشر، باخ
- Gödel's Slingshot
- List of Austrian scientists
الهامش
- ^ سوسن بيطار. "غودل (كورت -)". الموسوعة العربية.
المراجع
- Dawson, John W., 1997. Logical dilemmas: The life and work of Kurt Gödel. Wellesley MA: A K Peters.
- 1911 Encyclopædia Britannica/Brünn. (2007, September 19). In Wikisource, The Free Library. Retrieved 10PM EST March 13, 2008, from http://en.wikisource.org/w/index.php?title=1911_Encyclop%C3%A6dia_Britannica/Br%C3%BCnn&oldid=447734
نطقب:Winners of the National Medal of Science