Hacker News new | past | comments | ask | show | jobs | submit login

This is remarkably well done. I'm reading Hofstadter's Godel, Escher, Bach and found this at the perfect time. Thanks for the write up!



Man, I just searched about that book, and it is like there is a world I don't know anything about. Would you mind sharing the names of your favorite books?


I assume you might be looking for books of a similar (technical) flavour, of which I don't have too many to recommend, I'm afraid. However, here's some (across different genres) that are in my memory at this moment:

Finance/statistics : The Black Swan by Nicholas Nassim Taleb The Drunkards Walk by Leonard Mlodinow

Math/science history : Euclid's Window by Leonard Mlodinow A Short History of Nearly Everything by Bill Bryson

Physics: Newton's Principia for the Common Reader by S. Chandrasekhar

Lit: The Brothers Karamazov by Fyodor Dostoevsky House of Leaves by Mark Z. Danielewski East of Eden by John Steinbeck

Philosophy: Zen Mind, Beginner's Mind by Shunryu Suzuki Any of the upanishads but probably Kena Upanishad, Isha Upanishad, or Prashna Upanishad at first (selected for (relative) ease in readership by yours truly) Zen and the Art of Motorcycle Maintenance by Robert M. Pirsig (for a gentle introduction into Eastern thought)

I'm missing countless others but this is what I have right now. Thanks for the prompt and happy reading! :)


EGB is one of my favourite books ever, but I think it doesn't explain Gödel's theorem as simple as it could. Of course, there are just so many wonderful things in EGB that this is not a fatal flaw by any means.

There is a fantastic book called "The Universal Computer: The Road from Leibniz to Turing" by Martin D. Davis that makes a very good job of explaining the context of Gödel's theorem, the theorem itself and the relation with computing in an accesible way. I'd recommend it to anyone interested either in computers or in Gödel's theorem.


Yup. Also recommend to those interested in existential philosophy and artificial intelligence as well. It really is a terrific book!


I like the way Roger Penrose the Oxford Physicist discusses Gödel in the LexPodcast on Artificial Intelligence : https://pca.st/episode/1e63c227-af66-4d3d-ad23-8187c9e1ca74?... (19:20)

There is also a more approachable overview on the In Our Time BBC podcast : https://pca.st/episode/a9d582c0-ec2a-0132-1126-059c869cc4eb


Gödel’s Proof by Nagel and Newman is quite good. ISBN 0814758371


See also I Am A Strange Loop by Douglas Hofstadter, and The First and Last Freedom by Jiddu Krishnamurti.


Thank you :)


Cheers! :)




Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: