Knowledge of Mathematics without Proof
@article{Paseau2015KnowledgeOM, title={Knowledge of Mathematics without Proof}, author={Alexander Paseau}, journal={The British Journal for the Philosophy of Science}, year={2015}, volume={66}, pages={775 - 799} }
Mathematicians do not claim to know a proposition unless they think they possess a proof of it. For all their confidence in the truth of a proposition with weighty non-deductive support (for example, the Riemann hypothesis), they maintain that, strictly speaking, the proposition remains unknown until such time as someone has proved it. This article challenges this conception of knowledge, which is quasi-universal within mathematics. We present four arguments to the effect that non-deductive… CONTINUE READING
4 Citations
Does Homotopy Type Theory Provide a Foundation for Mathematics?
- Computer Science
- The British Journal for the Philosophy of Science
- 2018
- 17
- PDF
References
SHOWING 1-10 OF 64 REFERENCES