The traditional debate among philosophers of mathematics is whether there is an external mathematical reality, something out there to be discovered, or whether mathematics is the product of the human mind. This provocative book, now available in a revised and expanded paperback edition, goes beyond foundationalist questions to offer what has been called a "postmodern" assessment of the philosophy of mathematics--one that addresses issues of theoretical importance in terms of mathematical experience. By bringing together essays of leading philosophers, mathematicians, logicians, and computer scientists, Thomas Tymoczko reveals an evolving effort to account for the nature of mathematics in relation to other human activities. These accounts include such topics as the history of mathematics as a field of study, predictions about how computers will influence the future organization of mathematics, and what processes a proof undergoes before it reaches publishable form. This expanded edition now contains essays by Penelope Maddy, Michael D. Resnik, and William P. Thurston that address the nature of mathematical proofs.
The editor has provided a new afterword and a supplemental bibliography of recent work.
Auflage
Revised and Expanded Edition
Sprache
Verlagsort
Zielgruppe
Für Beruf und Forschung
Für höhere Schule und Studium
Editions-Typ
Produkt-Hinweis
Illustrationen
Maße
Höhe: 234 mm
Breite: 156 mm
Dicke: 27 mm
Gewicht
ISBN-13
978-0-691-03498-0 (9780691034980)
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 Klassifikation
Thomas Tymoczko was Professor of Philosophy at Smith College. He was the author of numerous papers in philosophy and coauthor, with Jim Henle, of Sweet Reason: A Field Guide to Modern Logic. He died in 1996.
PrefaceIntroductionPt. IChallenging Foundations1Some Proposals for Reviving the Philosophy of Mathematics9A Renaissance of Empiricism in the Recent Philosophy of Mathematics?29What Is Mathematical Truth?49"Modern" Mathematics: An Educational and Philosophic Error?67Mathematics as an Objective Science79Interlude95From the Preface of Induction and Analogy in Mathematics99Generalization, Specialization, Analogy103Pt. IIMathematical Practice125Theory and Practice in Mathematics129What Does a Mathematical Proof Prove?153Fidelity in Mathematical Discourse: Is One and One Really Two?163The Ideal Mathematician177The Cultural Basis of Mathematics185Is Mathematical Truth Time-Dependent?201Mathematical Change and Scientific Change215The Four-Color Problem and Its Philosophical Significance243Social Processes and Proofs of Theorems and Programs267Information-Theoretic Computational Complexity and Godel's Theorem and Information287Pt. IIICurrent Concerns313Proof as a Source of Truth317On Proof and Progress in Mathematics337Does V Equal L?357Afterword385Bibliography399Supplemental Bibliography of Recent Work411