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.