G ödel has emphasized the important role that his philosophical views had played in his discoveries. Thus, in a letter to Hao Wang of December 7, 1967, explaining why Skolem and others had not obtained the completeness theorem for predicate calculus, Gödel wrote: This blindness (or prejudice, or whatever you may call it) of logicians [Book Review]

Bulletin of Symbolic Logic 11 (2) (2005)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,990

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

What did gödel believe and when did he believe it?Martin Davis - 2005 - Bulletin of Symbolic Logic 11 (2):194-206.
Review: Hao Wang, The Predicate Calculus. [REVIEW]Steven Orey - 1963 - Journal of Symbolic Logic 28 (3):250-250.
Only two letters: The correspondence between herbrand and gödel.Wilfried Sieg - 2005 - Bulletin of Symbolic Logic 11 (2):172-184.
Zermelo and the Skolem Paradox.Dirk Van Dalen & Heinz-Dieter Ebbinghaus - 2000 - Bulletin of Symbolic Logic 6 (2):145-161.
Zermelo and the Skolem Paradox.Dirk Van Dalen & Heinz-Dieter Ebbinghaus - 2000 - Bulletin of Symbolic Logic 6 (2):145-161.
Review: G. P. Zykin, Comment on a Theorem of Hao Wang. [REVIEW]J. C. Shepherdson - 1971 - Journal of Symbolic Logic 36 (3):534-534.
Zermelo and the Skolem paradox.Dirk Van Dalen & Heinz-Dieter Ebbinghaus - 2000 - Bulletin of Symbolic Logic 6 (2):145-161.
Hao Wang as philosopher and interpreter of gödel.Charles Parsons - 1998 - Philosophia Mathematica 6 (1):3-24.
Reflections on Kurt Gödel.Hao Wang - 1990 - Bradford.
Wang Hao. The predicate calculus. A survey of mathematical logic. Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 307–321. [REVIEW]Steven Orey - 1963 - Journal of Symbolic Logic 28 (3):250-250.

Analytics

Added to PP
2014-01-17

Downloads
14 (#994,650)

6 months
5 (#837,573)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Akihiro Kanamori
Boston University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references