The Recursion Theorem from a Different Angle

X. Y. Newberry

This paper is about computability. I claim the likely existence of a program DoesHalt(Program, Input) such that DoesHalt( HaltsOnItself, AntiSelf ) halts with resounding 'NO'. Halt…