Ketland, Jeffrey (2020) Computation and Indispensability. Logic and Logical Philosophy, 30.

Preview

Text Ketland_Comp_Ind_2020.pdf Download (240kB) | Preview

Abstract

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.

---

Export/Citation:

EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL

Social Networking:

Share |

---

Item Type:	Published Article or Volume
Creators:	Creators Email ORCID Ketland, Jeffrey jeffreyketland@gmail.com 0000-0002-5128-4387
Keywords:	applied mathematics; computation; indispensability; mathematical explanation
Subjects:	Specific Sciences > Mathematics > Applicability Specific Sciences > Mathematics > Explanation Specific Sciences > Mathematics > Logic Specific Sciences > Computer Science Specific Sciences > Mathematics General Issues > Structure of Theories
Depositing User:	Dr Jeffrey Ketland
Date Deposited:	29 Nov 2020 18:15
Last Modified:	29 Nov 2020 18:15
Item ID:	18460
Journal or Publication Title:	Logic and Logical Philosophy
Official URL:	https://apcz.umk.pl/czasopisma/index.php/LLP/artic...
DOI or Unique Handle:	10.12775/LLP.2020.011
Subjects:	Specific Sciences > Mathematics > Applicability Specific Sciences > Mathematics > Explanation Specific Sciences > Mathematics > Logic Specific Sciences > Computer Science Specific Sciences > Mathematics General Issues > Structure of Theories
Date:	2020
Volume:	30
URI:	https://philsci-archive.pitt.edu/id/eprint/18460

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Altmetric.com

Actions (login required)

View Item