For questions related to the mathematical model of computation introduced by Alan Turing known as "Turing machine" in the context of artificial intelligence.
Questions tagged [turing-machine]
2 questions
19
votes
2 answers
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
- 2,493
- 1
- 24
- 31
5
votes
2 answers
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 Church-Turing thesis), using Gödel's incompleteness…
wythagoras
- 1,511
- 12
- 27