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...

Full description

Bibliographic Details

Published in:	Logic & Logical Philosophy Vol. 30; no. 1; pp. 61 - 79
Main Author:	Ketland, Jeffrey
Format:	Article
Published:	Logic & Logical Philosophy Mar2021
Subjects:	Applied mathematics Explanation
Online Access:	View this record in EBSCOhost