کتاب قضیه گودل

در سال 1931 کورت گودل مقاله اساسی خود را منتشر کرد ، "در مورد گزاره های غیرقابل تصمیم گیری و سیستم های مرتبط" این مقاله انقلابی فرضیه های اساسی خاصی را که اساس تحقیقات زیادی در ریاضیات و منطق است ، به چالش کشید. گودل در سال 1951 هنگامی که اولین جایزه آلبرت انیشتین را برای موفقیت در علوم طبیعی دریافت کرد - شاید بالاترین جایزه در نوع خود در ایالات متحده ، به رسمیت شناخته شد. کمیته جایزه کار وی را در منطق ریاضی به عنوان "یکی از بزرگترین کمک ها به علوم در چند وقت اخیر" توصیف کرد. با این حال ، تعداد کمی از ریاضیدانان آن زمان کار او را درک کردند. ارنست ناگل و جیمز نیومن در مورد ایده های اصلی و مفاهیم گسترده کشف گودل توضیحی قابل خواندن و در دسترس برای دانشمندان و غیر متخصصان ارائه می دهند. این فرصت را به هر فرد تحصیل کرده و دارای ذوق منطق و فلسفه برای درک موضوعی که قبلا دشوار و غیرقابل دسترسی بود ارائه می دهد.