Computers as a Source of A Posteriori Knowledge in Mathematics

DOI10.1080/02698595.2016.1265862zbMath1467.00009OpenAlexW2596382866MaRDI QIDQ5006632

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

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Probabilistic algorithm for testing primality
• Every planar map is four colorable. I: Discharging
• Every planar map is four colorable. II: Reducibility
• Theorems for a price: Tomorrow's semi-rigorous mathematical culture
• Randomness in arithmetic and the decline and fall of reductionism in pure mathematics
• Experimental mathematics, computers and the a priori
• Making sense of experimental mathematics
• The Epistemological Status of Computer-Assisted Proofs
• The Philosophical Implications of the Four-Color Problem
• Curing the andrews syndrome
• Experimental Evaluation of Euler Sums
• Formac Meets Pappus: Some Observations on Elementary Analytic Geometry by Computer

This page was built for publication: Computers as a Source of A Posteriori Knowledge in Mathematics