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

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,506

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

Review of Wesley C. salmon, Phil Dowe (ed.), Merrilee H. salmon (ed.), Reality and Rationality. [REVIEW]Ned Hall - 2007 - Notre Dame Philosophical Reviews 2007 (1).
Paolo Parrini, Wesley C. Salmon, and Merrilee H. Salmon, eds., Logical Empiricism: Historical and Contemporary Perspectives Reviewed by. [REVIEW]Alexander Rueger - 2004 - Philosophy in Review 24 (2):140-143.
Logical Empiricism: Historical and Contemporary Perspectives Edited by Paolo Parrini, Wesley C. Salmon, and Merrilee H. Salmon Pittsburgh, PA: University of Pittsburgh Press, 2003, ix + 396 pp., $49.95. [REVIEW]Jonathan Y. Tsou - 2006 - Dialogue 45 (4):808-810.
Experience, Reality, and Scientific Explanation: Essays in Honor of Merrilee and Wesley Salmon.Maria Carla Galavotti & A. Pagnini - 2010 - Dordrecht and London: Springer, Dordrecht.
Aspects of the Cannibalism Controversy: Comments on Merrilee Salmon.Robert Feleppa - 1995 - Southern Journal of Philosophy 34 (S1):147-154.
Maria Carla Galavotti and Alessandro pagnini (eds) experience, reality, and scientific explanation: Essays in honour of Merrilee and Wesley salmon. [REVIEW]Raffaella Campaner - 2000 - British Journal for the Philosophy of Science 51 (4):941-945.
The machinery of consistency proofs.Mariko Yasugi - 1989 - Annals of Pure and Applied Logic 44 (1-2):139-152.
The practice of finitism: Epsilon calculus and consistency proofs in Hilbert's program.Richard Zach - 2003 - Synthese 137 (1-2):211 - 259.
Sobre la predicció en Ciències Ciències socials: anàlisi de la proposta de Merrilee Salmon.Wenceslao J. González - 2005 - Enrahonar: Quaderns de Filosofía 37:181-202.
Paolo Parrini, Wesley C. Salmon, and Merrilee H. Salmon , Logical Empiricism: Historical and Contemporary Perspectives. Pittsburgh: University of Pittsburgh Press , 396pp., $49.95. [REVIEW]Richard Creath - 2004 - Philosophy of Science 71 (4):623-625.

Analytics

Added to PP
2009-01-28

Downloads
70 (#327,417)

6 months
9 (#444,746)

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 - 1980 - 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, Philosophy of Mathematics: Selected Readings (2nd Edition). Cambridge University Press. pp. 470-485.

View all 14 references / Add more references