|
Authored by: Marc Mengel on Monday, June 11 2012 @ 05:16 PM EDT |
There are certain Theorems related to the Church-Turing thesis, which
demonstrate things like:
* The set of computations that can be performed by lambda calculus and the set
of computations that can be performed by Turing Machines are equivalent
* The set of computations that can be performed by memory/register computer and
those that can be performed by Turing Machines are equivalent.
* One tape, two-tape, and n-tape turing machines are all equivalent in what they
can compute.
These Turing-equivalence theorems are what most folks here are referring to.
All of your smart phones, desktop computers, etc. are all Turing machine
equivalents (assuming you have an endless supply of thumb drives/SD cards, to
provide sufficient storage).
While it's true no-one has proved the brain is actually
Turing-machine-equivalent, that is largely because folks don't really know how
the brain works with enough specificity to prove such a thing about it.
[ Reply to This | Parent | # ]
|
|
Authored by: Wol on Monday, June 11 2012 @ 07:58 PM EDT |
I'm well aware of the difference between a theor*y* and a theor*em*. But I'm a
scientist, not a mathematician.
I just thought that Church-Turing *was* a theorem - sorry if I got it wrong.
But
it's pretty definitely a theory, isn't it? Or has somebody succeeding in doing
a
scientific proof on it :-) ?
Cheers,
Wol[ Reply to This | Parent | # ]
|
|
|
|
|