Re: Exploiting limitations of Turing machines in Turing tests?



In article <fdqlgq$itk$1@xxxxxxxxxxxxxx>,
Antti Valmari <ava@.c.s...t.u.t...f.i.invalid> wrote:
[snip]

There is strong evidence to the claim that anything that can be computed
with a physically realistic computer, can be computed with a Turing
machine.

For one thing, many seemingly different computational models have been
suggested. Some of them have proven strictly weaker than Turing
machines, and most of them have the same computational power as Turing
machines. None of them is stronger than Turing machines, except those
which contain a physically unrealistic element to start with

Not entirely true. One thing that the physical universe seems to have
that TMs do not is true randomness. But it's doubtful that that's a
significant limitation, since pseudo-randomness can come arbitrarily
close.


--
---------------------------
| BBB b \ Barbara at LivingHistory stop co stop uk
| B B aa rrr b |
| BBB a a r bbb | Quidquid latine dictum sit,
| B B a a r b b | altum viditur.
| BBB aa a r bbb |
-----------------------------
.



Relevant Pages

  • Re: Turing Machines and Physical Computation & TM S REVISIONISTS
    ... >> Postivism implies some sort of physicalism, I think, or at least it ... I do not condone those idealist re-readings of Turing ... > THAT!), THEN, it is absurd to talk of ANY MACHINES WITH INFINITE SIZE. ...
    (comp.theory)
  • Re: Turing Machines and Physical Computation & TM S REVISIONISTS
    ... >> Postivism implies some sort of physicalism, I think, or at least it ... I do not condone those idealist re-readings of Turing ... > THAT!), THEN, it is absurd to talk of ANY MACHINES WITH INFINITE SIZE. ...
    (sci.math)
  • Re: Language chatter
    ... our "practical computing machines" are Von Neumann machines rather than ... And Von Neumann machines derive from a model of a human ... I don't think the actual unification of Church and Turing models ... I'll certainly defer to the memory of a guy who was there;-). ...
    (comp.lang.ruby)
  • Re: Turing machines
    ... Turing machines are executing a program too, but it's a very special program. ... means that no computational device, no matter how complex or advanced, can do ... Except that many folks believe humans ...
    (comp.ai.philosophy)
  • Re: Disproof of the Halting Problems Conclusion
    ... > is specifically limited to Turing Machines. ... > states that the solution set of the Halting Problem is limited to Turing ... are equivalent in computing power. ...
    (sci.logic)