دانلود کتاب On Formally Undecidable Propositions of Principia Mathematica and Related Systems (به فارسی: در مورد گزاره های رسمی غیرقابل تصمیم گیری از Principia Mathematica و سیستم های مرتبط) نوشته شده توسط «Kurt Gödel»
اطلاعات کتاب در مورد گزاره های رسمی غیرقابل تصمیم گیری از Principia Mathematica و سیستم های مرتبط
موضوع اصلی: منطق
نوع: کتاب الکترونیکی
ناشر: Dover Publications
نویسنده: Kurt Gödel
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1992
تعداد صفحه: 79
حجم کتاب: 4 مگابایت
کد کتاب: 0486669807 , 9780486669809
توضیحات کتاب در مورد گزاره های رسمی غیرقابل تصمیم گیری از Principia Mathematica و سیستم های مرتبط
اولین ترجمه انگلیسی مقاله انقلابی (1931) که ثابت کرد حتی در بخش های ابتدایی حساب، گزاره هایی وجود دارد که نمی توان آنها را در سیستم اثبات یا رد کرد. بنابراین مشخص نیست که بدیهیات اساسی حساب منجر به تناقض نشوند. مقدمه R. B. Braithwaite.
دانلود کتاب «در مورد گزاره های رسمی غیرقابل تصمیم گیری از Principia Mathematica و سیستم های مرتبط»
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.