References#
Douglas Adams. The Restaurant at the End of the Universe. Pan Books, 1980.
George Boole. The Mathematical Analysis of Logic. Cambridge, 1847.
Andrew Hodges. Alan Turing: The Enigma (The Centenary ed.). Princeton University Press, 2012.
Robert Kaplan. What is the origin of zero? how did we indicate nothingness before zero? Scientific American, 01 2007. URL: https://www.scientificamerican.com/article/what-is-the-origin-of-zer/.
A. M. Turing. On computable numbers, with an application to the entscheidungsproblem. Proceedings of the London Mathematical Society, s2-42(1):230–265, 1937. URL: https://londmathsoc.onlinelibrary.wiley.com/doi/abs/10.1112/plms/s2-42.1.230, arXiv:https://londmathsoc.onlinelibrary.wiley.com/doi/pdf/10.1112/plms/s2-42.1.230, doi:https://doi.org/10.1112/plms/s2-42.1.230.
A. M. Turing. On Computable Numbers, with an Application to the Entscheidungs problem. Proceedings of the London Mathematical Society, s2-42(1):230–265, 01 1937. URL: https://doi.org/10.1112/plms/s2-42.1.230, arXiv:https://academic.oup.com/plms/article-pdf/s2-42/1/230/4317544/s2-42-1-230.pdf, doi:10.1112/plms/s2-42.1.230.
John Clements. Rsound: a sound engine for racket. 2020. [Online; accessed 24-April-2021]. URL: https://docs.racket-lang.org/rsound/index.html.
Weisstein, Eric W . Peano's axioms. from mathworld–a wolfram web resource. 2021. [Online; accessed 8-May-2021]. URL: https://mathworld.wolfram.com/PeanosAxioms.html.
Wikipedia contributors. Car and cdr — Wikipedia, the free encyclopedia. 2021. [Online; accessed 14-April-2021]. URL: https://en.wikipedia.org/w/index.php?title=CAR_and_CDR&oldid=1011675294.
Wikipedia contributors. Functional programming — Wikipedia, the free encyclopedia. 2021. [Online; accessed 12-April-2021]. URL: https://en.wikipedia.org/w/index.php?title=Functional_programming&oldid=1017397034.
Wikipedia contributors. Giuseppe peano — Wikipedia, the free encyclopedia. 2021. [Online; accessed 8-May-2021]. URL: https://en.wikipedia.org/w/index.php?title=Giuseppe_Peano&oldid=1020379984.
Wikipedia contributors. Lambda calculus — Wikipedia, the free encyclopedia. 2021. [Online; accessed 12-April-2021]. URL: https://en.wikipedia.org/w/index.php?title=Lambda_calculus&oldid=1015197627.