According to Wikipedia, the Church-Turing thesis states that a function on the natural numbers is computable by a human being ignoring resource limitations if and only if it is computable by a Turing machine.If we made a complete simulation of the human brain, that would imply that a Turing machine can do everything that a human brain can do. Wouldn't that prove the thesis?
Would creating a complete computer simulation of the human brain prove the Church-Turing thesis?
computability;simulation;church turing thesis
How would you prove that the machine is faithfully simulating a brain? How would you prove that it doesn't matter if you simulate my brain or your brain or somebody else's brain?Church–Turing isn't something that can be proven. It's essentially just the statement that Turing machines correspond to the intuitive notion of algorithm and that just isn't a statement of mathematics. The Turing machine is the definition of computability; Church–Turing is essentially the claim that we picked the right definition, in the sense that choosing any of the reasonable alternative definitions would give exactly the same notion of computability.