I agree with the reply in that thread which points out that Rice's theorem is the real gem, of which the Halting Problem is just a particular specific instance.
Rice's Theorem is rather profound and relatively easy to understand - all that's really needed is a good grip on the mathematical interpretation of what a program is.
1 comment
[ 3.2 ms ] story [ 14.6 ms ] threadRice's Theorem is rather profound and relatively easy to understand - all that's really needed is a good grip on the mathematical interpretation of what a program is.