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
Filter by
Sorted by
Tagged with
4
votes
1answer
175 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 ...