Alpha-conversion
conversion is also a kind of naming abstraction.
Godel Numbering
Think about variables in terms of special numbers. This is an insight from Godel[1]Cite error: Invalid <ref> tag; invalid names, e.g. too many, and later utilized to created Universal computation.
We don't need Turing Machine
In this lecture[2], Scott explicitly stated that:
"We don't need Turing Machine, I hope I can convince you of that."