5 ms·
Care to recommend some alternatives?
by kikibobo69 12y ago
Care to recommend some alternatives?
- xrt 12y agoLISP 1.5 manual (MITPress)
- coolsunglasses 12y agohttp://learnyouahaskell.com/ http://learnyouahaskell.com/ https://github.com/NICTA/course/ https://github.com/NICTA/course/ http://www.cis.upenn.edu/~bcpierce/tapl/ http://www.cis.upenn.edu/~bcpierce/tapl/ http://www.haskellforall.com/2012/06/you-could-have-invented-free-monads.html http://www.haskellforall.com/2012/06/you-could-have-invented... http://www.amazon.com/How-Prove-Structured-Daniel-Velleman/dp/0521675995/ref=sr_1_5?s=books&ie=UTF8&qid=1396828090&sr=1-5&keywords=how+to+solve+it http://www.amazon.com/How-Prove-Structured-Daniel-Velleman/d...
- delian66 12y agoI do not understand ... please, can you elaborate what is the connection between GEB (which I presume is 'Gödel, Escher, Bach') and for example the "Learn you a Haskell" book ? They are both good books, but I do not think that books about programming languages are suitable alternatives to GEB.
- coolsunglasses 12y agoStrange loops come up all the time in Haskell. Cf. loeb http://www.haskell.org/haskellwiki/Blow_your_mind#Other http://www.haskell.org/haskellwiki/Blow_your_mind#Other Understanding type theory and set theory is a common side effect of learning Haskell and are critical in understanding Godel. Also there's never a bad time to learn Haskell.
- GregBuchholz 12y agoI liked _Godel's Theorem Simplified_ http://www.amazon.com/Godels-Theorem-Simplified-Harry-Gensler/dp/081913869X/ref=sr_1_1?ie=UTF8&qid=1396843296&sr=8-1&keywords=godels+theorem+simplified http://www.amazon.com/Godels-Theorem-Simplified-Harry-Gensle...