THEORY OF QUANTUM COMPUTATION AND PHILOSOPHY OF MATHEMATICS. PART II.
In 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 aspec...
| Publicado en: | Logic & Logical Philosophy Vol. 28; no. 1; pp. 173 - 194 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Logic & Logical Philosophy
Mar2019
|
| 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=135223022&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 135223022 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 14253305 DS9 jtl: Logic & Logical Philosophy issn: 14253305 maglogo: N pubinfo: dt: Mar2019 vid: 28 iid: 1 pid: 42904 pub: Logic & Logical Philosophy artinfo: ui: 135223022 10.12775/LLP.2018.005 ppf: 173 ppct: 21 formats: fmt: @attributes: type: P size: 1MB tig: atl: THEORY OF QUANTUM COMPUTATION AND PHILOSOPHY OF MATHEMATICS. PART II. aug: au: Wójtowicz, Krzysztof affil: Institute of Philosophy, Warsaw University, Poland su: Quantum computing Realism Mathematical proofs Quantum mechanics Computer simulation sug: subj: Quantum computing Realism Mathematical proofs Quantum mechanics Computer simulation keyword: indispensability argument mathematical realism quantum computation quantum-assisted proofs quasi-empiricism ab: In 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). 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: 2019 holdings: @attributes: islocal: N |
|---|