Gödel

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

Lex Fridman

Logician known for incompleteness theorems; discussed in context of Hilbert's program.