Also Chaitin would like a few words.
The Limits of Mathematics: A Course on Information Theory and Limits of Formal Reasoning - Chaitin, Gregory
https://ia801804.us.archive.org/35/items/A-Z_Library_G-K_Jos... (PDF)
alt Hacker News
The Limits of Mathematics: A Course on Information Theory and Limits of Formal Reasoning - Chaitin, Gregory
https://ia801804.us.archive.org/35/items/A-Z_Library_G-K_Jos... (PDF)