First thoughts on "Gödel, Escher, Bach" and Lean
Currently I’m reading the classic "Gödel, Escher, Bach" (GEB) by Douglas R. Hofstadter, years ago recommended to me by my stepfather after he read it when he was studying computer science besides working as a math and physics teacher (in retrospect, him doing so has impressed and inspired me, until today). Since then, I had GEB on my bookshelf, but never read it because I always thought: “This is not the right time, because…” “I’ve got too many other things on my mind”, “there’s so much other stuff to do”, and so on… (To be honest, I may also have gotten a little bit intimidated by the intellectual level of the book as he described it, but as it turned out, I actually find it quite approachable.) ...