دانلود کتاب Godel’s Proof, Revised Edition (به فارسی: اثبات گودل، نسخه اصلاح شده) نوشته شده توسط «Ernest Nagel – James R. Newman – Douglas R. Hofstadter»
اطلاعات کتاب اثبات گودل، نسخه اصلاح شده
موضوع اصلی: ریاضیات
نوع: کتاب الکترونیکی
ناشر: NYU Press
نویسنده: Ernest Nagel – James R. Newman – Douglas R. Hofstadter
زبان: english
فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2001
تعداد صفحه: 153
حجم فایل: 408 کیلوبایت
کد کتاب: 0814758169 , 9780814758168
نوبت چاپ: Revised
توضیحات کتاب اثبات گودل، نسخه اصلاح شده
“در سال 1931 کورت گودل با انتشار مقاله انقلابی خود، “درباره گزاره های رسمی غیرقابل تصمیم گیری از اصول ریاضیات و سیستم های مرتبط”، برخی از مفروضات اساسی زیربنای ریاضیات و منطق را به هم زد. گودل در نهایت توسط همتایان خود شناخته شد و اولین جایزه آلبرت انیشتین را در سال 1951 برای موفقیت در علوم طبیعی – بالاترین افتخار در نوع خود در سال 1951 دریافت کرد. ایالات متحده کمیته جایزه، که شامل آلبرت انیشتین و جی. رابرت اوپنهایمر بود، کار او را به عنوان «یکی از بزرگترین کمکها به علوم در دوران اخیر» توصیف کرد. توضیحی غیر فنی برای دانشمندان و غیرمتخصصان ایده های اصلی و مفاهیم گسترده کشف گودل. اولین بار در سال 1958 منتشر شد. و به طور مداوم به ده زبان چاپ می شود، این اثر بسیار محبوب و مهم به هر فرد تحصیل کرده ای که علاقه مند به ریاضیات، منطق و فلسفه است، فرصتی برای درک موضوعی که قبلاً دشوار و غیرقابل دسترس است، ارائه می دهد.”–BOOK JACKET. ادامه مطلب… مسئله سازگاری — اثبات مطلق سازگاری — کدگذاری سیستماتیک منطق صوری — نمونه ای از یک اثبات مطلق موفق سازگاری — ایده نقشه برداری و استفاده از آن در ریاضیات — برهان های گودل – – شماره گذاری گودل – حساب کردن فرا ریاضیات – قلب استدلال گودل – تأملات پایانی – پیوست: یادداشت ها – کتابشناسی مختصر – فهرست
دانلود کتاب «اثبات گودل، نسخه اصلاح شده»
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.