Proof, Logic and Formalization

R824.25

Routledge

SKU: 9781134975273 Category: Tags: , , , , ,

Description

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.

Reviews

There are no reviews yet.

Be the first to review “Proof, Logic and Formalization”

Your email address will not be published. Required fields are marked *