قضیه گودل

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

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

انتشارات دانشگاه نیویورک مفتخر است که این نسخه ویژه یکی از کتابهای پرفروش خود را منتشر کند. این کتاب با مقدمه جدید داگلاس آر. هافستادتر ، دانشجویان ، دانشمندان و متخصصان رشته های ریاضیات ، علوم کامپیوتر ، منطق و فلسفه و علوم را به خود جلب خواهد کرد.

پشت جلد کتاب آمده است:

 گرت گودل بی تردید بزرگ ترین منطق دان قرن بیستم، و در کنار ارسطو و فرگه، یکی از سه منطق دان بزرگ تاریخ است. نبوغ و شخصیت کافکایی بی نظیر او بیش از هر چیز در دو قضیه ای بازتاب یافته، که به عنوان قضيه ناتمامیت معروف هستند، و گودل آنها را به شیوه ای بدیع در ۲۵ سالگی به اثبات رساند. انتشار مقاله دوران ساز او که حاوی اثبات این قضیه بود، نقطه عطفی در تاریخ اندیشه ریاضی و منطق، و به طور کلی، علم است. 

کتاب قضیه گو دل مجموعه ای است درباره گودل و اندیشه های او. بخش اول آن ترجمه کتاب کلاسیک اثبات گودل است که به زبانی آسان فهم قضيه ناتمامیت را توضیح می دهد. بخش دوم حاوی چهار نوشتار درباره شخصیت و زندگی گودل، دوستی نزدیک او با اینشتین، قضيه ناتمامیت و سایر خدمات علمی اوست، که در قرن جدید و برای مخاطبانی عام نوشته شده اند.