دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Model Theory and the Philosophy of Mathematical Practice: Formalization without Foundationalism
دانلود کتاب نظریه مدل و فلسفه تمرین ریاضی: رسمی سازی بدون بنیادگرایی
مشخصات کتاب
Model Theory and the Philosophy of Mathematical Practice: Formalization without Foundationalism
ویرایش:
نویسندگان: John T. Baldwin
سری:
ISBN (شابک) : 1107189217, 9781107189218
ناشر: Cambridge University Press
سال نشر: 2018
تعداد صفحات: 365
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 40,000
کلمات کلیدی مربوط به کتاب نظریه مدل و فلسفه تمرین ریاضی: رسمی سازی بدون بنیادگرایی: تاریخ و فلسفه، علم و ریاضی، علوم و ریاضیات، کشاورزی، نجوم و اخترفیزیک، زیست شناسی و علوم زیستی، شیمی، علوم زمین، مطالعات محیطی، ریاضیات، مکانیک، فیزیک، کتاب های درسی جدید، مستعمل و اجاره ای،
در صورت تبدیل فایل کتاب Model Theory and the Philosophy of Mathematical Practice: Formalization without Foundationalism به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نظریه مدل و فلسفه تمرین ریاضی: رسمی سازی بدون بنیادگرایی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب نظریه مدل و فلسفه تمرین ریاضی: رسمی سازی بدون بنیادگرایی
تغییرات عمده در زمینه نظریه مدل در قرن بیستم شاهد توسعه ابزارها، روش ها و انگیزه های جدید برای ریاضیدانان و فیلسوفان بوده است. در این کتاب، جان تی. بالدوین انقلاب را در بافت تاریخی آن از یونان باستان تا قرن گذشته قرار می دهد، برای پایه های محلی به جای جهانی برای ریاضیات استدلال می کند، و دیدگاه های فلسفی در مورد اهمیت نظریه مدل مدرن برای درک و تعهد ارائه می دهد. تمرین ریاضی این جلد همچنین به تأثیر نظریه مدل بر هندسه جبری معاصر، نظریه اعداد، ترکیبات و معادلات دیفرانسیل می پردازد. این کتاب جامع و مفصل، منطق‌دانان و ریاضیدانان و همچنین کسانی که روی تاریخ و فلسفه ریاضیات کار می‌کنند، مورد توجه قرار خواهد گرفت.
توضیحاتی درمورد کتاب به خارجی
Major shifts in the field of model theory in the twentieth century have seen the development of new tools, methods, and motivations for mathematicians and philosophers. In this book, John T. Baldwin places the revolution in its historical context from the ancient Greeks to the last century, argues for local rather than global foundations for mathematics, and provides philosophical viewpoints on the importance of modern model theory for both understanding and undertaking mathematical practice. The volume also addresses the impact of model theory on contemporary algebraic geometry, number theory, combinatorics, and differential equations. This comprehensive and detailed book will interest logicians and mathematicians as well as those working on the history and philosophy of mathematics.
فهرست مطالب
Content: Part I. Refining the Notion of Categoricity: 1. Formalization
2. The context of formalization
3. Categoricity
Part II. The Paradigm Shift: 4. What was model theory about?
5. What is contemporary model theory about?
6. Isolating tame mathematics
7. Infinitary logic
8. Model theory and set theory
Part III. Geometry: 9. Axiomatization of geometry
10. , area, and circumference of circles
11. Complete: the word for all seasons
Part IV. Methodology: 12. Formalization and purity in geometry
13. On the nature of definition: model theory
14. Formalism-freeness
15. Summation.
