Turing machine emulates a computer (a human that computes) with an infinite pencil, infinite sheet of paper and infinite eraser. Lambda calculus emulates a com

Turing machine emulates a computer (a human that computes) with an infinite pencil, infinite sheet of paper and infinite eraser. Lambda calculus emulates a computer (a human that computes) with an infinite pencil and infinite sheet of paper. This is taken, if I remember correctly, straight from the communication between Church and Turing. So, the logic is correct. Human can execute Turing machine and Turing machine (and lambda calculus) were invented to formalize the notion of human computers.