Proof, Logic and Formalization

The mathematical proof is the most important form of justification inmathematics. It is not however the only kind of justification formathematical propositions.... » 

The mathematical proof is the most important form of justification inmathematics. It is not however the only kind of justification formathematical propositions. The existence of other forms some of verysignificant strength places a question mark over the prominence given to proofwithin mathematics. This collection of essays by leading figures workingwithin the philosophy of mathematics is a response to the challenge ofunderstanding the nature and role of the proof. «