Artykuł w czasopiśmie
Brak miniatury
Licencja
 

Computation and Indispensability

Uproszczony widok
cris.lastimport.scopus2024-02-12T20:14:45Z
dc.abstract.enThis 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.
dc.affiliationUniwersytet Warszawski
dc.contributor.authorKetland, Jeffrey
dc.date.accessioned2024-01-24T19:52:46Z
dc.date.available2024-01-24T19:52:46Z
dc.date.copyright2021-06-28
dc.date.issued2021
dc.description.accesstimeBEFORE_PUBLICATION
dc.description.financePublikacja bezkosztowa
dc.description.number1
dc.description.versionFINAL_PUBLISHED
dc.description.volume30
dc.identifier.doi10.12775/LLP.2020.011
dc.identifier.issn1425-3305
dc.identifier.urihttps://repozytorium.uw.edu.pl//handle/item/103482
dc.identifier.weblinkhttps://apcz.umk.pl/czasopisma/index.php/LLP/article/viewFile/21302/25952
dc.languageeng
dc.pbn.affiliationphilosophy
dc.relation.ispartofLogic and Logical Philosophy
dc.relation.pages61-78
dc.rightsOther
dc.sciencecloudnosend
dc.subject.enapplicability of mathematics
dc.subject.encomputation
dc.subject.enindispensability
dc.titleComputation and Indispensability
dc.typeJournalArticle
dspace.entity.typePublication