Is the Brain a Digital Computer?
John Rogers Searle · Proceedings and Addresses of the American Philosophical Association · 1990
We begin with two results in mathematical logic, the Church-Turing thesis (sometimes called Church's thesis) and Turing's theorem.For our purposes, the Church-Turing thesis states that for any algorithm there is some Turing machine that can implement