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

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

Propositional consistency proofs.Samuel R. Buss - 1991 - Annals of Pure and Applied Logic 52 (1-2):3-29.
A counterpart of occam's razor in pure and applied mathematics; semantic USES.Karl Menger - 1961 - Synthese 13 (4):331 - 349.
The machinery of consistency proofs.Mariko Yasugi - 1989 - Annals of Pure and Applied Logic 44 (1-2):139-152.
The consistency of arithmetic, continued.Paolo Mancosu, Sergio Galvan & Richard Zach - 2021 - In Paolo Mancosu, Sergio Galvan & Richard Zach, An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs. Oxford: Oxford University Press. pp. 346-379.
Short Proofs for Slow Consistency.Anton Freund & Fedor Pakhomov - 2020 - Notre Dame Journal of Formal Logic 61 (1):31-49.
A constructive consistency proof of a fragment of set theory.Jon Pearce - 1984 - Annals of Pure and Applied Logic 27 (1):25-62.
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).
On the philosophical significance of consistency proofs.Michael D. Resnik - 1974 - Journal of Philosophical Logic 3 (1/2):133 - 147.
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.
On the Intuitionistic Background of Gentzen's 1935 and 1936 Consistency Proofs and Their Philosophical Aspects.Yuta Takahashi - 2018 - Annals of the Japan Association for Philosophy of Science 27:1-26.

Analytics

Added to PP
2009-01-28

Downloads
109 (#450,501)

6 months
10 (#1,124,960)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Photo of Merrilee Salmon
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.
What is Cantor's Continuum Problem?Kurt Gödel - 1947 - The American Mathematical Monthly 54 (9):515--525.
Foundations of mathematical logic.Haskell Brooks Curry - 1963 - New York: Dover Publications.
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