У нас вы можете посмотреть бесплатно Gödel's Second Incompleteness Theorem, Proof Sketch или скачать в максимальном доступном качестве, которое было загружено на ютуб. Для скачивания выберите вариант из формы ниже:
Если кнопки скачивания не
загрузились
НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если возникают проблемы со скачиванием, пожалуйста напишите в поддержку по адресу внизу
страницы.
Спасибо за использование сервиса savevideohd.ru
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 (http://www.cs.cmu.edu/~odonnell/). Twitter: / ubehavior — Extra Resources: Ryan O’Donnell’s slide deck: http://www.cs.cmu.edu/~aada/courses/1... Wikipedia entry: https://en.wikipedia.org/wiki/Gödel's... Boolean algebra: https://en.wikipedia.org/wiki/Boolean... Playlist to previous videos: • Infinity, and Beyond!