B. Jurková and L. H. Zámečník, “Von Neumann, Turing, and Gödel: On Mind and Machines”, Theory of Science, vol. 45, no. 1, pp. 3–36, Jun. 2023, doi: 10.46938/tv.2022.556.