Finite of sense & infinite of thought
summary
Tracks the lineage from Leibniz’s plan for a characteristica universalis through Boole’s algebraic law x^2 = x to Babbage’s mechanical designs (Difference Engine sketched, Analytical Engine never completed). Contrasts Church’s lambda calculus (formal but circular) with Turing’s model that treats computation as primitive and proves the halting problem undecidable, breaking the circularity and showing computation can generate meaning rather than merely manipulate preexisting language.
AI-written summary · about
chapters (13)
- 0:00The origins of logic
- 10:42Leibniz and mechanical logic
- 11:40Mathematics in the 19th century
- 12:17Babbage and mechanical computers
- 17:30Boolean algebra
- 22:53Early logic machines
- 23:20Rediscovering Leibniz
- 24:35Frege's conceptual notation
- 26:48Logic and algebra debate
- 28:22Logic and meaning
- 29:28Hilbert, Gödel, and computation
- 30:55Church's lambda calculus
- 32:46Turing's universal machine
related talks
44mTuring's Toy - The story of a mathematical idea that changed the world
50mTuring's Toy - The story of a mathematical idea that changed the world
51mA history of computer programming
31mThe Shoulders of Giants or Uncovering the Foundational Ideas of Lisp
32mA History of Computing, from the Loom to Babbage's Machine
43mThe Thrilling Adventures of Lovelace, Babbage and the Analytical Engine
34mLogic in Computer Science, Engineering and Industry
50mImpossible Programs