5 ms·
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
by Rickasaurus 14y ago
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.
- haliax 14y agoI've read it, but clearly didn't digest enough (a common problem I'm told :P). I will take another look, thanks!
- JamesLeonis 14y agoIf 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 http://reddit.com/r/GEB
- Rickasaurus 14y agoOh 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.
- haliax 14y agoAwesome, thanks!
- nodemaker 14y agoMy intelligence fails me whenever I try!