- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Works by Stefan Bauer-Mengelberg
9 found
Order:
- Ü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.
- 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.
- Die philosophische Konferenz in Jena. Fruchtbare wissenschaftliche Diskussion über Probleme der formalen und mathematischen Logik und des dialektischen Materialismus. Neues Deutschland , vol. 6 no. 276 , Ausgabe A, p. 4. [REVIEW]Stefan Bauer-Mengelberg - 1953 - Journal of Symbolic Logic 18 (1):82-83.
- Kurt Gödel. On formally undecidable propositions of Principia mathematica and related systems I. English translation of 4183 by B. Meltzer. Oliver & Boyd, Edinburgh and London1962, pp. 37–72. [REVIEW]Stefan Bauer-Mengelberg - 1965 - Journal of Symbolic Logic 30 (3):359-362.
- Martin Davis. On formally undecidable propositions of the Principia Mathematica and related systems. I. The undecidable, Basic papers on undecidable propositions, unsolvable problems and computable functions, edited by Martin Davis, Raven Press, Hewlett, New York, 1965, p. 4. - Kurt Gödel. On formally undecidable propositions of Principia Mathematica and related systems I. English translation of 4183 by Elliott Mendelson. The undecidable, Basic papers on undecidable propositions, unsolvable problems and computable functions, edited by Martin Davis, Raven Press, Hewlett, New York, 1965, pp. 5–38. - Martin Davis. On undecidable propositions of formal mathematical systems. The undecidable, Basic papers on undecidable propositions, unsolvable problems and computable functions, edited by Martin Davis, Raven Press, Hewlett, New York, 1965, pp. 39–40. - Kurt Gödel. On undecidable propositions of formal mathematical systems. A revised reprint of 41814. The undecidable, Basic papers on undecida. [REVIEW]Stefan Bauer-Mengelberg - 1966 - Journal of Symbolic Logic 31 (3):484-494.
- Review: Martin Davis, The Undecidable Basic Papers on Undecidable Basic Propositions, Unsolvable propositions and Unsolvable Problems and Computable Funtions. [REVIEW]Stefan Bauer-Mengelberg - 1966 - Journal of Symbolic Logic 31 (3):484-494.
- Review: Samuel Goldberg, Probability. An Introduction. [REVIEW]Stefan Bauer-Mengelberg - 1971 - Journal of Symbolic Logic 36 (3):543-544.
- Samuel Goldberg. Probability. An introduction. Prentice-Hall, Inc., Englewood Cliffs, N.J., 1960, xiv + 322 pp. [REVIEW]Stefan Bauer-Mengelberg - 1971 - Journal of Symbolic Logic 36 (3):543-544.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c76586df8-l2pxr uwo