4 ms·
The halting problem itself is not computable, that doesn’t mean the proof that it’s not computable isn’t itself computable.
by srcreigh 4y ago
The halting problem itself is not computable, that doesn’t mean the proof that it’s not computable isn’t itself computable.