On: Does mathematics need a philosophy?

[srcreigh]

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