Proof, Logic and Formalization - Rilegato

 
9780415023351: Proof, Logic and Formalization

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Informazioni sull?autore

Michael Detlefsen (Edited by)

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Altre edizioni note dello stesso titolo

9781138009073: Proof, Logic and Formalization

Edizione in evidenza

ISBN 10:  1138009075 ISBN 13:  9781138009073
Casa editrice: Routledge, 2015
Brossura