Send the following on WhatsApp
Continue to ChatSelf reference in computability theory and the universal algorithm, Ouroboros: Formal Criteria of Self-Reference in Mathematics and Philosophy, Bonn, February 2018 https://jdh.hamkins.org/self-reference-in-the-universal-algorithm-ouroboros-bonn-feb-2018/