Proof, Logic and Formalization

ISBN-13: 9780415023351 / Angielski / Twarda / 1992 / 252 str.

M. Detlefsen; Michael Detlefsen

Opis

This book addresses the various problems associated with finding a philosophically satisfying account of mathematical proof. It brings together many of the most notable figures currently writing on this issue, in the field of philosophy of mathematics, in an attempt to explain why it is that mathematical proof is given prominence over other forms of mathematical justification. The difficulties that arise in accounts of proof range from the rightful role of logical inference and formalization to questions concerning the place of experience in proof and the possibility of eliminating impredictive reasoning from proof.

Recenzje

'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.' - Erkenntnis

Spis treści

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

O autorze

Michael Detlefsen (Edited by)