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

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

أظهر أيضًا أنه لا يمكن دحض بديهية الاختيار أو نظرية الاستمرارية من بديهيات نظرية المجموعات، مفترضًا أن هذه البديهيات غير متسقة. فتحت النتيجة السابقة الباب لعلماء الرياضيات ليفترضوا بديهية الاختيار في براهينهم. قام أيضًا بإسهامات مهمة في نظرية البرهان عن طريق توضيح الروابط بين المنطق الكلاسيكي، المنطق الحدسي، ومنطق الموجهات.
Q2534
28 أبريل
TIME
Q2049
1906
TIME
Q2257
14 يناير
TIME
Q2483
1978
TIME
Q14960
برون
LOC
Q43266
مورافيا
LOC
None
نمسا-المجر
UNK
Q362
الحرب العالمية الثانية
EVE
Q30
الولايات المتحدة
LOC
Q200787
مبرهنات عدم الاكتمال
EVE
Q165980
جامعة فيينا
LOC
Q41390
كورت غودل
PER
1906-04-28T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
28 أبريل 1906
DATE
1978-01-14T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
14 يناير 1978
DATE
1931-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1931
DATE
+12^^http://www.w3.org/2001/XMLSchema#decimal
12
NUMBER
+23^^http://www.w3.org/2001/XMLSchema#decimal
23
NUMBER
+32^^http://www.w3.org/2001/XMLSchema#decimal
32
NUMBER
+1931^^http://www.w3.org/2001/XMLSchema#decimal
1931
NUMBER
+25^^http://www.w3.org/2001/XMLSchema#decimal
25
NUMBER
date of birth
date of death
place of birth
country of citizenship
notable work
employer