G

Gödel

Person

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

Mentioned in 1 video

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

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.