Proof, Logic, and Formalization

Main
Mathematics
Proof, Logic, and Formalization

Proof, Logic, and Formalization

Name: Proof, Logic, and Formalization
ISBN: 9780415023351

Michael Detlefsen

5.0 / 0

0 comments

كم أعجبك هذا الكتاب؟

ما هي جودة الملف الذي تم تنزيله؟

قم بتنزيل الكتاب لتقييم الجودة

ما هي جودة الملفات التي تم تنزيلها؟

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.

الفئات:

Mathematics

عام:

1992

الإصدار:

الناشر:

Routledge

اللغة:

english

الصفحات:

118

ISBN 10: