Join Books.org — it's free

Philosophy, General
Proof, Logic and Formalization by Michael Detlefsen β€” book cover

Proof, Logic and Formalization

by Michael Detlefsen
Available on Bookshop Write a review

Books.org participates in affiliate programs including Bookshop.org and the Amazon Services LLC Associates Program. We may earn a commission from qualifying purchases made through links on this page, at no additional cost to you.

Log in to track your reading progress.

Synopsis

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.

Reviews

There are no reviews yet. Log in to write one.

Book Details

Published
January 1, 1992
Publisher
Taylor & Francis, Inc.
Format
Hardcover
ISBN
9780415023351

More by Michael Detlefsen

Similar books