@article{Ketland_2020, title={Computation and Indispensability}, volume={30}, url={https://apcz.umk.pl/LLP/article/view/LLP.2020.011}, DOI={10.12775/LLP.2020.011}, abstractNote={<p>This article provides a computational example of a mathematical explanation within science, concerning computational equivalence of programs. In addition, it outlines the logical structure of the reasoning involved in explanations in applied mathematics. It concludes with a challenge that the nominalist provide a nominalistic explanation for the computational equivalence of certain programs.</p>}, number={1}, journal={Logic and Logical Philosophy}, author={Ketland, Jeffrey}, year={2020}, month={Jun.}, pages={61–78} }