دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب An introduction to Gödel's theorems
دانلود کتاب مقدمه ای بر قضایای گودل
مشخصات کتاب
An introduction to Gödel's theorems
ویرایش: 2nd ed نویسندگان: Gödel. Kurt, Gödel. Kurt Friedrich, Smith. Peter, Gödel. Kurt سری: Cambridge introductions to philosophy ISBN (شابک) : 9781107022843, 1107606756 ناشر: Cambridge University Press سال نشر: 2013 تعداد صفحات: 406 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 33,000
در صورت تبدیل فایل کتاب 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 - extensively rewritten for its second edition - 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
فهرست مطالب
Content: Machine generated contents note: 1. What Godel\'s Theorems say --
Basic arithmetic --
Incompleteness --
More incompleteness --
Some implications? --
The unprovability of consistency --
More implications? --
What\'s next? --
2. Functions and enumerations --
Kinds of function --
Characteristic functions --
Enumerable sets --
Enumerating pairs of numbers --
An indenumerable set: Cantor\'s theorem --
3. Effective computability --
Effectively computable functions --
Effectively decidable properties and sets --
Effective enumerability --
Another way of defining e.e. sets of numbers --
The Basic Theorem about e.e. sets --
4. Effectively axiomatized theories --
Formalization as an ideal --
Formalized languages --
Formalized theories --
More definitions --
The effective enumerability of theorems --
Negation-complete theories are decidable --
5. Capturing numerical properties --
Three remarks on notation --
The language LA --
A quick remark about truth --
Expressing numerical properties and functions --
Capturing numerical properties and functions --
Expressing vs. capturing: keeping the distinction clear. 45. Proving the Thesis? --
Vagueness and the idea of computability --
Formal proofs and informal demonstrations. Note continued: Squeezing arguments --
the very idea --
Kreisel\'s squeezing argument --
The first premiss for a squeezing argument --
The other premisses, thanks to Kolmogorov and Uspenskii --
The squeezing argument defended --
To summarize --
46. Looking back.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Internally Displaced People: A Global Survey
دانلود کتاب Gynaecology: Changing Services for Changing Needs (Wiley Series in Nursing)
دانلود کتاب Raw. Vegan. Not Gross.: All Vegan and Mostly Raw Recipes for People Who Love to Eat
