Proof, Logic and Formalization
Published on 8. July 2005
256 pages
978-1-134-97527-3 (ISBN)
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.
Reviews / Votes
'The two volumes edited by M.Detlefsen without doubt constitute an important and valuable reference for research on the very intricate network of concepts, theories and theses connected with the concept of proof.' - ErkenntnisMore details
Language
English
Place of publication
London
United Kingdom
Publishing group
Taylor & Francis Ltd
Target group
College/higher education
Product notice
Reflowable
File size
0,75 MB
ISBN-13
978-1-134-97527-3 (9781134975273)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Other editions
Additional editions
Michael Detlefsen
Proof, Logic and Formalization
Book
05/2015
1st Edition
Routledge
€85.70
Shipment within 10-20 days
Michael Detlefsen
Proof, Logic and Formalization
Book
01/1992
Routledge
€206.10
Shipment within 15-20 days
Person
Michael Detlefsen (Edited by)
Content
Contributors:
David Aeurbach, John P. Burgess, Michael Detlefsen, Glen Helman, Daniel Isaacson, Charles Parsons, Richard Tieszen, David S. Tragesser
David Aeurbach, John P. Burgess, Michael Detlefsen, Glen Helman, Daniel Isaacson, Charles Parsons, Richard Tieszen, David S. Tragesser
