Perspectives on the history of mathematical logic, edited by Thomas Drucker, Birkhäuser, Boston, Basel, and Berlin, 1991, xxiii + 195 pp. - John W. Dawson Jr. The reception of Gödel's incompleteness theorems. Pp. 84–100 [Book Review]

Journal of Symbolic Logic 57 (4):1487-1489 (1992)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2275384

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,830

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

Guo-Qiang Zhang. Logic of domains. Progress in theoretical computer science. Birkhäuser, Boston, Basel, and Berlin, 1991, viii + 259 pp. [REVIEW]Manfred Droste - 1994 - Journal of Symbolic Logic 59 (3):1108-1110.
Thomas Streicher. Semantics of type theory. Correctness, completeness and independence results. Progress in theoretical computer science. Birkhäuser, Boston, Basel, and Berlin, 1991, xii + 298 pp. [REVIEW]Markus Marzetta - 1995 - Journal of Symbolic Logic 60 (3):1020-1021.
Bachmair Leo. Canonical equational proofs. Progress in theoretical computer science. Birkhäuser, Boston, Basel, and Berlin, 1991, x + 135 pp. [REVIEW]John Pedersen - 1992 - Journal of Symbolic Logic 57 (3):1140-1141.
Ko Ker-I. Complexity theory of real functions. Progress in theoretical computeer science. Birkhäuser, Boston, Basel, and Berlin, 1991, viii + 309 pp. [REVIEW]G. Malajovich - 1992 - Journal of Symbolic Logic 57 (4):1489-1491.
Solvability, provability, definability: the collected works of Emil L. Post, edited by Martin Davis, Contemporary mathematicians, Birkhäuser, Boston, Basel, and Berlin, 1994, xxviii + 554 pp. [REVIEW]H. B. Enderton - 1997 - Journal of Symbolic Logic 62 (3):1046-1048.
George Boole. Selected manuscripts on logic and its philosophy. Edited by Ivor Grattan-Guinness and Gérard Bornet. Science networks historical studies, vol. 20. Birkhäuser Verlag, Basel, Boston, and Berlin, 1997, lxiv + 236 pp. - Ivor Grattan-Guinness. Boole's quest for the foundations of his logic. Therein, pp. xiii–xlvii. - Gérard Bornet. Boole's psychologism as a reception problem. Therein, pp. xlvii–lviii. [REVIEW]Theodore Hailperin - 1998 - Journal of Symbolic Logic 63 (1):332-333.
Solomon Feferman. Foundational ways. Perspectives in mathematics, Anniversary of Oberwolfach 1984, edited by W. Jäger, J. Moser, and R. Remmert, Birkhäuser Verlag, Basel, Boston, and Stuttgart, 1984, pp. 147–158. - Solomon Fefeŕman. Working foundations. Synthese, vol. 62 , pp. 229–254. [REVIEW]Maria Luisa Dalla Chiara - 1992 - Journal of Symbolic Logic 57 (4):1478-1479.
M. Holz, K. Steffens, and E. Weitz. Introduction to cardinal arithmetic. Birkhäuser advanced texts. Birkhäuser Verlag, Basel, Boston, and Berlin, 1999, vii + 304 pp. [REVIEW]Maxim R. Burke - 2002 - Bulletin of Symbolic Logic 8 (4):524-526.
John W. Dawson, Jr. Why Prove it Again: Alternative Proofs in Mathematical Practice. Basel: Birkhäuser, 2015. ISBN: 978-3-319-17367-2 ; 978-3-319-17368-9 . Pp. xii + 204. [REVIEW]Jessica Carter - forthcoming - Philosophia Mathematica:nkw003.
Book review. [REVIEW]Stephen Read - 1993 - History and Philosophy of Logic 14 (1):109-132.

Analytics

Added to PP
2013-11-03

Downloads
35 (#640,142)

6 months
7 (#684,641)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references