4 ms·
This is a good lecture from CMUs 15-251 class on his two incompleteness theorems https://youtu.be/bmECBK_TOQA https://youtu.be/bmECBK_TOQA
by hackermailman 9y ago
This is a good lecture from CMUs 15-251 class on his two incompleteness theorems https://youtu.be/bmECBK_TOQA https://youtu.be/bmECBK_TOQA
- deleted 9y ago[deleted]