دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Diagonalization in Formal Mathematics (BestMasters)
دانلود کتاب مورب سازی در ریاضیات رسمی (بهترین استادان)
مشخصات کتاب
Diagonalization in Formal Mathematics (BestMasters)
ویرایش: 1st ed. 2020
نویسندگان: Paulo Guilherme Santos
سری: BestMasters
ISBN (شابک) : 3658291109, 9783658291105
ناشر: Springer Spektrum
سال نشر: 2020
تعداد صفحات: 94
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 529 کیلوبایت
قیمت کتاب (تومان) : 44,000
در صورت تبدیل فایل کتاب Diagonalization in Formal Mathematics (BestMasters) به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مورب سازی در ریاضیات رسمی (بهترین استادان) نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مورب سازی در ریاضیات رسمی (بهترین استادان)
پائولو گیلرمه سانتوس در این کتاب به بررسی مورب سازی در ریاضیات رسمی از جنبه های منطقی تا ریاضیات روزمره می پردازد. او با مطالعه لم قطری و ارتباط آن با لم قطری قوی شروع می کند. پس از آن، پارادوکس یابلو مورد بررسی قرار می گیرد و یک تفسیر خودارجاعی ارائه می شود. از آن، یک ساختار کلی از قطری با پارادوکس ارائه شده است. در نهایت، نویسنده با کمک مثال هایی از ریاضیات، یک نظریه کلی از قطر را مطالعه می کند.
توضیحاتی درمورد کتاب به خارجی
In this book, Paulo Guilherme Santos studies diagonalization in formal mathematics from logical aspects to everyday mathematics. He starts with a study of the diagonalization lemma and its relation to the strong diagonalization lemma. After that, Yablo’s paradox is examined, and a self-referential interpretation is given. From that, a general structure of diagonalization with paradoxes is presented. Finally, the author studies a general theory of diagonalization with the help of examples from mathematics.
فهرست مطالب
Acknowledgment Contents 1 Preliminaries 2 Introduction 3 Two uses of the Diagonalization Lemma 3.1 Formal Limitations of Predicates Related to Self-Reference 3.2 The Diagonalization Lemma and the Strong Diagonalization Lemma: A Separation Result 4 Yablo’s Paradox and Self-Reference 4.1 A Minimal Theory to Express Yablo’s Paradox 4.2 Linear Time Temporal Logic and Yablo’s Paradox 5 Smullyan’s Theorem, Lӧb’s Theorem, and a General Approach to Paradoxes 5.1 Smullyan’s Theorem 5.2 The Paradoxes and Lӧb’s Theorem 5.3 The Considered Languages and Diagonalization 5.4 Curry Systems and Lӧb Systems 5.5 General Systems for Paradoxes 5.6 Models of Curry Systems, and Consistency 6 General Theory of Diagonalization 6.1 Towards the Study of Diagonalization in Mathematics 7 Mathematical Examples 7.1 Lawvere’s Diagonal Argument 7.2 Knaster-Tarski Theorem 7.3 General Fixed Point Theorem 7.3.1 Fixed point Lemma for Normal Functions 7.3.2 Banach Fixed Point Theorem 8 Conclusions and Future Work 8.1 Conclusions 8.2 Future Work Bibliography
