Cover Image
QR Code

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

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
fields @attributes:
  recordID: 1
pdfLink:
plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=148742414&site=ehost-live
header:
  @attributes:
    shortDbName: hlh
    uiTerm: 148742414
    longDbName: Humanities International Complete
    uiTag: AN
  controlInfo:
    bkinfo:
    jinfo:
      jid:
        14253305
        DS9
      jtl: Logic & Logical Philosophy
      issn: 14253305
      maglogo: N
    pubinfo:
      dt: Mar2021
      vid: 30
      iid: 1
      pid: 42904
      pub: Logic & Logical Philosophy
    artinfo:
      ui:
        148742414
        10.12775/LLP.2020.011
      ppf: 61
      ppct: 18
      formats:
        fmt:
          @attributes:
            type: P
            size: 1MB
      tig:
        atl: Computation and Indispensablity.
      aug:
        au: Ketland, Jeffrey
        affil: Institute of Philosophy, University of Warsaw, Poland
      su:
        Applied mathematics
        Explanation
      sug:
        subj:
          Applied mathematics
          Explanation
      keyword:
        applicability of mathematics
        computation
        indispensability
      ab: 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.
      pubtype: Academic Journal
      doctype: Article
      src: R
    language: English
    refInfo:
    copyright:
      @attributes:
        flag: Y
      custom: Copyright of Logic & Logical Philosophy is the property of Logic & Logical Philosophy and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use.
      item: Logic & Logical Philosophy
      holder: Logic & Logical Philosophy
      dt:
        @attributes:
          year: 2021
    holdings:
      @attributes:
        islocal: N