Русские видео

Сейчас в тренде

Иностранные видео


Скачать с ютуб Gödel's Second Incompleteness Theorem, Proof Sketch в хорошем качестве

Gödel's Second Incompleteness Theorem, Proof Sketch 7 лет назад


Если кнопки скачивания не загрузились НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если возникают проблемы со скачиванием, пожалуйста напишите в поддержку по адресу внизу страницы.
Спасибо за использование сервиса savevideohd.ru



Gödel's Second Incompleteness Theorem, Proof Sketch

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!  

Comments