Church-Turing thesis: History