Ketland, J. “Computation and Indispensability”. Logic and Logical Philosophy, vol. 30, no. 1, June 2020, pp. 61-78, doi:10.12775/LLP.2020.011.