Questions tagged [turing-machine]

For questions related to the mathematical model of computation introduced by Alan Turing known as "Turing machine" in the context of artificial intelligence.

Filter by
Sorted by
Tagged with
19 votes
2 answers
3k views

What limits, if any, does the halting problem put on Artificial Intelligence?

Given the proven halting problem for Turing machines, can we infer limits on the ability of strong Artificial Intelligence?
WilliamKF's user avatar
  • 2,493
5 votes
2 answers
329 views

How does Lucas's argument work?

In Minds, Machines and Gödel (1959), J. R. Lucas shows that any human mathematician can not be represented by an algorithmic automaton (a Turing Machine, but any computer is equivalent to it by the ...
wythagoras's user avatar
  • 1,511