PhilSci Archive

Computation and Indispensability

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

[img]
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:
CreatorsEmailORCID
Ketland, Jeffreyjeffreyketland@gmail.com0000-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: https://doi.org/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-dev.library.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 View Item