References

References#

[Ada80]

Douglas Adams. The Restaurant at the End of the Universe. Pan Books, 1980.

[Boo47]

George Boole. The Mathematical Analysis of Logic. Cambridge, 1847.

[Hod12]

Andrew Hodges. Alan Turing: The Enigma (The Centenary ed.). Princeton University Press, 2012.

[Kap07]

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/.

[Tur37a]

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.

[Tur37b]

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.

[JohnClements20]

John Clements. Rsound: a sound engine for racket. 2020. [Online; accessed 24-April-2021]. URL: https://docs.racket-lang.org/rsound/index.html.

[WeissteinEW21]

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.

[Wikipediacontributors21a]

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.

[Wikipediacontributors21b]

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.

[Wikipediacontributors21c]

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.

[Wikipediacontributors21d]

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.