From Esolang
Jump to navigation Jump to search

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)