دانلود کتاب Inexhaustibility: A Non-Exhaustive Treatment
49,000 تومان
پایان ناپذیری: یک درمان غیر جامع
| موضوع اصلی | منطق |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Association for Symbolic Logic / A K Peters, Ltd. |
| تعداد صفحه | 265 |
| حجم فایل | 3 مگابایت |
| کد کتاب | 1568811748,9781568811741,1568811756,9781568811758 |
| نویسنده | Torkel Franzen |
|---|---|
| زبان | انگلیسی |
| فرمت | DJVU |
| سال انتشار | 2004 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
پایان ناپذیری: یک درمان غیر جامع
قضایای ناتمامی گودلز از مهمترین نتایج در پایه ریاضیات هستند. این نتایج یک نتیجه مثبت دارند: هر سیستمی از بدیهیات ریاضیات که ما آن را صحیح میدانیم، میتوان با افزودن یک گزاره رسمی که بیان میکند که سیستم اصلی سازگار است، بهعنوان بدیهیات جدید به درستی بسط داد. این نشان می دهد که دانش ریاضی ما پایان ناپذیر است، موضوعی اساساً فلسفی که این کتاب به آن اختصاص یافته است.
مواد اساسی در منطق محمول، نظریه مجموعه ها و نظریه بازگشت ارائه شده است که منجر به اثبات قضایای ناتمامی می شود. پایان ناپذیری دانش ریاضی بر اساس مفهوم پیشرفت های نامحدود نظریه ها که توسط تورینگ و ففرمن تصور می شود، بررسی می شود.
همه مفاهیم و نتایج لازم برای درک استدلالها در صورت لزوم معرفی میشوند و ارائه را مستقل و کامل میسازند.
Gödels Incompleteness Theorems are among the most significant results in the foundation of mathematics. These results have a positive consequence: any system of axioms for mathematics that we recognize as correct can be properly extended by adding as a new axiom a formal statement expressing that the original system is consistent. This suggests that our mathematical knowledge is inexhaustible, an essentially philosophical topic to which this book is devoted.
Basic material in predicate logic, set theory and recursion theory is presented, leading to a proof of incompleteness theorems. The inexhaustibility of mathematical knowledge is treated based on the concept of transfinite progressions of theories as conceived by Turing and Feferman.
All concepts and results necessary to understand the arguments are introduced as needed, making the presentation self-contained and thorough.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.