Interesting talk with nice reconstructions. I read the book by McCartney a few years ago; highly recommended. The side story about Turing and Church is not in the book, so the talk is also worthwhile from that perspecitve. Q&A is also worthwhile watching.