دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Foundational Theories of Classical and Constructive Mathematics
دانلود کتاب نظریه های بنیادی ریاضیات کلاسیک و سازنده
مشخصات کتاب
Foundational Theories of Classical and Constructive Mathematics
ویرایش: 1 نویسندگان: Geoffrey Hellman* (auth.), Giovanni Sommaruga (eds.) سری: The Western Ontario Series in Philosophy of Science 76 ISBN (شابک) : 9400704305, 9789400704305 ناشر: Springer Netherlands سال نشر: 2011 تعداد صفحات: 327 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 45,000
کلمات کلیدی مربوط به کتاب نظریه های بنیادی ریاضیات کلاسیک و سازنده: منطق و مبانی ریاضی، فلسفه علم، منطق
در صورت تبدیل فایل کتاب Foundational Theories of Classical and Constructive Mathematics به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نظریه های بنیادی ریاضیات کلاسیک و سازنده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب نظریه های بنیادی ریاضیات کلاسیک و سازنده
کتاب "نظریه های بنیادی ریاضیات کلاسیک و سازنده" کتابی با
موضوع کلاسیک مبانی ریاضیات است. اصالت آن عمدتاً در پرداختن به
مبانی کلاسیک و مبانی ریاضیات سازنده است. این تقابل دو نوع
مبنا به پاسخگویی به سؤالاتی کمک می کند: آیا مبانی/نظریه های
بنیادی ریاضیات کلاسیک در مقایسه با ریاضیات سازنده ماهیت
متفاوتی دارند؟ آیا آنها همان نقش را برای پاسخ. ریاضیات؟ آیا
ارتباطی بین این دو نوع پایه وجود دارد؟ و غیره. رویارویی و
مقایسه اغلب ضمنی و گاهی صریح است. مزیت بزرگ آن این است که بحث
سنتی مبانی ریاضیات را بسط می دهد و در عین حال ظریف تر و
متمایزتر می کند.
یکی دیگر از جنبه های مهم کتاب این است که برخی از مشارکت های
آن بیشتر فلسفی است، برخی دیگر ماهیت فنی تر از آنجایی که مبانی
ریاضیات یک موضوع برجسته در فلسفه ریاضیات است، بر این رویه
دوگانه تأکید شده است: از این رو هر دو طرف این رشته باید به
دلیل وجود داشته باشد و پرداخت می شود.
توضیحاتی درمورد کتاب به خارجی
The book “Foundational Theories of Classical and Constructive
Mathematics” is a book on the classical topic of foundations
of mathematics. Its originality resides mainly in its
treating at the same time foundations of classical and
foundations of constructive mathematics. This confrontation
of two kinds of foundations contributes to answering
questions such as: Are foundations/foundational theories of
classical mathematics of a different nature compared to those
of constructive mathematics? Do they play the same role for
the resp. mathematics? Are there connections between the two
kinds of foundations? Etc. The confrontation and comparison
is often implicit and sometimes explicit. Its great advantage
is to extend the traditional discussion of foundations of
mathematics and to render it at the same time more subtle and
more differentiated.
Another important aspect of the book is that some of its
contributions are of a more philosophical, others of a more
technical nature. This double face is emphasized, since
foundations of mathematics is an eminent topic in the
philosophy of mathematics: hence both sides of this
discipline ought to be and are being paid due to.
فهرست مطالب
Front Matter....Pages i-lxi
Front Matter....Pages 51-51
Foundational Frameworks....Pages 53-69
The Problem of Mathematical Objects....Pages 71-84
Set Theory as a Foundation....Pages 85-96
Foundations: Structures, Sets, and Categories....Pages 97-110
Front Matter....Pages 111-111
From Sets to Types, to Categories, to Sets....Pages 113-125
Enriched Stratified Systems for the Foundations of Category Theory....Pages 127-143
Recent Debate over Categorical Foundations....Pages 145-154
Front Matter....Pages 155-155
The Axiom of Choice in the Foundations of Mathematics....Pages 157-169
Reflections on the Categorical Foundations of Mathematics....Pages 171-186
Front Matter....Pages 187-187
Local Constructive Set Theory and Inductive Definitions....Pages 189-207
Proofs and Constructions....Pages 209-225
Euclidean Arithmetic: The Finitary Theory of Finite Sets....Pages 227-243
Intentionality, Intuition, and Proof in Mathematics....Pages 245-263
Foundations for Computable Topology....Pages 265-310
Conclusion: A Perspective on Future Research in FOM....Pages 311-314
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Linear system analysis
دانلود کتاب The Chemistry of the Monatomic Gases. Pergamon Texts in Inorganic Chemistry
دانلود کتاب Sacred mushroom of visions: teonanácatl: a sourcebook on the psilocybin mushroom
دانلود کتاب Industrial chemistry of oxides for emerging applications
