دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logicism, intuitionism, and formalism : what has become of them?
دانلود کتاب منطق، شهود و فراملیسم: چه چیزی از آنها تبدیل شده است؟
مشخصات کتاب
Logicism, intuitionism, and formalism : what has become of them?
ویرایش: نویسندگان: Sten Lindström, Erik Palmgren, Krister Segerberg, Viggo Stoltenberg-Hansen سری: Synthese library 341 ISBN (شابک) : 9781402089251, 1402089260 ناشر: Springer سال نشر: 2009 تعداد صفحات: 524 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 41,000
کلمات کلیدی مربوط به کتاب منطق، شهود و فراملیسم: چه چیزی از آنها تبدیل شده است؟: منطق و مبانی ریاضی، منطق، فلسفه زبان، معرفت شناسی، هستی شناسی، تاریخ ریاضیات
در صورت تبدیل فایل کتاب Logicism, intuitionism, and formalism : what has become of them? به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق، شهود و فراملیسم: چه چیزی از آنها تبدیل شده است؟ نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق، شهود و فراملیسم: چه چیزی از آنها تبدیل شده است؟
این مجموعه برنامه‌های پایه ریاضیات را از دوره کلاسیک مرور می‌کند و ارتباط احتمالی آنها را با فلسفه ریاضی معاصر ارزیابی می‌کند. بخش ویژه ای مربوط به ریاضیات سازنده است.
توضیحاتی درمورد کتاب به خارجی
This anthology reviews the programmes in the foundations of mathematics from the classical period and assesses their possible relevance for contemporary philosophy of mathematics. A special section is concerned with constructive mathematics.
فهرست مطالب
Front Matter....Pages I-XII
Front Matter....Pages 1-1
Introduction: The Three Foundational Programmes....Pages 1-23
Front Matter....Pages 25-25
Protocol Sentences for Lite Logicism....Pages 27-46
Frege’s Context Principle and Reference to Natural Numbers....Pages 47-68
The Measure of Scottish Neo-Logicism....Pages 69-90
Natural Logicism via the Logic of Orderly Pairing....Pages 91-125
Front Matter....Pages 127-127
A Constructive Version of the Lusin Separation Theorem....Pages 129-151
Dini’s Theorem in the Light of Reverse Mathematics....Pages 153-166
Journey into Apartness Space....Pages 167-187
Relativization of Real Numbers to a Universe....Pages 189-207
100 Years of Zermelo’s Axiom of Choice: What was the Problem with It?....Pages 209-219
Intuitionism and the Anti-Justification of Bivalence....Pages 221-236
From Intuitionistic to Point-Free Topology: On the Foundation of Homotopy Theory....Pages 237-253
Program Extraction in Constructive Analysis....Pages 255-275
Brouwer’s Approximate Fixed-Point Theorem is Equivalent to Brouwer’s Fan Theorem....Pages 277-299
Front Matter....Pages 301-301
“Gödel’s Modernism: On Set-Theoretic Incompleteness,” Revisited....Pages 303-355
Tarski’s Practice and Philosophy: Between Formalism and Pragmatism....Pages 357-396
The Constructive Hilbert Program and the Limits of Martin-Löf Type Theory....Pages 397-433
Categories, Structures, and the Frege-Hilbert Controversy: The Status of Meta-mathematics....Pages 435-448
Beyond Hilbert’s Reach?....Pages 449-483
Hilbert and the Problem of Clarifying the Infinite....Pages 485-503
Back Matter....Pages 505-512
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Semantic web for the working ontologist : effective modeling for linked data, RDFS, and OWL
دانلود کتاب Molecular Interactions
دانلود کتاب Luxam Lingerie Collection Spring-Summer 2011
