Questions tagged [theory-of-computation]
For questions related to the theory of computation in the context of artificial intelligence.
1
question with no upvoted or accepted answers
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 ...