ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب An Introduction to Gödel's Theorems

دانلود کتاب مقدمه ای بر قضایای گودل

An Introduction to Gödel's Theorems

مشخصات کتاب

An Introduction to Gödel's Theorems

دسته بندی: منطق
ویرایش: 1st 
نویسندگان:   
سری: Cambridge Introductions to Philosophy 
ISBN (شابک) : 0521857848, 0521674530 
ناشر: Cambridge University Press 
سال نشر: 2007 
تعداد صفحات: 375 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 1 مگابایت

قیمت کتاب (تومان) : 59,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 12


در صورت تبدیل فایل کتاب An Introduction to Gödel's Theorems به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب مقدمه ای بر قضایای گودل نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب مقدمه ای بر قضایای گودل

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


توضیحاتی درمورد کتاب به خارجی

In 1931, the young Kurt Gödel published his First Incompleteness Theorem, which tells us that, for any sufficiently rich theory of arithmetic, there are some arithmetical truths the theory cannot prove. This remarkable result is among the most intriguing (and most misunderstood) in logic. Gödel also outlined an equally significant Second Incompleteness Theorem. How are these Theorems established, and why do they matter?  Peter Smith answers these questions by presenting an unusual variety of proofs for the First Theorem, showing how to prove the Second Theorem, and exploring a family of related results (including some not easily available elsewhere). The formal explanations are interwoven with discussions of the wider significance of the two Theorems. This book will be accessible to philosophy students with a limited formal background. It is equally suitable for mathematics students taking a first course in mathematical logic.





نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی