Proof, Logic and Formalization (eBook, PDF)

Redaktion: Detlefsen, Michael

• Format: PDF

Produktbeschreibung

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.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Taylor & Francis
• Seitenzahl: 256
• Erscheinungstermin: 8. Juli 2005
• Englisch
• ISBN-13: 9781134975280
• Artikelnr.: 42718769

Autorenporträt

Michael Detlefsen (Edited by)

Inhaltsangabe

Contributors: David Aeurbach
John P. Burgess
Michael Detlefsen
Glen Helman
Daniel Isaacson
Charles Parsons
Richard Tieszen
David S. Tragesser