کورت گودل: تفاوت میان نسخهها
بدون خلاصۀ ویرایش |
بدون خلاصۀ ویرایش |
||
خط ۳۰: | خط ۳۰: | ||
گودل در سن دوازده سالگی و زمانی که امپراتوری اتریش-مجارستان از هم پاشید، خودبخود تابعیت چک اسلواکی یافتام در ۲۳ سالگی خود تابعیت اتریش را پذیرفت. او را در خانه به خاطر کنجکاوی سیری ناپیرش به نام «آقای چرا» میشناختند. |
گودل در سن دوازده سالگی و زمانی که امپراتوری اتریش-مجارستان از هم پاشید، خودبخود تابعیت چک اسلواکی یافتام در ۲۳ سالگی خود تابعیت اتریش را پذیرفت. او را در خانه به خاطر کنجکاوی سیری ناپیرش به نام «آقای چرا» میشناختند. |
||
گودل در ۱۸ سالگی وارد دانشگاه وین شد. تا آن زمان او بر ریاضیات دانشگاهی مسلط شده بود. گرچه در ابتدا قصد داشت فیزیک نظری بخواند، در کلاسهای ریاضی و فلسفه هم حاضر میشد. او که در این زمان به واقعیت گرایی در ریاضیات تمایل داشت، «اصول مابعدالطیعی علوم طبیعی» کانت را خوانده بود و در جلست حلق وین با حضور شلیک، کارنپ و هانس هان شرکت میکرد. او در جلساتی که در حضور شلیک کتاب «مقدمهای بر فلسفه ریاضی» راسل را میخواندند به منطق ریاضی علاقهمند شد. او منطق ریاضی را علمی مقدم برعلوم دیگر میدانست که شامل اصولی بود که بنای علوم دیگر بر آن استوار بود. |
گودل در ۱۸ سالگی وارد دانشگاه وین شد. تا آن زمان او بر ریاضیات دانشگاهی مسلط شده بود. گرچه در ابتدا قصد داشت فیزیک نظری بخواند، در کلاسهای ریاضی و فلسفه هم حاضر میشد. او که در این زمان به واقعیت گرایی در ریاضیات تمایل داشت، «اصول مابعدالطیعی علوم طبیعی» کانت را خوانده بود و در جلست حلق وین با حضور شلیک، کارنپ و هانس هان شرکت میکرد. او در جلساتی که در حضور شلیک کتاب «مقدمهای بر فلسفه ریاضی» راسل را میخواندند به منطق ریاضی علاقهمند شد. او منطق ریاضی را علمی مقدم برعلوم دیگر میدانست که شامل اصولی بود که بنای علوم دیگر بر آن استوار بود. |
||
<br /> |
|||
حضور گودل در سخنرانی هیلبرت درباره تمامیت و سازگاری نظامهای ریاضی زندگی او را تفییر داد. در سال ۱۹۲۸، هیلبرت و آکرمن اصول منطق ریاضی را منتشر کردند که مقدمهای بر منطق مرتبه اول بود و مسئله تمامیت به عنوان پرسشی در آن مطرح شده بود: آیا اصول موضوعه یک نظام برای استنتاج همه جملات درست در هر مدل از آن نظام کافی هستند؟ |
حضور گودل در سخنرانی هیلبرت درباره تمامیت و سازگاری نظامهای ریاضی زندگی او را تفییر داد. در سال ۱۹۲۸، هیلبرت و آکرمن اصول منطق ریاضی را منتشر کردند که مقدمهای بر منطق مرتبه اول بود و مسئله تمامیت به عنوان پرسشی در آن مطرح شده بود: آیا اصول موضوعه یک نظام برای استنتاج همه جملات درست در هر مدل از آن نظام کافی هستند؟ |
||
این موضوعی بود که گودل برای تحقیقات دکتریاش انتخاب کرد. در ۱۹۲۹، در سن ۲۳ سالگی، تز دکتریاش را با راهنمای هانس هان تمام کرد. در تز دکتریاش، گودل تمامیت حساب محمولات مرتبه اول را اثبات کرده بود. |
این موضوعی بود که گودل برای تحقیقات دکتریاش انتخاب کرد. در ۱۹۲۹، در سن ۲۳ سالگی، تز دکتریاش را با راهنمای هانس هان تمام کرد. در تز دکتریاش، گودل تمامیت حساب محمولات مرتبه اول را اثبات کرده بود. |
||
در سال ۱۹۳۱ و زمانی که هنوز در وین بود قضایای ناتمامیت را منتشر کرد. او اثبات کرده بود که برای هر نظام اصل موضوعی محابه پذیر، چنانکه بتوان اصول موصوعه پئانو را در آن بیان |
در سال ۱۹۳۱ و زمانی که هنوز در وین بود قضایای ناتمامیت را منتشر کرد. او اثبات کرده بود که برای هر نظام اصل موضوعی محابه پذیر، چنانکه بتوان اصول موصوعه پئانو را در آن بیان کرد: |
||
<br /> |
|||
۱) اگر این نظام سازگار باشد، نمیتواند تمام باشد |
۱) اگر این نظام سازگار باشد، نمیتواند تمام باشد |
||
۲) سازگاری این نظام را نمیتوان در خود آن اثبات کرد. |
۲) سازگاری این نظام را نمیتوان در خود آن اثبات کرد. |
||
<br /> |
|||
این قضیای به نیم قرن تلاش برای بنای تمام ریاضیات بر مجموعهای از اصول موضوعه که با فرگه آغاز شده بود و با اصول ریاضی راسل و فرمالیسم هلیبرت به اوج خود رسیده بود پایان داد.<ref>{{یادکرد وب| نشانی = http://plato.stanford.edu/entries/principia-mathematica/| عنوان = Principia Mathematica (دانشنامه فلسفه استنفورد)| تاریخ بازدید =۲۰ ژوئن ۲۰۰۸| ناشر = [[دانشگاه استنفورد]]| زبان = انگلیسی}}</ref> |
این قضیای به نیم قرن تلاش برای بنای تمام ریاضیات بر مجموعهای از اصول موضوعه که با فرگه آغاز شده بود و با اصول ریاضی راسل و فرمالیسم هلیبرت به اوج خود رسیده بود پایان داد.<ref>{{یادکرد وب| نشانی = http://plato.stanford.edu/entries/principia-mathematica/| عنوان = Principia Mathematica (دانشنامه فلسفه استنفورد)| تاریخ بازدید =۲۰ ژوئن ۲۰۰۸| ناشر = [[دانشگاه استنفورد]]| زبان = انگلیسی}}</ref> |
||
[[پرونده:Kurt godel tomb 2004.jpg|بندانگشتی|200px|آرامگاه گودل در نیوجرسی آمریکا]] |
[[پرونده:Kurt godel tomb 2004.jpg|بندانگشتی|200px|آرامگاه گودل در نیوجرسی آمریکا]] |
نسخهٔ ۲ آوریل ۲۰۱۴، ساعت ۱۵:۴۶
کورت گودل | |
---|---|
زادهٔ | ۲۸ آوریل ۱۹۰۶ برنو، موراویا، اتریش-مجارستان |
درگذشت | ۱۴ ژانویه ۱۹۷۸ پرینستون، نیوجرسی، آمریکا |
جایزه(ها) | جایزهٔ آلبرت انیشتین ۱۹۵۱ مدال ملی علوم امریکا در ریاضی آمار و علوم محاسباتی ۱۹۷۴ |
پیشینه علمی | |
شاخه(ها) | ریاضیات، منطق، فلسفه |
محل کار | موسسه مطالعات پیشرفته دانشگاه وین |
استاد راهنما | هانس هان |
امضاء | |
کورت گودل (به آلمانی: Kurt Gödel) (زادهٔ ۲۸ آوریل ۱۹۰۶ در شهر برنو در پادشاهی اتریش-مجارستان[۱]، درگذشتهٔ ۱۴ ژانویه ۱۹۷۸ در شهر پرینستون، ایالت نیوجرسی آمریکا) ریاضیدان، منطقدان و فیلسوف اتریشی بود.
گودل در سن دوازده سالگی و زمانی که امپراتوری اتریش-مجارستان از هم پاشید، خودبخود تابعیت چک اسلواکی یافتام در ۲۳ سالگی خود تابعیت اتریش را پذیرفت. او را در خانه به خاطر کنجکاوی سیری ناپیرش به نام «آقای چرا» میشناختند. گودل در ۱۸ سالگی وارد دانشگاه وین شد. تا آن زمان او بر ریاضیات دانشگاهی مسلط شده بود. گرچه در ابتدا قصد داشت فیزیک نظری بخواند، در کلاسهای ریاضی و فلسفه هم حاضر میشد. او که در این زمان به واقعیت گرایی در ریاضیات تمایل داشت، «اصول مابعدالطیعی علوم طبیعی» کانت را خوانده بود و در جلست حلق وین با حضور شلیک، کارنپ و هانس هان شرکت میکرد. او در جلساتی که در حضور شلیک کتاب «مقدمهای بر فلسفه ریاضی» راسل را میخواندند به منطق ریاضی علاقهمند شد. او منطق ریاضی را علمی مقدم برعلوم دیگر میدانست که شامل اصولی بود که بنای علوم دیگر بر آن استوار بود.
حضور گودل در سخنرانی هیلبرت درباره تمامیت و سازگاری نظامهای ریاضی زندگی او را تفییر داد. در سال ۱۹۲۸، هیلبرت و آکرمن اصول منطق ریاضی را منتشر کردند که مقدمهای بر منطق مرتبه اول بود و مسئله تمامیت به عنوان پرسشی در آن مطرح شده بود: آیا اصول موضوعه یک نظام برای استنتاج همه جملات درست در هر مدل از آن نظام کافی هستند؟
این موضوعی بود که گودل برای تحقیقات دکتریاش انتخاب کرد. در ۱۹۲۹، در سن ۲۳ سالگی، تز دکتریاش را با راهنمای هانس هان تمام کرد. در تز دکتریاش، گودل تمامیت حساب محمولات مرتبه اول را اثبات کرده بود.
در سال ۱۹۳۱ و زمانی که هنوز در وین بود قضایای ناتمامیت را منتشر کرد. او اثبات کرده بود که برای هر نظام اصل موضوعی محابه پذیر، چنانکه بتوان اصول موصوعه پئانو را در آن بیان کرد:
۱) اگر این نظام سازگار باشد، نمیتواند تمام باشد
۲) سازگاری این نظام را نمیتوان در خود آن اثبات کرد.
این قضیای به نیم قرن تلاش برای بنای تمام ریاضیات بر مجموعهای از اصول موضوعه که با فرگه آغاز شده بود و با اصول ریاضی راسل و فرمالیسم هلیبرت به اوج خود رسیده بود پایان داد.[۲]
گودل با دو قضایای ناتمامیت شهرت دارد که درست یک سال بعد از اخذ مدرک دکترا از دانشگاه وین در سال ۱۹۳۱ (یعنی در سن ۲۵ سالگی وی) به چاپ رسید.
او همینطور نشان داد که فرضیه پیوستار را نمیتوان به وسیلهٔ اصول پذیرفته شده در تئوری مجموعهها، به فرض پایداری آن اصول، باطل کرد. او سهم عمدهای برای اثبات تئوری به وسیلهٔ تبیین ارتباط بین منطق کلاسیک، منطق شهودگرا و منطق وجهی داشت.
گودل در ۳۳ سالگی برای گریز از مشکلات جنگ جهانی دوم به کشور آمریکا مهاجرت کرد و تا پایان عمر در آن کشور باقیماند. او در سال 1946 به عضویت دائم مرکز تحقیقات پیشرفته پرینستون درآمد. در این زمان از انتشار مقاله دست کشید ولی به تحقیقاتش ادامه داد تا اینکه در سال1976 بازنشسته شد. او رفته رفته به فیزیک و فلسفه علاقهمند شد و به مطالعه لایب نیتز روی آورد و بر این عقیده بود که توطئه ای باعث شده است که برخی کارهای لایب نیتز ناشناخته بماند. او همچنین به میزان کمتری آثار کانت و هوسرل را به مطالعه گرفت. در اوایل دهد 1970 نسخه ای از برهان وجودی آنسلم را میان دوستانش توزیع کرد که به برهان وجودی گودل معروف است. در اواخر زندگیش، گودل دچار بی ثباتی روانی شد و بخصوص ترس شدید و بیمارگونه ای شد از اینکه به او سم خورانده شود. به همین دلیل تنها از غذاهایی که همسرش، آدله، برایش تهیه می کرد می خورد، آنهم به این شرط که خود او اول غذا را امتحان می کرد. در سال 1977 آدله بیمار و شش ماه در بیمارستان بستری شد و بنابراین دیگر قادر نبود غذایش را تهیه کند. در این مدت گودل از خوردن دست کشید تا آنکه از گرسنگی تلف شددر حالی که وزنش به 30 کیلوگرم رسیده بود. گواهی فوت او در بیمارستان پرینستون علت مرگش را سوء تغذیه ناشی از اختلال شخصیت ذکر می کند.
دیدگاه های مذهبی
کورت گودل موحد بود. دیدگاه های مذهبی او با نظرات دوستش آلبرت اینیشتین تفاوت داشت. او به طور جد به زندگی پس از مرگ اعتقاد داشت و بیان کرده بود : من به این که زندگی پس از مرگ وجود دارد، مستقل از هر الهیاتی، اعتقاد دارم. اگر که دنیا بر پایه عقلانیت ساخته شده و معنادار است پس حتماً باید یک چنین چیزی [زندگی پس از مرگ] وجود داشته باشد. او درباره اسلام گفته بود : من اسلام را دوست دارم، چراکه تفکر سازگار و همچنین روشن فکرانه است.
پانویس
- ↑ جمهوری چک امروزی
- ↑ "Principia Mathematica (دانشنامه فلسفه استنفورد)" (به انگلیسی). دانشگاه استنفورد. Retrieved 20 June 2008.
منابع
- مشارکتکنندگان ویکیپدیا. «Kurt Gödel». در دانشنامهٔ ویکیپدیای انگلیسی، بازبینیشده در ۲۰ ژوئن ۲۰۰۸.
پیوند به بیرون
در ویکیانبار پروندههایی دربارهٔ کورت گودل موجود است. |
- Kennedy, Juliette. "Kurt Gödel." In Stanford Encyclopedia of Philosophy.
- استادان دانشگاه پرینستون
- اعضای خارجی انجمن سلطنتی
- افراد آمریکایی اتریشتبار
- افراد با تابعیت آمریکایی
- اهالی برنو، جمهوری چک
- برندگان نشان ملی دانش
- حلقه وین
- دادارباوران
- دانشآموختگان دانشگاه وین
- درگذشتگان ۱۹۷۸ (میلادی)
- ریاضیدانان اهل آمریکا
- ریاضیدانان اهل اتریش
- ریاضیدانان سده ۲۰ (میلادی)
- زادگان ۱۹۰۶ (میلادی)
- فیلسوفان آلمانیزبان
- فیلسوفان اهل اتریش
- فیلسوفان اهل ایالات متحده آمریکا
- فیلسوفان سده ۲۰ (میلادی)
- فیلسوفان سده ۲۰
- فیلسوفان مسیحی
- منطقدانان اهل اتریش