David Hilbert
Leading formalist who sought rigorous foundations for mathematics.
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.