دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: منطق ویرایش: نویسندگان: Kurt Gödel سری: ISBN (شابک) : 0486669807, 9780486669809 ناشر: Dover Publications سال نشر: 1992 تعداد صفحات: 79 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 579 کیلوبایت
در صورت تبدیل فایل کتاب On formally undecidable propositions of Principia mathematica and related systems به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب در مورد گزاره های غیرقابل تصمیم گیری از Principia mathematica و سیستم های مرتبط نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
اولین ترجمه انگلیسی مقاله انقلابی (1931) که ثابت کرد حتی در
بخش های ابتدایی حساب، گزاره هایی وجود دارد که نمی توان آنها را
در سیستم اثبات یا رد کرد. بنابراین مشخص نیست که بدیهیات اساسی
حساب منجر به تناقض نشوند. مقدمه R. B. Braithwaite.
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.