مشخصات کتاب

Interpreting Gödel: Critical Essays

ویرایش:  
نویسندگان: Juliette Kennedy  
سری:  
ISBN (شابک) : 1107002664, 9781107002661 
ناشر: Cambridge University Press 
سال نشر: 2014 
تعداد صفحات: 294 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت 

در صورت تبدیل فایل کتاب Interpreting Gödel: Critical Essays به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب تفسیر گودل: مقالات انتقادی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب تفسیر گودل: مقالات انتقادی

منطق‌دان کورت گودل (1906-1978) مقاله‌ای را در سال 1931 منتشر کرد که در آن مواردی را که به عنوان «قضیه‌های ناقص بودن» او شناخته می‌شوند، فرمول‌بندی کرد، که در میان چیزهای دیگر ثابت می‌کند که در هر سیستم رسمی با منابع کافی برای رمزگذاری حساب، سؤالاتی وجود دارد که بر اساس بدیهیاتی که سیستم را تعریف می کنند، نه قابل اثبات هستند و نه قابل رد. اینها یکی از مشهورترین نتایج در منطق امروزی هستند. در این جلد، فیلسوفان و ریاضیدانان برجسته جنبه های مهم کار گودل در زمینه مبانی و فلسفه ریاضیات را ارزیابی می کنند. مقالات آنها تقریباً تمام جنبه‌های میراث فکری گودل از جمله مفاهیم شهود و تحلیل، قضیه کامل بودن، چندجهانی نظریه مجموعه‌ها و وضعیت منطق ریاضی امروزی را بررسی می‌کنند. این حجم پیشگامانه برای دانش آموزان، مورخان، منطق دانان و فیلسوفان ریاضی که مایل به درک تفکر فعلی در مورد این موضوعات هستند بسیار ارزشمند خواهد بود.

توضیحاتی درمورد کتاب به خارجی

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.

فهرست مطالب

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.

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Regulating Football: Commodification, Commercialisation and the Law

دانلود کتاب Fusion of Smart, Multimedia and Computer Gaming Technologies: Research, Systems and Perspectives

دانلود کتاب Rights and Wrongs under the ECHR: The prohibition of abuse of rights in Article 17 of the European Convention on Human Rights

دانلود کتاب Brides of Helheim 001

دانلود کتاب God's psychology : a sufi explanation