Rice's theorem generalizes the theorem that the halting problem is unsolvable.
To θεώρημα Rice γενικεύει το θεώρημα που λέει ότι το πρόβλημα τερματισμού είναι άλυτο.