Talk:Church-Turing thesis