Mathematical Explanation in Computer Science.

This note scouts a broad but underexplored class of explanations found in contemporary computer science. These explanations, which I call limitative explanations, explain why certain problems cannot be solved computationally. Limitative explanations are philosophically rich, but have not received th...

Descripción completa

Detalles Bibliográficos
Publicado en:Philosophy of Science Vol. 90; no. 5; pp. 1079 - 1089
Autor principal: Curtis-Trudel, André
Formato: Artículo
Publicado: Cambridge University Press Dec2023
Materias:
Acceso en línea:Ver este registro en EBSCOhost
fields @attributes:
  recordID: 1
pdfLink:
plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=174317265&site=ehost-live
header:
  @attributes:
    shortDbName: hlh
    uiTerm: 174317265
    longDbName: Humanities International Complete
    uiTag: AN
  controlInfo:
    bkinfo:
    jinfo:
      jid:
        00318248
        PSC
      jtl: Philosophy of Science
      issn: 00318248
      maglogo: N
    pubinfo:
      dt: Dec2023
      vid: 90
      iid: 5
      pid: 15979
      pub: Cambridge University Press
    artinfo:
      ui:
        174317265
        10.1017/psa.2023.26
      ppf: 1079
      ppct: 10
      formats:
        fmt:
          – @attributes:
              type: T
          – @attributes:
              type: P
              size: 166KB
      tig:
        atl: Mathematical Explanation in Computer Science.
      aug:
        au: Curtis-Trudel, André
        affil: Lingnan University, Hong Kong
      su:
        Computer science
        Explanation
      sug:
        subj:
          Computer science
          Explanation
      ab: This note scouts a broad but underexplored class of explanations found in contemporary computer science. These explanations, which I call limitative explanations, explain why certain problems cannot be solved computationally. Limitative explanations are philosophically rich, but have not received the attention they deserve. The primary goals of this note are to isolate limitative explanations and provide a preliminary account of what makes them explanatory. On the account I favor, limitative explanations are a kind of non-causal mathematical explanation which depend on highly idealized models of computation.
      pubtype: Academic Journal
      doctype: Article
      src: R
    language: English
    refInfo:
    copyright:
      @attributes:
        flag: Y
      custom: Copyright of Philosophy of Science is the property of Cambridge University Press 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: Philosophy of Science
      holder: Cambridge University Press
      dt:
        @attributes:
          year: 2023
    holdings:
      @attributes:
        islocal: N