Is the Brain a Digital Computer? 论文

摘要

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