The continuing challenge of Poincare, Hilbert, and Gödel
Lectures on philosophy of mathematicians Lecture 2: The continuing challenge of Poincare, Hilbert, and Gödel Date and Time:2024-07-05,9:30-11:30 Beijing time (UTC+8) Speaker: Prof. Colin McLarty (Case Western Reserve University, USA)

▶︎
What is concrete incompleteness?

▶︎
Why three ways of doing mathematics became rival philosophies

▶︎
At 37 He Worked At Subway. At 58, He Solved An "Impossible" Problem

▶︎
Sean Carroll | The Passage of Time & the Meaning of Life

▶︎
I Was Right About AI

▶︎
the true reason C++ always wins

▶︎
William Dunham, A tribute to Euler

▶︎
Gil Strang's Final 18.06 Linear Algebra Lecture

▶︎
The Professor Who Taught People How To Think (1962)

▶︎
The most beautiful formula not enough people understand

▶︎
What are consistency proofs and what should they be

▶︎
Politics Chat, June 18, 2026

▶︎
Infinity, Paradoxes, Gödel Incompleteness & the Mathematical Multiverse | Lex Fridman Podcast #488

▶︎
How Divergence and Curl Were Discovered

▶︎
I Was An MIT Educated Neurosurgeon Now I'm Unemployed And Alone In The Mountains How Did I Get Here?

▶︎
Creator of C++: Bell Labs, Negative Overhead Abstraction, Mistakes | Bjarne Stroustrup

▶︎
Terry Tao, Ph.D. Small and Large Gaps Between the Primes

▶︎
3.5 Fable Conspiracies

▶︎
Richard Feynman: Quantum Mechanical View of Reality 1

▶︎
