Proof, Logic and Formalization

Erscheinungsjahr 1992
ISBN: 978-0-415-02335-1
Verlag: Taylor & Francis

Buch, Englisch, 252 Seiten, Format (B × H): 144 mm x 225 mm, Gewicht: 463 g

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.

Autoren/Hrsg.

Detlefsen, Michael

Fachgebiete

• Geisteswissenschaften Philosophie Philosophie der Mathematik, Philosophie der Physik
• Mathematik | Informatik Mathematik Mathematik Allgemein Philosophie der Mathematik
• Mathematik | Informatik Mathematik Mathematik Allgemein Mathematische Logik

Inhaltsverzeichnis

Contributors:

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

Über Autor(innen)

Michael Detlefsen (Edited by)