Mathematical Significance of Consistency Proofs

Journal of Symbolic Logic 31 (1):129-129 (1966)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270661

Other Versions

original Kreisel, G. (1958) "Mathematical significance of consistency proofs". Journal of Symbolic Logic 23(2):155-182

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,854

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

Mathematical significance of consistency proofs.G. Kreisel - 1958 - Journal of Symbolic Logic 23 (2):155-182.
G. Kreisel. Mathematical significance of consistency proofs. The journal of symbolic logic, vol. 23 no. 2 , pp. 155–182. [REVIEW]Abraham Robinson - 1966 - Journal of Symbolic Logic 31 (1):129-129.
Kreisel G. und Wang Hao. Some applications of formalized consistency proofs. Fundamenta mathematicae, Bd. 42 , S. 101–110. [REVIEW]G. Hasenjaeger - 1956 - Journal of Symbolic Logic 21 (4):404-405.
Kreisel G. and Wang H.. Applications of formalized consistency proofs II. Fundamenta mathematicae, vol. 45 no. 3 , pp. 334–335. [REVIEW]G. Hasenjaeger - 1965 - Journal of Symbolic Logic 30 (1):99.
Kreisel G.. On the interpretation of non-finitist proofs. [REVIEW]J. Barkley Rosser - 1953 - Journal of Symbolic Logic 18 (1):78-80.
G. Kreisel. A remark on free choice sequences and the topological completeness proofs. The journal of symbolic logic, vol. 23 no. 4 , pp. 369–388. [REVIEW]Joan Rand Moschovakis - 1967 - Journal of Symbolic Logic 32 (2):283-283.
Elements de logique mathematique - theorie des modeles: par G. Kreisel et J.L. Krivine.Georg Kreisel & J. L. Krivine - 1967 - Dunod.
G. Kreisel and J. L. Krivine. Elements of mathematical logic. . North-Holland Publishing Company, Amsterdam1967, xi + 222 pp. [REVIEW]C. C. Chang - 1969 - Journal of Symbolic Logic 34 (1):112.
Kreisel G.. Some remarks on the foundations of mathematics. An expository article. The mathematical gazette, vol. 35 , pp. 23–28. [REVIEW]Th Skolem - 1954 - Journal of Symbolic Logic 19 (1):60-61.
Wang Hao. Truth definitions and consistency proofs. Transactions of the American Mathematical Society, vol. 73 , pp. 243–275. [REVIEW]Richard Montague - 1957 - Journal of Symbolic Logic 22 (4):365-367.

Analytics

Added to PP
2017-02-21

Downloads
17 (#1,161,857)

6 months
5 (#1,071,419)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On the no-counterexample interpretation.Ulrich Kohlenbach - 1999 - Journal of Symbolic Logic 64 (4):1491-1511.
Hilbert's Program Revisited.Panu Raatikainen - 2003 - Synthese 137 (1-2):157-177.
Representation and Reality by Language: How to make a home quantum computer?Vasil Penchev - 2020 - Philosophy of Science eJournal (Elsevier: SSRN) 13 (34):1-14.

View all 12 citations / Add more citations

References found in this work

No references found.

Add more references