The following text field will produce suggestions that follow it as you type.

Barnes and Noble

Loading Inventory...
Proof, Logic and Formalization

Proof, Logic and Formalization in Bloomington, MN

Current price: $74.99
Get it at Barnes and Noble
Proof, Logic and Formalization

Proof, Logic and Formalization in Bloomington, MN

Current price: $74.99
Loading Inventory...

Size: Paperback

Get it at Barnes and Noble
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.
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.
Powered by Adeptmind