Kurt Godel. Collected Works. Volume IV: Selected Correspondence AG; Volume V: Selected Correspondence HZ

Philosophia Mathematica 14 (1):76 (2006)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/philmat/nkj011

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,314

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

Kurt Gödel. Collected works. Vol. IV, Correspondence A-G; V, Correspondence H-Z. Edited by Solomon Feferman, John W. Dawson Jr., Warren Goldgfarb, Charles Parsons, Wilfried Sieg. Oxford: Claredon Press, 2003. [REVIEW]Roberto Torretti - 2004 - Revista de filosofía (Chile) 60:169-172.
Kurt Gödel Collected Works IV-V: Correspondence.Solomon Feferman, John W. Dawson, Warren Goldfarb, Charles Parsons & Wilfried Sieg - 2004 - Bulletin of Symbolic Logic 10 (4):558-563.
Review of Kurt Gödel Collected Works IV–V: Correspondence. [REVIEW]Jan von Plato - 2004 - Bulletin of Symbolic Logic 10 (4):558-563.
Kurt Gödel. Collected Works. Volume 4: Correspondence, A–G. Edited by, Solomon Feferman, John W. Dawson, Jr., Warren Goldfarb, Charles Parsons, and Wilfried Sieg. xix + 662 pp., frontis., illus., bibl., index. Oxford/New York: Oxford University Press, 2003. $110 .Kurt Gödel. Collected Works. Volume 5: Correspondence, H–Z. Edited by, Solomon Feferman, John W. Dawson, Jr., Warren Goldfarb, Charles Parsons, and Wilfried Sieg. xxiii + 664 pp., frontis., illus., bibl., index. Oxford/New York: Oxford University Press, 2003. $130. [REVIEW]Albert C. Lewis - 2004 - Isis 95 (1):162-163.
Kurt Gdel: Collected Works: Volume Iv: Selected Correspondence, a-G.Kurt Gdel & Stanford Unviersity of Mathematics - 1986 - Oxford, England: Clarendon Press.
Book Review: Kurt Gödel. Collected Works, Volumes IV and V. [REVIEW]Paolo Mancosu - 2004 - Notre Dame Journal of Formal Logic 45 (12):109-125.
Kurt Gödel. Einige metamathematische Resultate über Entscheidunasdefinitheit und Widerspruchsfreiheit . A reprint of 4181. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 140, 142. - Kurt Gödel. Some metamathematical results on completeness and consistency . A reprint of XXXVII 405 . Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 141, 143. - Kurt Gödel. Über formal unentscheidbare Sätze der Principia mathematica und verwandter Systeme I . A reprint of 4183. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, edited by Solomon Feferman, John W. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):342-343.
Kurt Gödel. Über Unabhängigkeitsbeweise im Aussagenkalküls . A reprint of 41810. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 268, 270. - Kurt Gödel. On independence proofs in the propositional calculus . English translation by John Dawson of the preceding. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 269, 271. - W. V. Quine. Introductory note to 1933a. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarend. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):345-346.
Kurt Gödel. Ein Spezialfall des Entscheidungsproblems der theoretischen Logik . A reprint of 4187. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, even pp. 230–234. - Kurt Gödel. A special case of the decision problem for theoretical logic . English translation by John Dawson of the preceding. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, odd pp. 231– 235. - Kurt Gödel. Zum Entscheidungsproblem des logischen Funktionenkalüls . A reprint of 41813. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):344-345.

Analytics

Added to PP
2010-08-24

Downloads
49 (#468,991)

6 months
11 (#246,005)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

William W. Tait
University of Chicago

Citations of this work

On the Concept of Finitism.Luca Incurvati - 2015 - Synthese 192 (8):2413-2436.
Consistency, Models, and Soundness.Matthias Schirn - 2010 - Axiomathes 20 (2):153-207.

Add more citations

References found in this work

No references found.

Add more references