Proof, logic and formalization
Author(s)
Bibliographic Information
Proof, logic and formalization
Routledge, 1992
Available at / 21 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references and index
Description and Table of Contents
Description
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.
Table of Contents
Contributors:
David Aeurbach, John P. Burgess, Michael Detlefsen, Glen Helman, Daniel Isaacson, Charles Parsons, Richard Tieszen, David S. Tragesser
by "Nielsen BookData"