Book contents
- Frontmatter
- Contents
- Preface
- On the Structure of Mathematics
- Brief Summaries of Topics
- 1 Linear Algebra
- 2 ∈ and δ Real Analysis
- 3 Calculus for Vector-Valued Functions
- 4 Point Set Topology
- 5 Classical Stokes' Theorems
- 6 Differential Forms and Stokes' Thm.
- 7 Curvature for Curves and Surfaces
- 8 Geometry
- 9 Complex Analysis
- 10 Countability and the Axiom of Choice
- 11 Algebra
- 12 Lebesgue Integration
- 13 Fourier Analysis
- 14 Differential Equations
- 15 Combinatorics and Probability
- 16 Algorithms
- A Equivalence Relations
- Bibliography
- Index
16 - Algorithms
Published online by Cambridge University Press: 11 April 2011
- Frontmatter
- Contents
- Preface
- On the Structure of Mathematics
- Brief Summaries of Topics
- 1 Linear Algebra
- 2 ∈ and δ Real Analysis
- 3 Calculus for Vector-Valued Functions
- 4 Point Set Topology
- 5 Classical Stokes' Theorems
- 6 Differential Forms and Stokes' Thm.
- 7 Curvature for Curves and Surfaces
- 8 Geometry
- 9 Complex Analysis
- 10 Countability and the Axiom of Choice
- 11 Algebra
- 12 Lebesgue Integration
- 13 Fourier Analysis
- 14 Differential Equations
- 15 Combinatorics and Probability
- 16 Algorithms
- A Equivalence Relations
- Bibliography
- Index
Summary
Basic Object: Graphs and Trees
Basic Goal: Computing the Efficiency of Algorithms
The end of the 1800s and the beginning of the 1900s saw intense debate about the meaning of existence for mathematical objects. To some, a mathematical object could only have meaning if there was a method to compute it. For others, any definition that did not lead to a contradiction would be good enough to guarantee existence (and this is the path that mathematicians have overwhelmingly chosen to take). Think back to the section on the Axiom of Choice in Chapter Ten. Here objects were claimed to exist which were impossible to actually construct. In many ways these debates had quieted down by the 1930s, in part due to Gödel's work, but also in part due to the nature of the algorithms that were eventually being produced. By the late 1800s, the objects that were being supposedly constructed by algorithms were so cumbersome and time-consuming, that no human could ever compute them by hand. To most people, the pragmatic difference between an existence argument versus a computation that would take a human the life of the universe was too small to care about, especially if the existence proof had a clean feel.
- Type
- Chapter
- Information
- All the Mathematics You MissedBut Need to Know for Graduate School, pp. 307 - 326Publisher: Cambridge University PressPrint publication year: 2001