Computers as a source of a posteriori knowledge in mathematics

DOI10.1080/02698595.2016.1265862MaRDI QIDQ5006632zbMATH OpenOpenAlexFDO

Authors Mikkel W. Johansen, Morten Misfeldt

Publication date 16 August 2021

Published in International Studies in the Philosophy of Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/02698595.2016.1265862

Mathematics Subject Classification ID

Methodology of mathematics (00A35) Philosophy of mathematics (00A30)

Recommendations

• The Epistemological Status of Computer-Assisted Proofs
• Experimental mathematics, computers and the a priori
• scientific article; zbMATH DE number 733568
• The epistemology of computer-mediated proofs
• Mathematical proofs in the computer age

Cites work

• scientific article; zbMATH DE number 5824053 (Why is no real title available?)
• scientific article; zbMATH DE number 3821647 (Why is no real title available?)
• scientific article; zbMATH DE number 3521895 (Why is no real title available?)
• scientific article; zbMATH DE number 1512780 (Why is no real title available?)
• scientific article; zbMATH DE number 1560722 (Why is no real title available?)
• scientific article; zbMATH DE number 1764653 (Why is no real title available?)
• Curing the andrews syndrome
• Every planar map is four colorable. I: Discharging
• Every planar map is four colorable. II: Reducibility
• Experimental Evaluation of Euler Sums
• Experimental mathematics, computers and the a priori
• Formac Meets Pappus: Some Observations on Elementary Analytic Geometry by Computer
• Making sense of experimental mathematics
• On finite simple groups and their classification.
• Probabilistic algorithm for testing primality
• Randomness in arithmetic and the decline and fall of reductionism in pure mathematics
• The Epistemological Status of Computer-Assisted Proofs
• The Philosophical Implications of the Four-Color Problem
• Theorems for a price: Tomorrow's semi-rigorous mathematical culture

Cited in

(3)

• The epistemology of computer-mediated proofs
• The Epistemological Status of Computer-Assisted Proofs
• What is an experiment in mathematical practice? New evidence from mining the \textit{Mathematical Reviews}

This page was built for publication: Computers as a source of a posteriori knowledge in mathematics

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