Talk:Church-Turing thesis: History