tag:blogger.com,1999:blog-11295132.post8959524458695651456..comments2014-04-16T10:57:46.206-07:00Comments on A Neighborhood of Infinity: Generalising GĂ¶del's Theorem with Multiple Worlds. Part IV.Dan Piponihttps://plus.google.com/107913314994758123748noreply@blogger.comBlogger2125tag:blogger.com,1999:blog-11295132.post-1965405092716073732011-04-02T17:18:57.491-07:002011-04-02T17:18:57.491-07:00Learning logic at the same time as Haskell. Tricky...Learning logic at the same time as Haskell. Tricky!<br /><br />Actually, I have the perfect 'course' for you. For the logic, read the first two chapters of the Smullyan book I cite above. Everything I say is a generalisation of what's in that book to provability logic.<br /><br />Then start learning Haskell. There are a couple of good books now.<br /><br />And then you can implement analytic tableau in Haskell based on chapter 2 of Smullyan's book. That's exactly what I did when I was learning Haskell. If you grasp basic Haskell, and grasp those two chapters, this shouldn't be hard. In fact, it's fun.<br /><br />These posts on provability logic have basically been the next step. <br /><br />(But note: the tableau I describe in these posts are not exactly 'analytic', but that won't mean anything at this stage.)sigfpehttp://www.blogger.com/profile/08096190433222340957noreply@blogger.comtag:blogger.com,1999:blog-11295132.post-80594583749146675132011-04-02T17:06:16.472-07:002011-04-02T17:06:16.472-07:00Can you recommend a good intro book on logic so th...Can you recommend a good intro book on logic so that I might understand what any of this means? I have done pretty well overall as a self-taught programmer but this is definitely an area where I am deficient. Haskell has been on my to-learn list for quite a while and I am thinking maybe I should get some logic under my belt before I seriously tackle it.Anonymousnoreply@blogger.com