"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."
"After almost a century in which the attempt was made to reduce philosophy of mathematics to set theory, philosophers have begun to reconsider the traditional approaches. The Tymoczko volume provides a solid intro to these new approaches, that is both readable and insightful. A background in formal logic, or traditional philosophy of mathematics, is not presupposed, as there are basic essays that should get the reader up to speed on the terminology. Nor does one have to be a mathematician to appreciate the thoughts presented. At the same time, I don't believe any mathematician would be offended or alarmed by the presentations of this book.
Ultimately, there is no final consensus offered. Rather, the topic is reinvigorated with a collection of fresh approaches that do not falsify the experience of mathematics by trying to reduce it to something else."
Author(s): Thomas Tymoczko
Publisher: Birkhauser
Year: 1986
Language: English
Pages: 329
Tags: math, philosophy of mathematics, foundation of mathematics, proof, formalism, empiricism, error, truth, epistemology, Polya, Godel’s theorem, information theory, the four-color problem, Smith College, 1979
- Preface
- Introduction
Part I: Challenging Foundations
- "Some Proposals for Reviving the Philosophy of Mathematics", Reuben Hersh
- "A Renaissance of Empiricism in the Recent Philosophy of Mathematics?", Imre Lakatos
- "What Is Mathematical Truth?", Hilary Putnam
- "'Modern' Mathematics: An Educational and Philosophic Error?", René Thom
- "Mathematics as an Objective Science", Nicholas D. Goodman
Interlude
- "From the Preface of _Induction and Analogy in Mathematics_", George Polya
- "Generalization, Specialization, Analogy", George Polya
Part II: Mathematical Practice
WHAT IS MATHEMATICAL PRACTICE?
- "Theory and Practice in Mathematics", Hao Wang
- "What Does a Mathematical Proof Prove?", Imre Lakatos
- "Fidelity in Mathematical Discourse: Is One and One Really Two?", Philip J. Davis
- "The Ideal Mathematician", Philip J. Davis and Reuben Hersh
THE EVOLUTION OF MATHEMATICAL PRACTICE
- "The Cultural Basis of Mathematics" Raymond L. Wilder
- "Is Mathematical Truth Time-Dependent?", Judith V. Grabiner
- "Mathematical Change and Scientific Change" Philip Kitcher
COMPUTERS AND MATHEMATICAL PRACTICE: A CASE STUDY
- "The Four-Color Problem and Its Philosophical Significance", Thomas Tymoczko
- "Social Processes and Proofs of Theorems and Programs", Richard A. De Millo, Richard J. Lipton, and Alan J. Perlis
- "Information-Theoretic Computational Complexity and Gédel’s Theorem and Information", Gregory Chaitin
- Bibliography