News for hackers. Stuff that matters.
Re:What Gödel Discovered by eyeundersand on Monday November 16, 2020 @03:52PM (#25116855)
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!
Re:What Gödel Discovered by marwan-nwh on Monday November 16, 2020 @04:07PM (#25117007)
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?
Re:What Gödel Discovered by eyeundersand on Tuesday November 17, 2020 @08:20AM (#25123397)
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! :)

Re:What Gödel Discovered by madia_leva on Monday November 16, 2020 @06:03PM (#25118236)
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.

Re:What Gödel Discovered by eyeundersand on Tuesday November 17, 2020 @08:22AM (#25123409)
Yup. Also recommend to those interested in existential philosophy and artificial intelligence as well. It really is a terrific book!
Re:What Gödel Discovered by jimmySixDOF on Tuesday November 17, 2020 @01:33AM (#25120856)
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

Re:What Gödel Discovered by layer8 on Monday November 16, 2020 @06:33PM (#25118482)
Gödel’s Proof by Nagel and Newman is quite good. ISBN 0814758371
Re:What Gödel Discovered by hypertexthero on Monday November 16, 2020 @04:25PM (#25117158)
See also I Am A Strange Loop by Douglas Hofstadter, and The First and Last Freedom by Jiddu Krishnamurti.
Re:What Gödel Discovered by stopachka on Monday November 16, 2020 @03:53PM (#25116874)
Thank you :)
Re:What Gödel Discovered by stopachka on Monday November 16, 2020 @06:40PM (#25118555)
Cheers! :)