Detlefsen | Proof, Logic and Formalization | E-Book | sack.de
E-Book

E-Book, Englisch, 256 Seiten

Detlefsen Proof, Logic and Formalization


Erscheinungsjahr 2005
ISBN: 978-1-134-97527-3
Verlag: CRC Press
Format: EPUB
 Kopierschutz: Adobe DRM (»Systemvoraussetzungen)

E-Book, Englisch, 256 Seiten

ISBN: 978-1-134-97527-3
Verlag: CRC Press
Format: EPUB
 Kopierschutz: Adobe DRM (»Systemvoraussetzungen)

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.

Detlefsen Proof, Logic and Formalization jetzt bestellen!

Autoren/Hrsg.

Detlefsen, Michael

Fachgebiete

Weitere Infos & Material

Contributors:

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

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.