کورت گودل (Kurt Gödel) یکی از برجستهترین ریاضیدانان، منطقدانان و فیلسوفان قرن بیستم بود. او در سال ۱۹۰۶ در برنو، جمهوری چک، به دنیا آمد و به دلیل کنجکاوی بیپایانش به "آقای چرا" معروف بود. گودل در دانشگاه وین تحصیل کرد و ابتدا به فیزیک نظری علاقه داشت، اما به سرعت به منطق و ریاضیات روی آورد.
یکی از مهمترین دستاوردهای او، قضایای ناتمامیت گودل است که نشان داد هر نظام اصل موضوعی محاسبهپذیر اگر سازگار باشد، نمیتواند تمام باشد. این قضایا تأثیر عمیقی بر فلسفه ریاضیات گذاشت و تلاشهای نیمقرن برای بنای تمام ریاضیات بر مجموعهای از اصول موضوعه را پایان داد.
او همچنین با آلبرت انیشتین دوستی نزدیکی داشت و در مؤسسه مطالعات پیشرفته پرینستون فعالیت میکرد. گودل در اواخر عمرش دچار وسواس شد و به دلیل گرسنگی شدید جان خود را از دست داد.
آیا به جنبه خاصی از زندگی یا کارهای او علاقه دارید؟ شاید بخواهید بیشتر درباره قضایای ناتمامیت بدانید؟
