Computation and Indispensablity.
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 nomina...
| Publicado en: | Logic & Logical Philosophy Vol. 30; no. 1; pp. 61 - 79 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Logic & Logical Philosophy
Mar2021
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| Sumario: | 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. |
|---|