Incompleteness Theorems

Concept

Gödel's theorems proving that any sufficiently complex logical system will contain true statements that cannot be proven within that system.

Mentioned in 1 video

Videos Mentioning Incompleteness Theorems

Ep. 258: Godel’s Deep Life Stack

Ep. 258: Godel’s Deep Life Stack

Cal Newport

Gödel's theorems proving that any sufficiently complex logical system will contain true statements that cannot be proven within that system.