Rice’s theorem applies if you replace “circuit” with “Turing machine”. The circuit version can be resolved with a finite brute force search.
Rice’s theorem applies if you replace “circuit” with “Turing machine”. The circuit version can be resolved with a finite brute force search.