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

در مورد گزاره های رسمی غیرقابل تصمیم گیری از Principia Mathematica و سیستم های مرتبط

On Formally Undecidable Propositions of Principia Mathematica and Related Systems

دانلود کتاب On Formally Undecidable Propositions of Principia Mathematica and Related Systems (به فارسی: در مورد گزاره های رسمی غیرقابل تصمیم گیری از Principia Mathematica و سیستم های مرتبط) نوشته شده توسط «Kurt Gödel»

اطلاعات کتاب در مورد گزاره های رسمی غیرقابل تصمیم گیری از Principia Mathematica و سیستم های مرتبط

موضوع اصلی: فلسفه

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

ناشر: Dover Publications

نویسنده: Kurt Gödel

زبان: English

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

سال انتشار: 1992

تعداد صفحه: 79

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

کد کتاب: 0486669807 , 9780486669809

توضیحات کتاب در مورد گزاره های رسمی غیرقابل تصمیم گیری از Principia Mathematica و سیستم های مرتبط

اولین ترجمه انگلیسی مقاله انقلابی (1931) که ثابت کرد حتی در بخش های ابتدایی حساب، گزاره هایی وجود دارد که نمی توان آنها را در سیستم اثبات یا رد کرد. بنابراین مشخص نیست که بدیهیات اساسی حساب منجر به تناقض نشوند. مقدمه R. B. Braithwaite.<br

First English translation of revolutionary paper (1931) that established that even in elementary parts of arithmetic, there are propositions which cannot be proved or disproved within the system. It is thus uncertain that the basic axioms of arithmetic will not give rise to contradictions. Introduction by R. B. Braithwaite.<br

دانلود کتاب «در مورد گزاره های رسمی غیرقابل تصمیم گیری از Principia Mathematica و سیستم های مرتبط»

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