Proof and knowledge in mathematics
Logic, Symbolic and mathematical Mathematics Logique symbolique et mathématique Mathématiques Preuve, Théorie de la Bewijstheorie Kennistheorie Rechtvaardiging Wiskunde sähkökirjat
Routledge
1992
EISBN 9780203979105
Proof as a source of truth / Michael D. Resnik.
Reflections on the concept of a priori truth and its corruption by Kant / William W. Tait.
Logicism / Steven J. Wagner.
Empirical inquiry and proof / Shelley Stillwell.
On the concept of proof in elementary geometry / Pirmin Stekeler-Weithofer.
Mathematical rigor in physics / Mark Steiner.
Foundationalism and foundations of mathematics / Stewart Shapiro.
Brouwerian intuitionism / Michael Detlefsen.
Reflections on the concept of a priori truth and its corruption by Kant / William W. Tait.
Logicism / Steven J. Wagner.
Empirical inquiry and proof / Shelley Stillwell.
On the concept of proof in elementary geometry / Pirmin Stekeler-Weithofer.
Mathematical rigor in physics / Mark Steiner.
Foundationalism and foundations of mathematics / Stewart Shapiro.
Brouwerian intuitionism / Michael Detlefsen.
