is this really computable?
thinking about it again, I'm not so sure. consider the encoding where 0 encodes
. then the program
 halts if and only if it halts, and as far as I can see we have no other information about whether it halts or not. I'm not sure how to interpret that, unless it means that the language is underspecified and there are two possible haltingfucks - a total one where
 halts and an uncomputable one where it doesn't. Silver (talk) 12:40, 6 August 2021 (UTC)