دانلود کتاب Recursion Theory for Metamathematics
49,000 تومان
تئوری بازگشتی برای فرا ریاضیات
| موضوع اصلی | منطق |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Oxford University Press |
| تعداد صفحه | 175 |
| حجم فایل | 5 مگابایت |
| کد کتاب | 019508232X,9781423734543,9780195082326 |
| نویسنده | Raymond M. Smullyan |
|---|---|
| زبان | انگلیسی |
| فرمت | DJVU |
| سال انتشار | 1993 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
تئوری بازگشتی برای فرا ریاضیات
این اثر دنبالهای بر قضایای ناقص بودن گودل نویسنده است، اگرچه هر کسی که با قضیه ناتمامیت گودل برای محاسبات پیانو آشنا باشد میتواند بهطور مستقل آن را بخواند. این کتاب عمدتاً به جنبههایی از نظریه بازگشت میپردازد که در فراریاضیات ناقص بودن، تصمیمناپذیری و موضوعات مرتبط کاربرد دارد. این هم مقدمه ای برای تئوری و هم ارائه نتایج جدید در این زمینه است.
Recursion Theory for Metamathematics
This work is a sequel to the author’s Godel’s Incompleteness Theorems, though it can be read independently by anyone familiar with Godel’s incompleteness theorem for Peano arithmetic. The book deals mainly with those aspects of recursion theory that have applications to the metamathematics of incompleteness, undecidability, and related topics. It is both an introduction to the theory and a presentation of new results in the field.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.