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.
You can get the slides here.
I now completed the course and completed a paper related to this presentation. You can find that here.
A blag containing my current adventures in logic, haskell and agents.