1. Gandy, R.: The confluence of ideas in 1936. In: The universal turing machine: A half-century survey, pp. 55–111. Oxford Science Publications, Oxford University Press, New York (1988)
2. Kripke, S.: The church-turing “Thesis” as a special corollary of gödel’s completeness theorem. In: Copeland, B.J., Posy, C.J., Shagrir, O. (eds.) Computability: Gödel, Church, and Beyond. MIT Press, Cambridge (2013)
3. Sieg, W.: Hilbert’s Programs and Beyond. Oxford University Press, Oxford (2013)
4. Kennedy, J.: Turing, Gödel and the “Bright Abyss”. In: Philosophical Explorations of the Legacy of Alan Turing, vol. 324 of Boston Studies in Philosophy (Springer)
5. Gödel, K.: Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. Monatsh. Math. Phys. 38, 173–198 (1931)