دانلود کتاب Interpreting Gödel: Critical Essays
کتاب تفسیر گودل: مقالات انتقادی نسخه زبان اصلی
دانلود کتاب تفسیر گودل: مقالات انتقادی بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Interpreting Gödel: Critical Essays
نام کتاب : Interpreting Gödel: Critical Essays
عنوان ترجمه شده به فارسی : تفسیر گودل: مقالات انتقادی
سری :
نویسندگان : Juliette Kennedy
ناشر : Cambridge University Press
سال نشر : 2014
تعداد صفحات : 294
ISBN (شابک) : 1107002664 , 9781107002661
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 2 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
منطق‌دان کورت گودل (1906-1978) مقاله‌ای را در سال 1931 منتشر کرد که در آن مواردی را که به عنوان «قضیه‌های ناقص بودن» او شناخته می‌شوند، فرمول‌بندی کرد، که در میان چیزهای دیگر ثابت می‌کند که در هر سیستم رسمی با منابع کافی برای رمزگذاری حساب، سؤالاتی وجود دارد که بر اساس بدیهیاتی که سیستم را تعریف می کنند، نه قابل اثبات هستند و نه قابل رد. اینها یکی از مشهورترین نتایج در منطق امروزی هستند. در این جلد، فیلسوفان و ریاضیدانان برجسته جنبه های مهم کار گودل در زمینه مبانی و فلسفه ریاضیات را ارزیابی می کنند. مقالات آنها تقریباً تمام جنبه‌های میراث فکری گودل از جمله مفاهیم شهود و تحلیل، قضیه کامل بودن، چندجهانی نظریه مجموعه‌ها و وضعیت منطق ریاضی امروزی را بررسی می‌کنند. این حجم پیشگامانه برای دانش آموزان، مورخان، منطق دانان و فیلسوفان ریاضی که مایل به درک تفکر فعلی در مورد این موضوعات هستند بسیار ارزشمند خواهد بود.
فهرست مطالب :
Content: 1. Introduction: Godel and analytic philosophy: how did we get here? Juliette Kennedy
Part I. Godel on Intuition: 2. Intuitions of three kinds in Godel\'s views on the continuum John Burgess
3. Godel on how to have your mathematics and know it too Janet Folina
Part II. The Completeness Theorem: 4. Completeness and the ends of axiomatization Michael Detlefsen
5. Logical completeness, form, and content: an archaeology Curtis Franks
Part III. Computability and Analyticity: 6. Godel\'s 1946 Princeton bicentennial lecture: an appreciation Juliette Kennedy
7. Analyticity for realists Charles Parsons
Part IV. The Set-Theoretic Multiverse: 8. Godel\'s program John Steel
9. Multiverse set theory and absolutely undecidable propositions Jouko Vaananen
Part V. The Legacy: 10. Undecidable problems: a sampler Bjorn Poonen
11. Reflecting on logical dreams Saharon Shelah.
توضیحاتی در مورد کتاب به زبان اصلی :
The logician Kurt Gödel (1906-1978) published a paper in 1931 formulating what have come to be known as his 'incompleteness theorems', which prove, among other things, that within any formal system with resources sufficient to code arithmetic, questions exist which are neither provable nor disprovable on the basis of the axioms which define the system. These are among the most celebrated results in logic today. In this volume, leading philosophers and mathematicians assess important aspects of Gödel's work on the foundations and philosophy of mathematics. Their essays explore almost every aspect of Godel's intellectual legacy including his concepts of intuition and analyticity, the Completeness Theorem, the set-theoretic multiverse, and the state of mathematical logic today. This groundbreaking volume will be invaluable to students, historians, logicians and philosophers of mathematics who wish to understand the current thinking on these issues.
پست ها تصادفی