Artykuł w czasopiśmie
Brak miniatury
Licencja
 

Theory of quantum computation and philosophy of mathematics (II)

Uproszczony widok
dc.abstract.enIn the article, the philosophical significance of quantum computation theory for philosophy of mathematics is discussed. In particular, I examine the notion of “quantum-assisted proof” (QAP); the discussion sheds light on the problem of the nature of mathematical proof; the potential empirical aspects of mathematics and the realism-antirealism debate (in the context of the indispensability argument). I present a quasi-empiricist account of QAP’s, and discuss the possible impact on the discussions centered around the Enhanced Indispensabity Argument (EIA).
dc.affiliationUniwersytet Warszawski
dc.contributor.authorWójtowicz, Krzysztof
dc.date.accessioned2024-01-26T09:51:53Z
dc.date.available2024-01-26T09:51:53Z
dc.date.copyright2018-04-18
dc.date.issued2019
dc.description.accesstimeAT_PUBLICATION
dc.description.financeNie dotyczy
dc.description.number1
dc.description.versionFINAL_PUBLISHED
dc.description.volume28
dc.identifier.doi10.12775/LLP.2018.006
dc.identifier.issn1425-3305
dc.identifier.urihttps://repozytorium.uw.edu.pl//handle/item/121784
dc.identifier.weblinkhttps://apcz.umk.pl/LLP/article/view/LLP.2018.006/14626
dc.languageeng
dc.pbn.affiliationphilosophy
dc.relation.ispartofLogic and Logical Philosophy
dc.relation.pages173-193
dc.rightsOther
dc.sciencecloudnosend
dc.subject.enquantum computation
dc.subject.enquantum-assisted proofs
dc.subject.enindispensability argument
dc.subject.enmathematical realism
dc.subject.enquasi-empiricismfs
dc.subject.enquasi-empiricism
dc.titleTheory of quantum computation and philosophy of mathematics (II)
dc.typeJournalArticle
dspace.entity.typePublication