Gödel's Incompleteness Theorems

Concept

A set of theorems stating that any formal axiomatic system, if consistent, is incomplete; Penrose discusses their implications for computation and understanding.

Mentioned in 1 video

Videos Mentioning Gödel's Incompleteness Theorems

Roger Penrose: Physics of Consciousness and the Infinite Universe | Lex Fridman Podcast #85

Roger Penrose: Physics of Consciousness and the Infinite Universe | Lex Fridman Podcast #85

Lex Fridman

A set of theorems stating that any formal axiomatic system, if consistent, is incomplete; Penrose discusses their implications for computation and understanding.