A blag containing my current adventures in logic, haskell and agents.

Tuesday 18 May 2010

Post's Correspondence Problem

So I held a presentation for my course Models of Computation and I thought I'd share the slides with you.

The presentation is about the classic recursively unsolvable problem called Post's Correspondence Problem. I hope you find it interesting.


Slides MoC

Updated:
You can get the slides here.
I now completed the course and completed a paper related to this presentation. You can find that here.

Followers