Fun fact: Carl actually implemented the Turing machine construction on slide 28 as a proof of concept and used it to do simple arithmetic (very very slowly) -- you can read the details towards the end of the talk, with screenshots.