Abstract / Synopsis
This poem is an exercise on self-reference and diagonalisation in mathematics featuring Turing’s proof of the undecidability of the halting problem, Cantor’s cardinality argument, the Burali-Forti paradox, and Epimenides' liar paradox.
Joël A. Doat, "Self-Reference and Diagonalisation," Journal of Humanistic Mathematics, Volume 13 Issue 1 (January 2023), pages 297-298. DOI: 10.5642/jhummath.VKES4181. Available at: https://scholarship.claremont.edu/jhm/vol13/iss1/24
This work is licensed under a Creative Commons Attribution 4.0 License.