Proof, Logic and Formalization

Proof, Logic and Formalization

لا توجد تقييمات بعد
May 29, 2015 · الإنجليزية · غلاف ورقي (252 صفحات)
أضف إلى الرف

قيم هذا الكتاب


تصدير مجلة الكتاب

تفاصيل الكتاب

تنسيق غلاف ورقي
صفحات 252
لغة الإنجليزية
منشور May 29, 2015
الناشر Routledge
رقم ISBN-10 1138009075
رقم ISBN-13 9781138009073

الوصف

The mathematical proof is the most important form of justification in mathematics. It is not, however, the only kind of justification for mathematical propositions. The existence of other forms, some of very significant strength, places a question mark over the prominence given to proof within mathematics. This collection of essays, by leading figures working within the philosophy of mathematics, is a response to the challenge of understanding the nature and role of the proof.

الأنواع

فلسفة الطبيعة
أضف إلى الرف

قيم هذا الكتاب


تصدير مجلة الكتاب