Kurt Gödel rocked the mathematical world with his incompleteness theorems. With the halting problems, these proofs are made easy!

Created by: Cory Chang
Produced by: Vivian Liu
Script Editor: Justin Chen

Special thanks to Ryan O’Donnell, associate professor at Carnegie Mellon University ([ Ссылка ]).

Twitter: [ Ссылка ]

—

Extra Resources:
Ryan O’Donnell’s slide deck: [ Ссылка ]
Wikipedia entry: [ Ссылка ]
Rules of deductive calculus: [ Ссылка ]
Proof that square root of 2 is irrational, in Metamath: [ Ссылка ]
Mizar system: [ Ссылка ]
Metamath: [ Ссылка ]
Playlist to previous videos: [ Ссылка ]

свернуть