

Ep 202: David Deutsch’s ”The Fabric of Reality” Chapter 10 ”The Nature of Mathematics” Part 3
Feb 11, 2024
Exploring the nature of proof and mathematics as a creative enterprise; the frustration of David Hilbert's hopes for a firm foundation in mathematics; the world-shattering results of Kurt Godel; the history of proof; Roger Penrose's viewpoint on whether human brains are computers in the Turing sense.
Chapters
Transcript
Episode notes
1 2 3 4 5 6
Introduction
00:00 • 4min
Exploring the Nature of Mathematics and David Hilbert's Work
04:29 • 3min
Deriving All of Mathematics from a Complete Set of Axioms
07:02 • 52sec
The Limits of Mathematics: A Personal Perspective
07:54 • 12min
Foundations of Mathematics and Aristotelian Syllogisms
19:52 • 11min
Hilbert's Goals and Godel's Results
31:07 • 14min