کتاب قضیه گودل Godel's Proof

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