Consistency proofs for applied mathematics

Synthese 34 (3):301 - 312 (1977)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf00485880

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

How to apply mathematics.Ulrich Meyer - 2004 - Erkenntnis 61 (1):17-28.
Philosophy of mathematics: a contemporary introduction to the world of proofs and pictures.James Robert Brown - 2008 - New York: Routledge.
The practice of finitism: Epsilon calculus and consistency proofs in Hilbert's program.Richard Zach - 2003 - Synthese 137 (1-2):211 - 259.
Towards a Philosophy of Applied Mathematics.Christopher Pincock - 2009 - In Otávio Bueno & Øystein Linnebo (eds.), New Waves in Philosophy of Mathematics. Palgrave-Macmillan.
Stability proofs and consistency proofs: A loose analogy.Norwood Russell Hanson - 1964 - Philosophy of Science 31 (4):301-318.
Probabilistic proofs and transferability.Kenny Easwaran - 2009 - Philosophia Mathematica 17 (3):341-362.
Apriority and applied mathematics.Robert A. Holland - 1992 - Synthese 92 (3):349 - 370.
Hilbert's 'Verunglückter Beweis', the first epsilon theorem, and consistency proofs.Richard Zach - 2004 - History and Philosophy of Logic 25 (2):79-94.
Proofs and arguments: The special case of mathematics.Jean Paul Van Bendegem - 2005 - Poznan Studies in the Philosophy of the Sciences and the Humanities 84 (1):157-169.

Analytics

Added to PP
2009-01-28

Downloads
50 (#311,977)

6 months
2 (#1,240,909)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Merrilee Salmon
University of Pittsburgh

Citations of this work

Infinte Regress Arguments.Claude Gratton - 2009 - Dordrecht, Netherland: Springer.

Add more citations

References found in this work

Elements of symbolic logic.Hans Reichenbach - 1947 - London: Dover Publications.
Foundations of mathematical logic.Haskell Brooks Curry - 1963 - New York: Dover Publications.
What is Cantor's Continuum Problem?Kurt Gödel - 1947 - The American Mathematical Monthly 54 (9):515--525.
Proofs and refutations (IV).I. Lakatos - 1963 - British Journal for the Philosophy of Science 14 (56):296-342.
What is Cantor's Continuum Problem?Kurt Gödel - 1983 - In Paul Benacerraf & Hilary Putnam (eds.), Philosophy of Mathematics: Selected Readings (2nd Edition). Cambridge: Cambridge University Press. pp. 470-485.

View all 13 references / Add more references