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.