[mattmight]

Thanks for your feedback.

I tweaked the abstract a bit to reflect your point.

I'll do a follow-on post on how to explicitly reduce the lambda calculus to Turing machines and vice versa.

Most of the hard work is done with this post.