For questions about the interpretation, extension and validity of the Church-Turing thesis, the hypothesis that states that a function is effectively calculable by a human if and only if the function is computable (on a Turing machine)
Questions tagged [church-turing-thesis]
79 questions
1
vote
1 answer
Why Turing wasn't wrong?
Computer science is a science and as a science each thesis can be refutable. So, why there is no "major" counter-thesis?
After all, Einstein was a well known "genius" and has lived a long life and he has got many opponents. Why isn't it the same…
GlinesMome
- 155
- 4
1
vote
1 answer
Empirical evidence for the Church-Turing thesis in other disciplines
I am aware of the fact that, since the concept of "effectively calculable function" is not rigorous or formally definable, the Church-Turing thesis may not be proven by symbolic or formal reasoning alone.
My impression, though, is that under the…
olinarr
- 394
- 1
- 13