Post’s Correspondence Problem Post’s Correspondence Problem Bas van Gijzel Motivation Introduction Proof of recursive unsolvability of PCP The classic proof (Post) A…
1. People have different strategies to help them remember things. Perhaps you write lists and stick them on thefridge, or keep notes on your smartphone. Maybe youleave a…