I'd say yes insofar, that it's clearly a case of Rice's theorem. Whether such a backdoor is contained in a program is a non-trivial property and therefore gener

I'd say yes insofar, that it's clearly a case of Rice's theorem. Whether such a backdoor is contained in a program is a non-trivial property and therefore generally undecidable. All the other theorems (Gödel, Church, Tarski, Turing) are basically the same if you squint your eyes hard enough.