11.2 Rice's theorem

Question 1

In english, what does Rice’s theorem mean

Answer 1

We can’t tell what a program does (ie relating input to output) by looking at its source code (except for trivial cases).

Question 2

What is Rice’s theorem (precicely)

Answer 2

Question 3

What form does the reflected set (the target predicate) have to be in for rice’s theorem to apply

Answer 3

Question 4

What 2 things must you show to use rice’s theorem

Answer 4

1. Is in correct form
2. Is not trivial