Questions tagged [theory-of-computation]
For questions related to the theory of computation in the context of artificial intelligence.
4
questions
13
votes
3answers
1k views
What are some implications of Gödel's theorems on AI research?
Note: My experience with Gödel's theorem is quite limited: I have read Gödel Escher Bach; skimmed the 1st half of Introduction to Godel's Theorem (by Peter Smith); and some random stuff here and there ...
4
votes
3answers
160 views
Shouldn't Gödel's incompleteness theorems disprove the physical symbol system hypothesis?
According to the Wikipedia page of the physical symbol system hypothesis (PSSH), this hypothesis seems to be a vividly debated topic in philosophy of AI. But, since it's about formal systems, shouldn'...
4
votes
1answer
137 views
Does Rice's theorem prove safe AI is undecidable?
According to Wikipedia
In computability theory, Rice's theorem states that all non-trivial,
semantic properties of programs are undecidable. A semantic property
is one about the program's ...
2
votes
2answers
177 views
Would an artificial general intelligence have to be Turing complete?
Artificial general intelligence is the intelligence of a machine that could successfully perform any intellectual task that a human being can.
Would an artificial general intelligence have to be ...
