No.11364316 ViewReplyOriginalReport
As far as I know there is a theorem in computer science stating the impossibility of self-reference in a range of algorithms.
What is the name of this theorem?