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 [Book Review]

Journal of Symbolic Logic 35 (2):332-333 (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270548

Links

PhilArchive



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

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.
Review: Luitzen Egbertus Jan Brouwer, Stefan Bauer-Mangelberg, Jean van Heijenoort, On the Significance of the Principle of Excluded Middle in Mathematics, Especially in Function Theory; Luitzen Egbertus Jan Brouwer, Stefan Bauer-Mengelberg, On the Domains of Definition of Functions; Luitzen Egbertus Jan Brouwer, Stefan Bauer-Mangelberg, Intuitionistic Reflections on Formalism. [REVIEW]Joan Rand Moschovakis - 1970 - Journal of Symbolic Logic 35 (2):332-333.
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.
On the Significance of the Principle of Excluded Middle in Mathematics, Especially in Function Theory.Stefan Bauer-Mangelberg, Jean van Heijenoort & Stefan Bauer-Mengelberg - 1970 - Journal of Symbolic Logic 35 (2):332-333.
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.
Kurt Gödel. Über die Vollständigkeit des Logikkalküls . 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. 60– 100. - Kurt Gödel. On the completeness of the calculus of logic . English translation by Stefan Bauer-Mengelberg and Jean van Heijenoort 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. 61– 101. - Kurt Gödel. Die Vollständigkeit der Axiome des logischen Funktionenkalküls . A reprint of 4182. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):341-342.
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.
From Frege to Gödel. A Source Book in Mathematical Logic 1879-1931.Jean van Heijenoort - 1968 - Synthese 18 (2-3):302-305.
Jean van Heijenoort, "From Frege to Gödel. A Source Book in Mathematical Logic 1879-1931".Andrzej Motowski - 1968 - Synthese 18 (2-3):302.
From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931. [REVIEW]Paul Bernays - 1970 - Journal of Philosophy 67 (4):109-110.
Über die Länge yon Beweisen.Stefan Bauer-Mengelberg, Jean van Heijenoort & Rohit Parikh - 1990 - Journal of Symbolic Logic 55 (1):348-348.
Einige metamathematische Resultate über Entscheidungsdefinitheit und Widerspruchsfreiheir.Stefan Bauer-Mengelberg & Jean van Heijenoort - 1990 - Journal of Symbolic Logic 55 (1):342-343.
Review: Kurt Godel, Stefan Bauer-Mengelberg, Jean van Heijenoort, On Intuitionistic Arithmetic and Number Theory (1933e); A. S. Troelstra, Introductory Note to 1933e. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):346-346.
Review: Kurt Godel, Uber die Lange yon Beweisen (1936a); Kurt Godel, Stefan Bauer-Mengelberg, Jean van Heijenoort, On the length of Proofs (1936a); Rohit Parikh, Introductory note to 1936a. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):348-348.
From Frege to Gödel.Jean Van Heijenoort (ed.) - 1967 - Cambridge,: Harvard University Press.

Analytics

Added to PP
2016-06-30

Downloads
60 (#266,066)

6 months
13 (#189,886)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Joan Rand Moschovakis
Occidental College

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references