Paul Bernays
#2,382
Most Influential Person Across History
Swiss mathematician
Paul Bernays's AcademicInfluence.com Rankings
Download Badge
Mathematics
Paul Bernays's Degrees
- PhD Mathematics University of Zurich
Why Is Paul Bernays Influential?
(Suggest an Edit or Addition)According to Wikipedia, Paul Isaac Bernays was a Swiss mathematician who made significant contributions to mathematical logic, axiomatic set theory, and the philosophy of mathematics. He was an assistant and close collaborator of David Hilbert.
Paul Bernays's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- Foundations of Geometry (1903) (391)
- A system of axiomatic set theory—Part I (1937) (140)
- Review: Kurt Godel, George W. Brown, The Consistency of the Axiom of Choice and of the Generalized Continuum- Hypothesis with the Axioms of Set Theory (1941) (119)
- A System of Axiomatic Set Theory (1976) (86)
- Philosophy of mathematics: On platonism in mathematics (1984) (36)
- On the Problem of Schemata of Infinity in Axiomatic Set Theory (1976) (27)
- On the Original Gentzen Consistency Proof for Number Theory (1970) (25)
- A system of axiomatic set theory—Part II (1941) (15)
- Sets and classes : on the work by Paul Bernays (1976) (14)
- A system of axiomatic set theory. Part V. General set theory (continued) (1942) (14)
- Part II Axiomatic Set Theory (1958) (13)
- Axiomatic Set Theory.@@@Studies in Logic and the Foundations of Mathematics. (1960) (11)
- Review: W. V. Quine, New Foundations for Mathematical Logic (1937) (10)
- What Do Some Recent Results in Set Theory Suggest (1967) (10)
- Review: Alonzo Church, A Note on the Entscheidungs Problem (1936) (9)
- Investigations into Logical Deduction.Introduction (1970) (8)
- Rudolf Carnap. Meaning and necessity. A study in semantics and modal logic . The University of Chicago Press, Chicago1947, viii + 210 pp. (1950) (8)
- Information and prediction in science (1965) (8)
- Review: Kurt Godel, Russell's Mathematical Logic (1946) (7)
- Scope and Limits of Axiomatics (1967) (6)
- Review: John Myhill, Creative Sets (1957) (5)
- Gödel Kurt. Russell's mathematical logic. The philosophy of Bertrand Russell, edited by Schilpp Paul Arthur, Northwestern University, Evanston and Chicago 1944, pp. 123–153. (1946) (5)
- Review: Kurt Godel, Consistency-Proof for the Generalized Continuum-Hypothesis (1940) (4)
- A system of axiomatic set theory. Part III. Infinity and enumerability. Analysis (1942) (4)
- Review: Kurt Godel, The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis (1940) (4)
- A system of axiomatic set theory—Part VI (1948) (3)
- Mathematics as a Domain of Theoretical Science and of Mental Experience (1975) (3)
- A system of axiomatic set theory. Part IV. General set theory (1942) (3)
- Curry Haskell B.. The system LD. The journal of symbolic logic, vol. 17 (1952), pp. 35–42.Curry Haskell B.. On the definition of negation by a fixed proposition in inferential calculus. The journal of symbolic logic, vol. 17 (1952), pp. 98–104. (1953) (2)
- Review: Alonzo Church, J. B. Rosser, Some Properties of Conversion (1936) (2)
- Church Alonzo and Rosser J. B.. Some properties of conversion. Transactions of the American Mathematical Society, vol. 39 (1936), pp. 472–482. (1936) (2)
- Review: Rudolf Carnap, Modalities and Quantification (1948) (2)
- Schröder Ernst. Vorlesungen über die Algebra der Logik (exacte Logik) . Second edition, Volume I. A reprint of 427 with Schroder's corrections. Chelsea Publishing Company, Bronx 1966, IX + 721 pp. (1975) (1)
- Church Alonzo. An unsolvable problem of elementary number theory. American journal of mathematics , vol. 58 (1936), pp. 345–363. (1936) (1)
- Review: John Myhill, On the Interpretation of the Sign `$\supset$' (1955) (1)
- Gödel Kurt. Consistency-proof for the generalized continuum-hypothesis. Proceedings of the National Academy of Sciences, vol. 25 (1939), pp. 220–224. (1940) (1)
- Review: Barkley Rosser, Extensions of some Theorems of Godel and Church (1937) (1)
- Review: E. W. Beth, Summulae Logicales. Supplement der Formele Logica (1943) (1)
- Myhill John. On the interpretation of the sign ‘⊃’. The journal of symbolic logic , vol. 18 (1953), pp. 60–62. (1955) (1)
- REMARKS TO “THE END OF A PHASE” (1963) (1)
- Review: Alonzo Church, An Unsolvable Problem of Elementary Number Theory (1936) (1)
- Review: John Myhill, Variations on a Theme of Bernays (1970) (1)
- Carnap Rudolf. Modalities and quantification. The journal of symbolic logic, vol. 11 (1946), pp. 33–64. (1948) (1)
- Quine W. V.. New foundations for mathematical logic. The American mathematical monthly, vol. 44 (1937), pp. 70–80. (1937) (1)
- Ackermann W.. Solvable cases of the decision problem. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam 1954, VIII + 114 pp. (1957) (1)
- Review: John R. Myhill, Note on an Idea of Fitch (1950) (0)
- Quine W. V.. Set-theoretic foundations for logic. The journal of symbolic logic, vol. 1 (1936), pp. 45–57. (1937) (0)
- Quine W. V.. Interpretations of sets of conditions. The journal of symbolic logic, vol. 19 (1954), pp. 97–102. (1959) (0)
- Copi Irving M.. Another variant of natural deduction. The journal of symbolic logic , vol. 21 (1956), pp. 52–55. (1957) (0)
- Review: Peter Nidditch, A Note on the Redundant Axiom of Principia Mathematica (1971) (0)
- Hempel Carl G.. A purely topological form of non-Aristotelian logic. The journal of symbolic logic, vol. 2 (1937), pp. 97–112. (1938) (0)
- Review: J. C. C. McKinsey, A New Definition of Truth (1951) (0)
- Review: W. V. Quine, Set-Theoretic Foundations for Logic (1937) (0)
- Review: Haskell B. Curry, The System LD; Haskell B. Curry, On the Definition of Negation by a Fixed Proposition in Inferential Calculus (1953) (0)
- Fitch Frederic B.. The consistency of the ramified Principia. The journal of symbolic logic, vol. 3 (1938), pp. 140–149. (1939) (0)
- Review: W. V. Quine, A Reinterpretation of Schonfinkel's Logical Operators (1936) (0)
- JSL volume 34 issue 1 Cover and Front matter (1969) (0)
- Objectivist and Positivist Trends in Modern Theoretical Physics (1963) (0)
- Review: W. V. Quine, Interpretations of Sets of Conditions (1959) (0)
- JSL volume 32 issue 1 Cover and Front matter (1967) (0)
- Rosser Barkley. Extensions of some theorems of Gödel and Church. The journal of symbolic logic, vol. 1 (1936), pp. 87–91. (1937) (0)
- Bing Kurt. On the axioms of order and succession. The journal of symbolic logic, vol. 22 (1957), pp. 141–144. (1958) (0)
- Review: A. Fraenkel, Discontinu et Continu (1938) (0)
- Review: J. C. C. McKinsey, On the Independence of Hilbert and Ackermann's Postulates for the Calculus of Propositional Functions (1936) (0)
- Review: Barkley Rosser, Definition by Indication in Quine's New Foundations for Mathematical Logic (1940) (0)
- Zu der Abhandlung von Raymond L. Weiss «Historicism and Science: Thoughts on Quine» (1975) (0)
- Church Alonzo. A note on the Entscheidungsproblem. The journal of symbolic logic, vol. 1 (1936), pp. 40–41. (See correction thereto forthcoming in this Journal.) (1936) (0)
- Broderick T. S.. On proving certain properties of the primes by means of the methods of pure number theory. Proceedings of the Royal Irish Academy, section A, vol. 46 (1940), pp. 17–24. (1940) (0)
- Quine W. V.. A reinterpretation of Schönfinkel's logical operators. Bulletin of the American Mathematical Society, vol. 42 (1936), pp. 87–89. (1936) (0)
- Review: Carl G. Hempel, A Purely Topological Form of Non-Aristotelian Logic (1938) (0)
- JSL volume 32 issue 2 Cover and Front matter (1967) (0)
- Myhill John R.. Note on an idea of Fitch. The journal of symbolic logic, vol. 14 (1949), pp. 175–176. (1950) (0)
- Robinson Raphael M.. The theory of classes. A modification of von Neumann's system. The journal of symbolic logic , vol. 2 (1937), pp. 29–36. (1937) (0)
- Review: Burton Dreben, Peter Andrews, Stal Aanderaa, False Lemmas in Herbrand (1966) (0)
- Remarks to the paper by Dr Sandra Rosenthal:‘The Cognitive Status of Theoretical Terms’ (1968) (0)
- Axiomatic Set Theory.Foundations of Set Theory (1962) (0)
- Review: John R. Myhill, A Reduction in the Number of Primitive Ideas of Arithmetic (1951) (0)
- Review: Frederic B. Fitch, The Consistency of the Ramified Principia (1939) (0)
- Nidditch Peter. A note on the redundant axiom of Principia mathematica. Mind, n.s. vol. 69 (1960), pp. 251–252. (1971) (0)
- Myhill John R.. A reduction in the number of primitive ideas of arithmetic. The journal of symbolic logic , vol. 15 (1950), p. 130. (1951) (0)
- JSL volume 34 issue 2 Cover and Front matter (1969) (0)
- Review: Th. Skolem, A Remark on the Induction Scheme (1951) (0)
- Löwenheim Leopold. Einkleidung der Mathematik in Schöderschen Relativkalkul. The journal of symbolic logic, vol. 5 (1940), pp. 1–15. (1940) (0)
- Review: Raphael M. Robinson, The Theory of Classes. A Modification of von Neumann's System (1937) (0)
- Remarks About Formalization and Models (1966) (0)
- Dreben Burton, Andrews Peter, and Aanderaa Stål. False lemmas in Herbrand. Bulletin of the American Mathematical Society , vol. 69 (1963), pp. 699–706. (1966) (0)
- Review: Kurt Bing, On the Axioms of Order and Succession (1958) (0)
- Rosser Barkley. Definition by induction in Quine's New foundations for mathematical logic. The journal of symbolic logic , vol. 4 (1939), pp. 80–81. (1940) (0)
- Rosser Barkley. On the consistency of Quine's New foundations for mathematical logic. The journal of symbolic logic , vol. 4 (1939), pp. 15–24. (1940) (0)
- Review: R. Feys, A. Borgers, The Development of Logical Thought (1951) (0)
- La quête du rationnel (1950) (0)
- Review: Paul Lorenzen, Uber Endliche Mengen (1952) (0)
- Review: T. S. Broderick, On Proving Certain Properties of the Primes by Means of the Methods of Pure Number Theory (1940) (0)
- Information and prediction in science : proceedings of a symposium sponsored by the Académie Internationale de Philosophie des Sciences, held in Brussels 3-8 September 1962 (1965) (0)
- McKinsey J. C. C.. A new definition of truth. Synthese , vol. 7 (1948–1949), pp. 428–433. (1951) (0)
This paper list is powered by the following services:
Other Resources About Paul Bernays
What Schools Are Affiliated With Paul Bernays?
Paul Bernays is affiliated with the following schools:
