Gödel's Second Incompleteness Theorem

Concept

theorem that no formal system capable of basic arithmetic can prove its own consistency

Mentioned in 1 video

Videos Mentioning Gödel's Second Incompleteness Theorem

Stephen Wolfram: Fundamental Theory of Physics, Life, and the Universe | Lex Fridman Podcast #124

Stephen Wolfram: Fundamental Theory of Physics, Life, and the Universe | Lex Fridman Podcast #124

Lex Fridman

States that a consistent axiomatic system powerful enough to describe arithmetic, cannot prove its own consistency.