Rice's theorem only applies in formal contexts so whoever thinks they can reduce conscious phenomenology into a formal context will face the problems of incompleteness & undecidability. That is why I said it is fundamentally irreducible & can not be explained in terms of extensional & reductive constructions like boolean arithmetic.

In other words, if you think the mind is simply computation then there is no way you can look at some code that purports to be the specification of a mind & determine whether it is going to instantiate conscious experience from its static/syntactic description.