دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Set Theory, Logic and their Limitations
دانلود کتاب نظریه ، منطق و محدودیت های آنها را تنظیم کنید
مشخصات کتاب
Set Theory, Logic and their Limitations
ویرایش:
نویسندگان: Moshe Machover
سری:
ISBN (شابک) : 0521479983, 9780521479981
ناشر: CUP
سال نشر: 1996
تعداد صفحات: 300
زبان: English
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 29,000
در صورت تبدیل فایل کتاب Set Theory, Logic and their Limitations به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نظریه ، منطق و محدودیت های آنها را تنظیم کنید نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب نظریه ، منطق و محدودیت های آنها را تنظیم کنید
این مقدمه ای است برای تئوری و منطق مجموعه ها که به طور کامل از صفر شروع می شود. متن با نکات و توضیحات روش شناختی فراوانی همراه است. یک ارائه بدیهی دقیق از نظریه مجموعه‌های زرملو-فرانکل ارائه شده است، که نشان می‌دهد چگونه مفاهیم اساسی ریاضیات ظاهراً به نظریه مجموعه‌ها تقلیل یافته‌اند. این با ارائه منطق گزاره ای و مرتبه اول دنبال می شود. مفاهیم و نتایج نظریه بازگشت با عبارات شهودی توضیح داده شده است، و نویسنده نتایج محدود Skolem، Tarski، Church و Godel (قضیه های مشهور ناتمامی) را اثبات و توضیح می دهد. برای دانشجویان ریاضیات یا فلسفه، این کتاب مقدمه ای عالی برای منطق و نظریه مجموعه ها فراهم می کند.
توضیحاتی درمورد کتاب به خارجی
This is an introduction to set theory and logic that starts completely from scratch. The text is accompanied by many methodological remarks and explanations. A rigorous axiomatic presentation of Zermelo-Fraenkel set theory is given, demonstrating how the basic concepts of mathematics have apparently been reduced to set theory. This is followed by a presentation of propositional and first-order logic. Concepts and results of recursion theory are explained in intuitive terms, and the author proves and explains the limitative results of Skolem, Tarski, Church and Gödel (the celebrated incompleteness theorems). For students of mathematics or philosophy this book provides an excellent introduction to logic and set theory.
فهرست مطالب
Cover......Page 1
Backcover......Page 2
Title......Page 7
Copyright......Page 8
Contents......Page 9
Preface......Page 11
Warning......Page 13
§ 1. Intuitive illustration; preliminaries......Page 15
§ 2. Weak induction......Page 17
§ 3. Strong induction......Page 19
§ 4. The Least Number Principle......Page 20
§ 1. Introduction......Page 23
§ 2. The antinomies; limitation of size......Page 26
§ 3. Zermelo\'s axioms......Page 29
§ 4. Intersections and differences......Page 35
§ 1. Ordered n-tuples, cartesian products and relations......Page 37
§ 2. Functions; the axiom of replacement......Page 41
§ 3. Equivalence and order relations......Page 44
§ 4. Operations on functions......Page 47
§ 1. Equipollence and cardinality......Page 50
§ 2. Ordering the cardinals; the Schröder-Bernstein Theorem......Page 52
§ 3. Cardinals for natural numbers......Page 55
§4. Addition......Page 57
§ 5. Multiplication......Page 60
§ 6. Exponentiation; Cantor\'s Theorem......Page 64
§ 1. Intuitive discussion and preview......Page 67
§ 2. Definition and basic properties......Page 68
§ 3. The finite ordinals......Page 76
§ 4. Transfinite induction......Page 82
§ 5. The Representation Theorem......Page 83
§ 6. Transfinite recursion......Page 87
§ 1. From the axiom of choice to the well-ordering theorem......Page 91
§ 2. From the WOT via Zorn\'s Lemma back to AC......Page 95
§ 1. Finite cardinals......Page 102
§ 2. Cardinals in general......Page 106
§3. Arithmetic of the alephs......Page 111
§ 1. Basic syntax......Page 115
§ 2. Notational conventions......Page 118
§ 3. Propositional combinations......Page 121
§ 4. Basic semantics......Page 122
§ 5. Truth tables......Page 125
§ 6. The propositional calculus......Page 130
§ 7. The Deduction Theorem......Page 136
§ 8. Inconsistency and consistency......Page 138
§ 9. Weak completeness......Page 143
§ 10. Hintikka sets......Page 147
§ 11. The ambient metatheory......Page 148
§ 12. Maximal consistent sets......Page 150
§ 13. Strong completeness......Page 153
§ 1. Basic syntax......Page 156
§ 2. Adaptation of previous material......Page 159
§ 3. Mathematical structures......Page 162
§ 4. Basic semantics......Page 164
§ 5. Free and bound occurrences of variables......Page 171
§ 6. Substitution......Page 175
§ 7. Hintikka sets......Page 181
§ 8. Prenex formulas; parity......Page 189
§ 9. The first-order predicate calculus......Page 190
§ 10. Rules of instantiation and generalization......Page 194
§ 11. Consistency......Page 197
§ 12. Maximal consistency......Page 201
§ 13. Completeness......Page 202
§ 1. Preliminaries......Page 208
§ 2. Computers......Page 210
§ 3. Recursiveness......Page 212
§ 4. Closure results......Page 218
§ 5. The MRDP Theorem......Page 221
§ 1. Preliminaries......Page 224
§ 2. Theories......Page 229
§3. Skolem\'s Theorem......Page 232
§ 4. Representability......Page 235
§ 5. Arithmeticity......Page 238
§6. Coding......Page 245
§ 7. Tarski\'s Theorem......Page 249
§ 8. Axiomatizability......Page 252
§ 9. Baby arithmetic......Page 257
§ 10. Junior arithmetic......Page 263
§ 11. A finitely axiomatlzed theory......Page 270
§ 12. Undecidability......Page 273
§ 13. First-order Peano arithmetic......Page 277
§ 14. The First Incompleteness Theorem......Page 280
§ 15. The Second Incompleteness Theorem......Page 286
§ 1. Set-theoretic reductionism......Page 289
§2. Hugh\'s world......Page 290
§ 3. The paradox and its resolution......Page 293
Author index......Page 297
A-B-C......Page 298
D-E-F-G-H-I......Page 299
J-L-M-N-O-P......Page 300
R-S-T-U......Page 301
V-W-Z......Page 302
