When Turing came up with the Turing machine, how did he justify that it is indeed the essence of computation? Did he know for sure, that you can't build a more powerful computer in real life?