Skip to content
Hallway
0:00 / 0:00

#godel'ssecondincompletenesstheorem#mathematicallogic

Gödel's Second Incompleteness Theorem, Proof Sketch

Undefined Behavior

29K subscribers • 9 videos on Hallway

YouTube
  • Recommended by 1 person: 1 in engineering communities.
  • Presented by Cory Chang
  • Linked in the descriptionSlides on cs.cmu.edu

Intermediate. Assumes working knowledge.

31K views9 years ago1 recommendation

Computer scienceComputation and complexity

Cory Chang explains Gödel's second incompleteness theorem, showing why a consistent mathematical system cannot prove its own consistency.

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. Created by: Cory Chang Produced by: Vivian Liu Script Editor: Justin Chen, Brandon Chen, Zachary Greenberg Special thanks to Ryan O’Donnell, associate professor at Carnegie Mellon University (cs.cmu.edu/~odonnell/). Twitter: twitter.com/UBehavior — Extra Resources: Ryan O’Donnell’s slide deck: cs.cmu.edu/~aada/courses/15251s16/www/slides/15251-s16-lectu… Wikipedia entry: en.wikipedia.org/wiki/Gödel's_incompleteness_theorems Boolean algebra: en.wikipedia.org/wiki/Boolean_algebra Playlist to previous videos: youtube.com/playlist?list=PLlwsleWT767dwRXyAyL0-63ON6cCOXY8E

Why it's here

1 person recommends this

What people say. Recommended as a clear and accessible proof sketch of Gödel's second incompleteness theorem.

u/tauloverin r/compsci • Recommends

Gödel's Second Incompleteness Theorem, Proof Sketch (video)
52View on Reddit