Surprised GEB isn't in there

coolsunglasses · on April 6, 2014

Many didn't like GEB and found it a bit vacuous and longer than the material merited.

hhm · on April 6, 2014

That's me. I can understand why people like it, but I found more rigorous materials on the same subject to be a lot more interesting.

kikibobo69 · on April 6, 2014

Care to recommend some alternatives?

coolsunglasses · on April 6, 2014

http://learnyouahaskell.com/

https://github.com/NICTA/course/

http://www.cis.upenn.edu/~bcpierce/tapl/

http://www.haskellforall.com/2012/06/you-could-have-invented...

http://www.amazon.com/How-Prove-Structured-Daniel-Velleman/d...

delian66 · on April 7, 2014

I 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 · on April 7, 2014

Strange loops come up all the time in Haskell.

Cf. loeb

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 · on April 7, 2014

I liked _Godel's Theorem Simplified_

http://www.amazon.com/Godels-Theorem-Simplified-Harry-Gensle...

xrt · on April 6, 2014

LISP 1.5 manual (MITPress)