نرم افزار: سیستم ها: محاسبات علمی

اثبات گودل

Godel's Proof

دانلود کتاب Godel’s Proof (به فارسی: اثبات گودل) نوشته شده توسط «Ernest Nagel – James R. Newman – Douglas R. Hofstadter»


اطلاعات کتاب اثبات گودل

موضوع اصلی: ریاضیات

نوع: کتاب الکترونیکی

ناشر: NYU Press

نویسنده: Ernest Nagel – James R. Newman – Douglas R. Hofstadter

زبان: English

فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)

سال انتشار: 2001

تعداد صفحه: 82

حجم کتاب: 3 مگابایت

کد کتاب: 9780585480329 , 9780814758168 , 0814758169

نوبت چاپ: Revised

توضیحات کتاب اثبات گودل

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

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

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


In 1931 Kurt Gödel published his fundamental paper, “On Formally Undecidable Propositions of Principia Mathematica and Related Systems.” This revolutionary paper challenged certain basic assumptions underlying much research in mathematics and logic. Gödel received public recognition of his work in 1951 when he was awarded the first Albert Einstein Award for achievement in the natural sciences—perhaps the highest award of its kind in the United States. The award committee described his work in mathematical logic as “one of the greatest contributions to the sciences in recent times.”

However, few mathematicians of the time were equipped to understand the young scholar’s complex proof. Ernest Nagel and James Newman provide a readable and accessible explanation to both scholars and non-specialists of the main ideas and broad implications of Gödel’s discovery. It offers every educated person with a taste for logic and philosophy the chance to understand a previously difficult and inaccessible subject.

New York University Press is proud to publish this special edition of one of its bestselling books. With a new introduction by Douglas R. Hofstadter, this book will appeal students, scholars, and professionals in the fields of mathematics, computer science, logic and philosophy, and science.

دانلود کتاب «اثبات گودل»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.