Gödel's Second Incompleteness Theorem, Proof Sketch

Name: Gödel's Second Incompleteness Theorem, Proof Sketch
Uploaded: 2025-01-18T04:43:03.909Z
Duration: 7 min 4 s
Channel: Legion of History
Description: In order for math to prove its own correctness, it would have to be incorrect. This result is Gödel’s second incompleteness theorem, and in this video, we provide a sketch of the proof.

Legion of History

Jan 18, 2025

In order for math to prove its own correctness, it would have to be incorrect. This result is Gödel’s second incompleteness theorem, and in this video, we provide a sketch of the proof.