From Frege to Gödel. Jean van Heijenoort [Book Review]

Philosophy of Science 35 (1):72-72 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1086/288188

Links

PhilArchive



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

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

Jean van Heijenoort. Introductory note. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1967, pp. 1–5. Reprinted in Frege and Gödel, Two fundamental texts in mathematical logic, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1970, pp. 1–5. - Gottlob Frege. Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought. English translation of 491 by Stefan Bauer-Mengelberg. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1967, pp. 5–82. Reprinted in Frege and Gödel, Two fundamental texts in mathematical logic, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1970, pp. 5–82. - Jean van Heijenoort. Introductory note. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard. [REVIEW]Alonzo Church - 1972 - Journal of Symbolic Logic 37 (2):405-405.
Jean van Heijenoort. Introductory note. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard University Press, Cambridge Mass., 1967, p. 124. - Bertrand Russell. Letter to Frege. From Frege to Gödel, A source book in mathematical logic, 1879–1931 pp. 124–125. - Jean van Heijenoort. Introductory note. From Frege to Gödel, A source book in mathematical logic, 1879–1931 pp. 126–1271. - Gottlob Frege. Letter to Russell. From Frege to Gödel, A source book in mathematical logic, 1879–1931 pp. 127–128. [REVIEW]Alonzo Church - 1974 - Journal of Symbolic Logic 39 (2):355.
Jean van Heijenoort, "From Frege to Gödel. A Source Book in Mathematical Logic 1879-1931".Andrzej Motowski - 1968 - Synthese 18 (2-3):302.
Luitzen Egbertus Jan Brouwer. On the significance of the principle of excluded middle in mathematics, especially in function theory, English translation of 15516 by Stefan Bauer-Mengelberg and Jean van Heijenoort. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Massachusetts, 1967, pp. 334–341. Addenda and corrigenda, English translation of XXIV 189 by Stefan Bauer-Mengelberg, Claske M. Berndes Franck, Dirk van Dalen, and Jean van Heijenoort. Ibid., pp. 341–342. Further addenda and corrigenda. English translation of XXIV 189 by Stefan Bauer-Mengelberg, Dirk van Dalen, and Jean van Heijenoort. Ibid., pp. 342–345. - Luitzen Egbertus Jan Brouwer. On the domains of definition of functions. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Massachusetts, 1967, pp. 446–463. English translation of §§1–3 of Über Definiti. [REVIEW]Joan Rand Moschovakis - 1970 - Journal of Symbolic Logic 35 (2):332-333.
From Trotsky to Godel. The Life of Jean van Heijenoort. [REVIEW]H. B. Enderton - 2002 - Bulletin of Symbolic Logic 8 (1):104.
Jean van Heijenoort and the Gödel Editorial Project.John W. Dawson - 2012 - Logica Universalis 6 (3-4):293-299.
From Trotsky to Gödel. The Life of Jean van Heijenoort.Anita Burdman Feferman - 2002 - Bulletin of Symbolic Logic 8 (1):104-104.
Jean van Heijenoort: Kaleidoscope. [REVIEW]Anita Burdman Feferman - 2012 - Logica Universalis 6 (3-4):277-291.
Gödel Kurt. Über die Länge von Beweisen (1936a). A reprint of I 116. Reelle Funktionen, by Kurt Gödel, edited by Feferman Solomon, Dawson John W. Jr., Kleene Stephen C., Moore Gregory H., Solovay Robert M., and van Heijenoort Jean, Clarendon Press, Oxford University Press, New York and Oxford 1986 pp. 396, 398. Gödel Kurt. On the length of proofs (1936a). English translation by Stefan Bauer-Mengelberg and Jean van Heijenoort of the preceding. Reelle Funktionen, by Kurt Gödel, edited by Feferman Solomon ... [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):348.
W. V. Quine. Introductory note. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1967, pp. 216–217. - Alfred North Whitehead and Bertrand Russell. Incomplete symbols: Descriptions. Reprinted from 1947, pp. 66–71. Incomplete symbols: Descriptions. Reprinted from 1947, pp. 217–223. [REVIEW]Alonzo Church - 1975 - Journal of Symbolic Logic 40 (3):472-473.

Analytics

Added to PP
2010-08-24

Downloads
50 (#327,252)

6 months
11 (#271,859)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Michael Resnik
University of North Carolina, Chapel Hill

Citations of this work

Add more citations

References found in this work

No references found.

Add more references