510.9/Heaton
1 / 1 copies available
Location |
Call Number |
|
Status |
2nd Floor
|
510.9/Heaton |
|
Checked In
|
- Subjects
- Published
-
New York, NY :
Oxford University Press
[2017]
- Language
- English
- Main Author
-
Luke Heaton
(-)
- Physical Description
- 321 pages ; 22 cm
- Bibliography
- Includes bibliographical references and index.
- ISBN
- 9780190621766
- Introduction
- 1. Beginnings
- 1.1. Language and Purpose
- 1.2. Human Cognition and the Meaning of Math
- 1.3. Stone Age Rituals and Autonomous Symbols
- 1.4. Making Legible Patterns
- 1.5. The Storage of Facts
- 1.6. Babylon, Egypt and Greece
- 1.7. The Logic of Circles
- 1.8. The Factuality of Math
- 2. From Greece to Rome
- 2.1. Early Greek Mathematics
- 2.2. Pythagorean Science
- 2.3. Plato and Symmetric Form
- 2.4. Euclidean Geometry
- 2.5. The Euclidean Algorithm
- 2.6. Archimedes
- 2.7. Alexandria in the Age of Rome
- 3. Ratio and Proportion
- 3.1. Measurement and Counting
- 3.2. Reductio Ad Absurdum
- 3.3. Eudoxus, Dedekind and the Birth of Analysis
- 3.4. Recurring Decimals and Dedekind Cuts
- 3.5. Continued Fractions
- 3.6. Quadratic Equations and the Golden Ratio
- 3.7. Structures of Irrationality
- 3.8. The Fibonacci Sequence
- 4. The Rise of Algebra
- 4.1. Zero and the Position System
- 4.2. Al-Khwarizmi and the Science of Equations
- 4.3. Algebra and Medieval Europe
- 4.4. Fermat's Little Theorem
- 4.5. How to Make a Mathematical Padlock
- 5. Mechanics and the Calculus
- 5.1. The Origins of Analysis
- 5.2. Measuring the World
- 5.3. The Age of Clocks
- 5.4. Cartesian Coordinates
- 5.5. Linear Order and the Number Line
- 5.6. Isaac Newton
- 5.7. The Fundamental Theorem of Calculus
- 5.8. From Algebra to Rates of Change
- 6. Leonhard Euler and the Bridges of Konigsberg
- 6.1. Leonhard Euler
- 6.2. The Bridges of Königsberg
- 6.3. On Drawing a Network
- 6.4. The Platonic Solids Revisited
- 6.5. Poincaré and the Birth of Topology
- 7. Euclid's Fifth and the Reinvention of Geometry
- 7.1. Measurement and Direction
- 7.2. Non-Euclidean Geometry
- 7.3. The Curvature of Space
- 7.4. The Unity and Multiplicity of Geometry
- 7.5. Symmetry and Groups
- 7.6. The Oddities of Left and Right
- 7.7. The Möbius Strip
- 8. Working with the Infinite
- 8.1. Blaise Pascal and the Infinite in Math
- 8.2. Reasoning by Recurrence
- 8.3. The Mathematics of the Infinitely Large
- 8.4. Cantor's Pairs
- 8.5. The Diagonal Argument
- 9. The Structures of Logical Form
- 9.1. The Formal Logic of AND, OR and NOT
- 9.2. Classical Logic and the Excluded Middle
- 9.3. Mechanical Deductions
- 9.4. Quantifiers and Properties
- 9.5. Inputs for Predicate Calculus
- 9.6. Axiomatic Set Theory
- 10. Alan Turing and the Concept of Computation
- 10.1. From Mechanical Deductions to Programmable Machines
- 10.2. Depicting Calculation
- 10.3. Deterministic Language Games
- 10.4. Church's Thesis
- 10.5. Decision Problems
- 10.6. Figure and Ground
- 10.7. Semi-Decidable Problems
- 11. Kurt Godel and the Power of Polynomials
- 11.1. Matiyasevich's Theorem
- 11.2. Kurt Gödel
- 11.3. Searching for Solutions
- 11.4. The Incompleteness of Arithmetic
- 11.5. Truth, Proof and Consistency
- 12. Modelling the World
- 12.1. Science and the Uses of Models
- 12.2. Order and Chaos
- 12.3. Theoretical Biology
- 12.4. Interactions and Dynamical Systems
- 12.5. Holism and Emergent Phenomena
- 13. Lived Experience and the Nature of Facts
- 13.1. Rules and Reality
- 13.2. The Objectivity of Math
- 13.3. Meaning and Purpose
- Further Reading
- Acknowledgements
- Index