دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Incompleteness in the Land of Sets
دانلود کتاب ناتمام بودن در سرزمین مجموعه ها
مشخصات کتاب
Incompleteness in the Land of Sets
ویرایش:
نویسندگان: Melvin Fitting
سری: Studies in Logic
ISBN (شابک) : 9781904987345
ناشر: College Publications
سال نشر: 2007
تعداد صفحات: 145
زبان: English
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 41,000
در صورت تبدیل فایل کتاب Incompleteness in the Land of Sets به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ناتمام بودن در سرزمین مجموعه ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب ناتمام بودن در سرزمین مجموعه ها
پارادوکس راسل زمانی به وجود می آید که مجموعه هایی را در نظر بگیریم که به خودشان تعلق ندارند. مجموعه چنین مجموعه هایی نمی تواند یک مجموعه را تشکیل دهد. کمی به عقب برگرد فرمول های منطقی مجموعه ها را (در یک مدل استاندارد) تعریف می کنند. فرمول‌ها را که اشیای ریاضی هستند، می‌توان به عنوان خود مجموعه‌ها در نظر گرفت - ریاضیات به نظریه مجموعه‌ها تقلیل می‌یابند. فرمول هایی را در نظر بگیرید که به مجموعه ای که تعریف می کنند تعلق ندارند. مجموعه چنین فرمول هایی با یک فرمول، با همان استدلالی که راسل استفاده کرد، قابل تعریف نیست. این به سرعت نتیجه تارسکی را در مورد غیرقابل تعریف بودن حقیقت می دهد. تغییرات روی همین ایده نتایج معروف گودل، چرچ، روسر و پست را به همراه دارد. این کتاب ارائه کاملی از قضایای اساسی ناقص بودن و غیرقابل تصمیم گیری منطق ریاضی در چارچوب نظریه مجموعه ها است. نتایج مربوط به محاسبات به راحتی دنبال می شود و همچنین داده می شود. به طور کلی از شماره گذاری گودل اجتناب می شود، مگر زمانی که ارتباط صریحی بین نظریه مجموعه ها و حساب برقرار شود. کتاب پیشینه فنی کمی از خواننده دریافت می کند. شخص به توانایی ریاضی، آشنایی کلی با منطق صوری و درک قضیه کامل نیاز دارد، البته نه اثبات آن. همه چیزهای دیگر توسعه یافته و به طور رسمی اثبات شده اند، از قضیه تارسکی تا قضیه دوم ناتمامی گودل. تمرین ها در سراسر پراکنده هستند.
توضیحاتی درمورد کتاب به خارجی
Russell's paradox arises when we consider those sets that do not belong to themselves. The collection of such sets cannot constitute a set. Step back a bit. Logical formulas define sets (in a standard model). Formulas, being mathematical objects, can be thought of as sets themselves-mathematics reduces to set theory. Consider those formulas that do not belong to the set they define. The collection of such formulas is not definable by a formula, by the same argument that Russell used. This quickly gives Tarski's result on the undefinability of truth. Variations on the same idea yield the famous results of Gödel, Church, Rosser, and Post. This book gives a full presentation of the basic incompleteness and undecidability theorems of mathematical logic in the framework of set theory. Corresponding results for arithmetic follow easily, and are also given. Gödel numbering is generally avoided, except when an explicit connection is made between set theory and arithmetic. The book assumes little technical background from the reader. One needs mathematical ability, a general familiarity with formal logic, and an understanding of the completeness theorem, though not its proof. All else is developed and formally proved, from Tarski's Theorem to Gödel's Second Incompleteness Theorem. Exercises are scattered throughout.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Jesus Calling Devotional Bible, NKJV
دانلود کتاب New and Future Developments in Catalysis. Activation of Carbon Dioxide
