David Hilbert
German mathematician (1862–1943)
Build a pod of every appearance and mention of David Hilbert.
7 videos discussing or featuring David Hilbert. Save them to your own pod, ask any question across them, and connect it to Claude or ChatGPT.
Common Themes
Videos Mentioning David Hilbert
Math's Fundamental Flaw
Veritasium
Leading formalist who sought rigorous foundations for mathematics.
Ep. 225: Should I Become A Thriller Writer? (w/ J.T. Ellison)
Cal Newport
A mathematician from the late 19th century who posed the 'Entscheidungsproblem', a mathematical logic problem that Alan Turing's work addressed.
Glenn Loury: Race, Racism, Identity Politics, and Cancel Culture | Lex Fridman Podcast #285
Lex Fridman
Mathematician whose project to develop a systematic logical framework for mathematical inquiry was shown unfeasible by Gödel's incompleteness theorems.
Joscha Bach: Artificial Consciousness and the Nature of Reality | Lex Fridman Podcast #101
Lex Fridman
Mathematician who recognized the contradictions in set theoretic experiments and the need for computation in mathematics.
Rodney Brooks: Robotics | Lex Fridman Podcast #217
Lex Fridman
Mathematician whose problems were being disproved by Turing and Church in their foundational work on computation.
Jitendra Malik: Computer Vision | Lex Fridman Podcast #110
Lex Fridman
Proposed 23 open problems in mathematics in 1900, which inspired the idea of 'Hilbert problems of computer vision.'
Ep. 258: Godel’s Deep Life Stack
Cal Newport
A German mathematician whose challenge to create a complete system of axioms Gödel's work addressed.