This post was suggested by the book Turing's Cathedral  and by
comments 29 and 31 on Scott Aaronson's Dec. 16 post about
"The Imitation Game."

See Church-Turing thesis at Wikipedia and Church Logic here.