It won’t have source code per se, but one can posit the existence of a halting oracle without generating an inconsistency.
Current theme: default
Less Wrong (text)
Less Wrong (link)
It won’t have source code per se, but one can posit the existence of a halting oracle without generating an inconsistency.