Hacker News Reader

Godel Escher Bach is a great book (it's entertaining and informative) for learning about formal systems. There are general rules (rules of inference) for their construction from axioms that will keep you from going wrong.

View on HN

I've read it, but clearly didn't digest enough (a common problem I'm told :P). I will take another look, thanks!

If you didn't already know about it, there's a Reddit group that's doing a weekly readthrough and discussion. They're on chapter 13 currently.

http://reddit.com/r/GEB

Oh man, wish I had seen this sooner. It's been a quite a few years and I'd love to give it another read with a group.

Awesome, thanks!

My intelligence fails me whenever I try!

Reply on news.ycombinator.com