کورت گودل: تفاوت میان نسخه‌ها
محتوای حذف‌شده محتوای افزوده‌شده
جز ربات ردهٔ همسنگ (۳۰) +نشانی+املا+مرتب+تمیز (۱۴.۹ core): + رده:فیلسوفان سده ۲۰ (میلادی) اهل ایالات متحده آمریکا |
جز ایجاد پیوند به صفحه‌ی رودلف کارناپ (با حفظِ املای «کارنپ» که نویسنده‌ی مقاله به‌کار برده است). |
||
خط ۳۰:
== زندگی‌نامه ==
گودل در سن دوازده سالگی و زمانی که امپراتوری اتریش-مجارستان از هم پاشید، خودبخود تابعیت چک اسلواکی یافت اما در ۲۳ سالگی خود تابعیت اتریش را پذیرفت. او را در خانه به خاطر کنجکاوی سیری ناپذیرش به نام «آقای چرا» می‌شناختند.
گودل در ۱۸ سالگی وارد دانشگاه وین شد. تا آن زمان او بر ریاضیات دانشگاهی مسلط شده بود. گرچه در ابتدا قصد داشت فیزیک نظری بخواند، در کلاس‌های ریاضی و فلسفه هم حاضر می‌شد. او که در این زمان به واقعیت‌گرایی در ریاضیات تمایل داشت، «اصول مابعدالطبیعی علوم طبیعی» کانت را خوانده بود و در جلسات حلقهٔ وین با حضور شلیک، [[رودلف کارناپ|کارنپ]] و [[هانس هان]] شرکت می‌کرد. او در جلساتی که در حضور شلیک کتاب «مقدمه‌ای بر فلسفه ریاضی» راسل را می‌خواندند به منطق ریاضی علاقه‌مند شد. او منطق ریاضی را علمی مقدم بر علوم دیگر می‌دانست که شامل اصولی بود که بنای علوم دیگر بر آن استوار بود.
حضور گودل در سخنرانی [[هیلبرت]] دربارهٔ تمامیت و سازگاری نظام‌های ریاضی زندگی او را تغییر داد. در سال ۱۹۲۸، هیلبرت و [[آکرمن]] اصول منطق ریاضی را منتشر کردند که مقدمه‌ای بر منطق مرتبه اول بود و مسئله تمامیت به عنوان پرسشی در آن مطرح شده بود: آیا اصول موضوعه یک نظام برای استنتاج همه جملات درست در هر مدل از آن نظام کافی هستند؟
| |||