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 |
| Sumario: | 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). |
|---|