Proof, Logic and Formalization

Proof, Logic and Formalization

Autore: Michael Detlefsen
Editore: Taylor & Francis
Edizione: 1
Data di pubblicazione: 2005
ISBN: 0415023351

Acquista il libro

0

Paga con Klarna
Garanzia di rimborso di 14 giorni
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.

Potrebbe interessarti anche

Acquista il libro0