Rice's Theorem is interesting. It states that only trivial properties of programs are decidable.
algbr
- 1
- 1
- 1
Rice's Theorem is interesting. It states that only trivial properties of programs are decidable.