Solution (source code)

= Solution

The <Rice theorem> states that every nontrivial index set of partial computable <functions> is not computable.