Learning logic at the same time as Haskell. Tricky...

2011-04-02T17:18:57.491-07:00

Learning logic at the same time as Haskell. Tricky!

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.

Then start learning Haskell. There are a couple of good books now.

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.

These posts on provability logic have basically been the next step.

(But note: the tableau I describe in these posts are not exactly 'analytic', but that won't mean anything at this stage.)

Can you recommend a good intro book on logic so th...

2011-04-02T17:06:16.472-07:00

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.

Comments on A Neighborhood of Infinity: Generalising Gödel's Theorem with Multiple Worlds....

Learning logic at the same time as Haskell. Tricky...

Can you recommend a good intro book on logic so th...