Wang Hao. Truth definitions and consistency proofs. Transactions of the American Mathematical Society, vol. 73 , pp. 243–275 [Book Review]

Journal of Symbolic Logic 22 (4):365-367 (1957)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2963929

Links

PhilArchive



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

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: Hao Wang, Truth Definitions and Consistency Proofs. [REVIEW]Richard Montague - 1957 - Journal of Symbolic Logic 22 (4):365-367.
Truth Definitions and Consistency Proofs.Hao Wang - 1957 - Journal of Symbolic Logic 22 (4):365-367.
Wang Hao. Arithmetic translations of axiom systems. Transactions of the American Mathematical Society, vol. 71 , pp. 283–293. [REVIEW]Richard Montague - 1956 - Journal of Symbolic Logic 21 (4):402-403.
Alan Rose and J. Barkley Rosser. Fragments of many-valued statement calculi. Transactions of the American Mathematical Society, vol. 87 , pp. 1–53. - C. A. Meredith. The dependence of an axiom of Łukasiewicz. Transactions of the American Mathematical Society, vol. 87 , p. 54. - C. C. Chang. Proof of an axiom of Łukasiewicz. Transactions of the American Mathematical Society, vol. 87 , pp. 55–56. [REVIEW]Atwell R. Turquette - 1959 - Journal of Symbolic Logic 24 (3):248-249.
On the philosophical significance of consistency proofs.Michael D. Resnik - 1974 - Journal of Philosophical Logic 3 (1/2):133 - 147.
Consistency proof via pointwise induction.Toshiyasu Arai - 1998 - Archive for Mathematical Logic 37 (3):149-165.
Mathematical realism and gödel's incompleteness theorems.Richard Tieszen - 1994 - Philosophia Mathematica 2 (3):177-201.
Propositional consistency proofs.Samuel R. Buss - 1991 - Annals of Pure and Applied Logic 52 (1-2):3-29.
The practice of finitism: Epsilon calculus and consistency proofs in Hilbert's program.Richard Zach - 2003 - Synthese 137 (1-2):211 - 259.
Some Applications of Formalized Consistency Proofs.G. Kreisel & Hao Wang - 1956 - Journal of Symbolic Logic 21 (4):404-405.
Consistency, Truth and Ontology.Evandro Agazzi - 2011 - Studia Logica 97 (1):7-29.
C. C. Chang. Algebraization of infinitely many-valued logic. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 144–146. - C. C. Chang. Algebraic analysis of many valued logics. Transactions of the American Mathematical Society, vol. 88 , pp. 467–490. - C. C. Chang. A new proof of the completeness of the Łukasiewicz axioms. Transactions of the American Mathematical Society, vol. 93 , pp. 74–80. [REVIEW]Alfred Horn - 1971 - Journal of Symbolic Logic 36 (1):159-160.
Strategic Maneuvering in Mathematical Proofs.Erik C. W. Krabbe - 2008 - Argumentation 22 (3):453-468.
Review: G. Kreisel, Hao Wang, Some Applications of Formalized Consistency Proofs. [REVIEW]G. Hasenjaeger - 1956 - Journal of Symbolic Logic 21 (4):404-405.
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.

Analytics

Added to PP
2016-06-30

Downloads
11 (#1,137,899)

6 months
5 (#639,324)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references