Post #1816035

OH: consider the language of machines which do not accept themselves. and to be clear, this is not an example in psychology, but in computability theory