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.

ژانرها

فلسفه طبیعت
به قفسه اضافه کنید

به این کتاب امتیاز دهید


صدور دفتر کتاب