Jurková, Barbora, and Lukáš H. Zámečník. “Von Neumann, Turing, and Gödel: On Mind and Machines”. Teorie vědy Theory of Science, vol. 45, no. 1, June 2023, pp. 3-36, https://doi.org/10.46938/tv.2022.556.