دانلود کتاب Foundational Theories of Classical and Constructive Mathematics
کتاب نظریه های بنیادی ریاضیات کلاسیک و سازنده نسخه زبان اصلی
دانلود کتاب نظریه های بنیادی ریاضیات کلاسیک و سازنده بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Foundational Theories of Classical and Constructive Mathematics
نام کتاب : Foundational Theories of Classical and Constructive Mathematics
ویرایش : 1
عنوان ترجمه شده به فارسی : نظریه های بنیادی ریاضیات کلاسیک و سازنده
سری : The Western Ontario Series in Philosophy of Science 76
نویسندگان : Geoffrey Hellman* (auth.), Giovanni Sommaruga (eds.)
ناشر : Springer Netherlands
سال نشر : 2011
تعداد صفحات : 327
ISBN (شابک) : 9400704305 , 9789400704305
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 5 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
کتاب "نظریه های بنیادی ریاضیات کلاسیک و سازنده" کتابی با موضوع کلاسیک مبانی ریاضیات است. اصالت آن عمدتاً در پرداختن به مبانی کلاسیک و مبانی ریاضیات سازنده است. این تقابل دو نوع مبنا به پاسخگویی به سؤالاتی کمک می کند: آیا مبانی/نظریه های بنیادی ریاضیات کلاسیک در مقایسه با ریاضیات سازنده ماهیت متفاوتی دارند؟ آیا آنها همان نقش را برای مسئولین ایفا می کنند؟ ریاضیات؟ آیا بین این دو نوع پایه ارتباطی وجود دارد؟ و غیره. رویارویی و مقایسه اغلب ضمنی و گاهی صریح است. مزیت بزرگ آن این است که بحث سنتی مبانی ریاضیات را بسط می دهد و در عین حال ظریف تر و متمایزتر می کند.
یکی دیگر از جنبه های مهم کتاب این است که برخی از مشارکت های آن بیشتر فلسفی است، برخی دیگر ماهیت فنی تر از آنجایی که مبانی ریاضیات یک موضوع برجسته در فلسفه ریاضیات است، بر این رویه دوگانه تأکید شده است: از این رو هر دو طرف این رشته باید به دلیل وجود داشته باشد و پرداخت می شود.
فهرست مطالب :
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
توضیحاتی در مورد کتاب به زبان اصلی :
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.
پست ها تصادفی