- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Proof and the evolution of mathematics
Synthese 111 (2):133-146 (1997)
Abstract
This article has no associated abstract. (fix it)Author's Profile
Other Versions
No versions found
My notes
Similar books and articles
Despite pyhsicists, proof is essential in mathematics.Saunders Mac Lane - 1997 - Synthese 111 (2):147-154.
IF logic and the foundations of mathematics.Gabriel Sandu & Tapani Hyttinen - 2001 - Synthese 126 (1-2):37-47.
Introduction: Proof-theoretic semantics.Reinhard Kahle & Peter Schroeder-Heister - 2006 - Synthese 148 (3):503-506.
Hilbert's formalism and arithmetization of mathematics.Judson C. Webb - 1997 - Synthese 110 (1):1-14.
Objectivity And Proof In A Classical Indian Theory Of Number.Jonardon Ganeri - 2001 - Synthese 129 (3):413-437.
The explanatory and heuristic power of mathematics.Marianna Antonutti Marfori, Sorin Bangu & Emiliano Ippoliti - 2023 - Synthese 201 (5):1-12.
Analytics
Added to PP
2009-01-28
Downloads
119 (#181,579)
6 months
8 (#583,676)
2009-01-28
Downloads
119 (#181,579)
6 months
8 (#583,676)
Historical graph of downloads
Author's Profile
Citations of this work
Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method.Carlo Cellucci - 2013 - Dordrecht, Netherland: Springer.
A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices.Yehuda Rav - 2007 - Philosophia Mathematica 15 (3):291-320.
The Origins of Eternal Truth in Modern Mathematics: Hilbert to Bourbaki and Beyond.Leo Corry - 1997 - Science in Context 10 (2):253-296.
.[author unknown] - unknown
References found in this work
The unreasonable effectiveness of mathematics in the natural sciences.Eugene Wigner - 1960 - Communications in Pure and Applied Mathematics 13:1-14.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-667477cd97-lv8mh dc2