It won’t have source code per se, but one can posit the existence of a halting oracle without generating an inconsistency.
It won’t have source code per se, but one can posit the existence of a halting oracle without generating an inconsistency.