|
|
|
|
|
|
by ufo
5310 days ago
|
|
|
The Church-Turing thesis is not a proof - it is a definition of computability. (The thesis is that it is the reasonable definition. For all I know someone could come up with a new kind of computation that is stringer then turing machines and then we would have to redefine our notions.) |
|
|