Book contents
- Frontmatter
- Contents
- Contributors
- Foreword
- Preface
- Acknowledgments
- Short Biography of Kurt Gödel
- I Historical Context: Gödel's Contributions and Accomplishments
- Gödel's Legacy: A Historical Perspective
- The Past and Future of Computation
- Gödelian Cosmology
- II A Wider Vision: The Interdisciplinary, Philosophical, and Theological Implications of Gödel's Work
- Gödel and the Mathematics of Philosophy
- Gödel and Philosophical Theology
- Gödel and the Human Mind
- III New Frontiers: Beyond Gödel's Work in Mathematics and Symbolic Logic
- The Realm of Set Theory
- Gödel and the Higher Infinite
- Gödel and Computer Science
- 21 The Gödel Phenomenon in Mathematics: A Modern View
- Index
21 - The Gödel Phenomenon in Mathematics: A Modern View
Published online by Cambridge University Press: 07 September 2011
- Frontmatter
- Contents
- Contributors
- Foreword
- Preface
- Acknowledgments
- Short Biography of Kurt Gödel
- I Historical Context: Gödel's Contributions and Accomplishments
- Gödel's Legacy: A Historical Perspective
- The Past and Future of Computation
- Gödelian Cosmology
- II A Wider Vision: The Interdisciplinary, Philosophical, and Theological Implications of Gödel's Work
- Gödel and the Mathematics of Philosophy
- Gödel and Philosophical Theology
- Gödel and the Human Mind
- III New Frontiers: Beyond Gödel's Work in Mathematics and Symbolic Logic
- The Realm of Set Theory
- Gödel and the Higher Infinite
- Gödel and Computer Science
- 21 The Gödel Phenomenon in Mathematics: A Modern View
- Index
Summary
What are the limits of mathematical knowledge? The purpose of this chapter is to introduce the main concepts from computational complexity theory that are relevant to algorithmic accessibility of mathematical understanding. In particular, I'll discuss the P versus NP problem, its possible impact on research in mathematics, and how interested Gödel himself was in this computational viewpoint.
Much of the technical material will be necessarily sketchy. The interested reader is referred to the standard texts on computational complexity theory, primarily Arora and Barak (2009), Goldreich (2008), Papadimitriou (1994a), and Sipser (1997).
Overview
Hilbert believed that all mathematical truths are knowable, and he set the threshold for mathematical knowledge at the ability to devise a “mechanical procedure.” This dream was shattered by Gödel and Turing. Gödel's incompleteness theorem exhibited true statements that can never be proved. Turing formalized Hilbert's notion of computation and of finite algorithms (thereby initiating the computer revolution) and proved that some problems are undecidable – they have no such algorithms.
Though the first examples of such unknowables seemed somewhat unnatural, more and more natural examples of unprovable or undecidable problems were found in different areas of mathematics. The independence of the continuum hypothesis and the undecidability of Diophantine equations are famous early examples. This became known as the Gödel phenomenon, and its effect on the practice of mathematics has been debated since.
- Type
- Chapter
- Information
- Kurt Gödel and the Foundations of MathematicsHorizons of Truth, pp. 475 - 508Publisher: Cambridge University PressPrint publication year: 2011