Incompleteness Theorems

ConceptMentioned in 1 video

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

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.