Theory of quantum computation and philosophy of mathematics. II

DOI10.12775/LLP.2018.006MaRDI QIDQ5215501zbMATH OpenWikidataFDO

Authors Krzysztof Wójtowicz

Publication date 11 February 2020

Published in Logic and Logical Philosophy (Search for Journal in Brave)

zbMATH Keywords

quantum computationindispensability argumentmathematical realismquasi-empiricismquantum-assisted proofs

Mathematics Subject Classification ID

Quantum algorithms and complexity in the theory of computing (68Q12) Quantum computation (81P68) Philosophy of mathematics (00A30) General topics in the theory of computing (68Q01)

Recommendations

• Theory of quantum computation and philosophy of mathematics. I
• scientific article; zbMATH DE number 733568
• The significance of relativistic computation for the philosophy of mathematics
• Quantum principles and mathematical computability
• scientific article; zbMATH DE number 1909831

Cites work

• scientific article; zbMATH DE number 1579275 (Why is no real title available?)
• scientific article; zbMATH DE number 3710115 (Why is no real title available?)
• scientific article; zbMATH DE number 50686 (Why is no real title available?)
• scientific article; zbMATH DE number 1250161 (Why is no real title available?)
• scientific article; zbMATH DE number 2057411 (Why is no real title available?)
• scientific article; zbMATH DE number 194992 (Why is no real title available?)
• scientific article; zbMATH DE number 3078474 (Why is no real title available?)
• A proof of the Kepler conjecture
• Abstract Expressionism and the Communication Problem
• Cannonballs and honeycombs.
• Every planar map is four colorable. I: Discharging
• Every planar map is four colorable. II: Reducibility
• Experimental mathematics
• General relativistic hypercomputing and foundation of mathematics
• Indexing and mathematical explanation
• Indispensability and Explanation
• Mathematical Explanation in Science
• Optimisation and mathematical explanation: doing the Lévy walk
• Quantum speedup of Monte Carlo methods
• Relativistic computers and the Turing barrier
• Skepticism of quantum computing
• Strengths and Weaknesses of Quantum Computing
• The Explanatory Power of Phase Spaces
• The Philosophical Implications of the Four-Color Problem
• Theory of quantum computation and philosophy of mathematics. I
• What Makes a Scientific Explanation Distinctively Mathematical?
• Why Do We Prove Theorems?

Cited in

(5)

• Proof as a path of light
• Are there category-theoretical explanations of physical phenomena?
• The significance of relativistic computation for the philosophy of mathematics
• Quantum Mathematics II
• Theory of quantum computation and philosophy of mathematics. I

Describes a project that uses

Uses Software

• kepler98

This page was built for publication: Theory of quantum computation and philosophy of mathematics. II

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5215501)