The halting problem itself is not computable, that doesn’t mean the proof that i...

		srcreigh on Feb 16, 2023 \| parent \| context \| favorite \| on: Does mathematics need a philosophy? The halting problem itself is not computable, that doesn’t mean the proof that it’s not computable isn’t itself computable.