248 found
Order:
Disambiguations
Paul Bernays [232]P. Bernays [17]Prof P. Bernays [1]
  1.  38
    Grundlagen der Mathematik I.David Hilbert & Paul Bernays - 1968 - Springer.
    Die Leitgedanken meiner Untersuchungen über die Grundlagen der Mathematik, die ich - anknüpfend an frühere Ansätze - seit 1917 in Besprechungen mit P. BERNAYS wieder aufgenommen habe, sind von mir an verschiedenen Stellen eingehend dargelegt worden. Diesen Untersuchungen, an denen auch W. ACKERMANN beteiligt ist, haben sich seither noch verschiedene Mathematiker angeschlossen. Der hier in seinem ersten Teil vorliegende, von BERNAYS abgefaßte und noch fortzusetzende Lehrgang bezweckt eine Darstellung der Theorie nach ihren heutigen Ergebnissen. Dieser Ergebnisstand weist zugleich die Richtung (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   109 citations  
  2.  2
    Die Grundlagen der Mathematik.David Hilbert, Hermann Weyl & Paul Bernays - 2013 - Springer Verlag.
    Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind. Der Verlag stellt mit diesem Archiv Quellen für die historische wie auch die disziplingeschichtliche Forschung zur Verfügung, die jeweils im historischen Kontext betrachtet werden müssen. Dieser Titel erschien in der Zeit vor 1945 und wird daher in seiner zeittypischen politisch-ideologischen Ausrichtung vom Verlag nicht beworben.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   53 citations  
  3.  5
    Foundations of Geometery.David Hilbert & Paul Bernays - 1971 - Open Court.
    The material contained in the following translation was given in substance by Professor Hilbertas a course of lectures on euclidean geometry at the University of G]ottingen during the wintersemester of 1898-1899. The results of his investigation were re-arranged and put into the formin which they appear here as a memorial address published in connection with the celebration atthe unveiling of the Gauss-Weber monument at G]ottingen, in June, 1899. In the French edition, which appeared soon after, Professor Hilbert made some additions, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   40 citations  
  4. Sur le platonisme dans les mathématiques.Paul Bernays - 1935 - L’Enseignement Mathematique 34:52--69.
    No categories
     
    Export citation  
     
    Bookmark   48 citations  
  5.  5
    Grundlagen der mathematik.David Hilbert & Paul Bernays - 1934 - Berlin,: J. Springer. Edited by Paul Bernays.
  6.  31
    Grundlagen der Mathematik II.D. Hilbert & P. Bernays - 1974 - Journal of Symbolic Logic 39 (2):357-357.
    Direct download  
     
    Export citation  
     
    Bookmark   44 citations  
  7.  30
    Investigations into Logical Deduction.Gerhard Gentzen, M. E. Szabo & Paul Bernays - 1970 - Journal of Symbolic Logic 35 (1):144-145.
    Direct download  
     
    Export citation  
     
    Bookmark   42 citations  
  8.  16
    Meaning and Necessity: A Study in Semantics and Modal Logic.Paul Bernays - 1950 - Journal of Symbolic Logic 14 (4):237-241.
    Direct download  
     
    Export citation  
     
    Bookmark   36 citations  
  9.  20
    Abhandlungen zur Philosophie der Mathematik.G. T. Kneebone & Paul Bernays - 1977 - Philosophical Quarterly 27 (106):72.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   32 citations  
  10.  88
    A system of axiomatic set theory—Part I.Paul Bernays - 1937 - Journal of Symbolic Logic 2 (1):65-77.
    Introduction. The system of axioms for set theory to be exhibited in this paper is a modification of the axiom system due to von Neumann. In particular it adopts the principal idea of von Neumann, that the elimination of the undefined notion of a property (“definite Eigenschaft”), which occurs in the original axiom system of Zermelo, can be accomplished in such a way as to make the resulting axiom system elementary, in the sense of being formalizable in the logical calculus (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   30 citations  
  11.  67
    Die Philosophie der Mathematik und die Hilbertsche Beweistheorie.Paul Bernays - 1978 - Journal of Symbolic Logic 43 (1):148-149.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   30 citations  
  12.  18
    Axiomatic Set Theory.Paul Bernays - 1959 - Journal of Symbolic Logic 24 (3):224-225.
    Direct download  
     
    Export citation  
     
    Bookmark   25 citations  
  13.  23
    Axiomatic Set Theory.Foundations of Set Theory.Paul Bernays, Abraham A. Fraenkel & Yehoshua Bar-Hillel - 1962 - Philosophical Review 71 (2):268-269.
  14.  20
    Zur Frage der Unendlichkeitsschemata in der axiomatischen Mengenlehre.Paul Bernays - 1961 - In Bar-Hillel, Yehoshua & [From Old Catalog] (eds.), Essays on the Foundations of Mathematics. Jerusalem,: Magnes Press. pp. 3--49.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   17 citations  
  15.  71
    A system of axiomatic set theory - Part VII.Paul Bernays - 1954 - Journal of Symbolic Logic 19 (2):81-96.
    The reader of Part VI will have noticed that among the set-theoretic models considered there some models were missing which were announced in Part II for certain proofs of independence. These models will be supplied now.Mainly two models have to be constructed: one with the property that there exists a set which is its own only element, and another in which the axioms I–III and VII, but not Va, are satisfied. In either case we need not satisfy the axiom of (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  16.  53
    A system of axiomatic set theory—Part II.Paul Bernays - 1941 - Journal of Symbolic Logic 6 (1):1-17.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  17.  32
    Mathematische Existenz und Widerspruchsfreiheit.Paul Bernays - 1957 - Journal of Symbolic Logic 22 (2):210-211.
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  18.  11
    Zur Frage der Unendlichkeitsschemata in der Axiomatischen Mengenlehre.Paul Bernays - 1962 - Journal of Symbolic Logic 27 (3):353-354.
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  19.  20
    Solvable Cases of the Decision Problem.Paul Bernays - 1957 - Journal of Symbolic Logic 22 (1):68-72.
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  20.  52
    A system of axiomatic set theory: Part IV. general set theory.Paul Bernays - 1942 - Journal of Symbolic Logic 7 (4):133-145.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  21.  14
    Die schematische Korrespondenz und die idealisierten Strukturen.Paul Bernays - 1970 - Dialectica 24 (1‐3):53-66.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  22.  26
    Logical Calculus.Paul Bernays - 1938 - Journal of Symbolic Logic 3 (4):162-163.
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  23. A system of axiomatic set theory. Part III. Infinity and enumerability. Analysis.Paul Bernays - 1942 - Journal of Symbolic Logic 7 (2):65-89.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  24. Über eine natürliche Erweiterung des Relationenkalkuls.Paul Bernays - 1959 - In A. Heyting (ed.), Constructivity in mathematics. Amsterdam,: North-Holland Pub. Co.. pp. 1--14.
    No categories
     
    Export citation  
     
    Bookmark   8 citations  
  25.  7
    A System of Axiomatic Set Theory.Paul Bernays - 1944 - Journal of Symbolic Logic 9 (3):74-75.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  26.  44
    A system of axiomatic set theory—Part VI.Paul Bernays - 1948 - Journal of Symbolic Logic 13 (2):65-79.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  27. Zur Beurteilung der Situation in der beweistheoretischen Forschung.P. Bernays - 1954 - Revue Internationale de Philosophie 8 (27/28):9-13.
    No categories
     
    Export citation  
     
    Bookmark   5 citations  
  28.  7
    A System of Axiomatic Set Theory--Part I.Paul Bernays - 1938 - Journal of Symbolic Logic 3 (1):49-49.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  29.  16
    On the Original Gentzen Consistency Proof for Number Theory.Paul Bernays, A. Kino, J. Myhill & R. E. Vesley - 1975 - Journal of Symbolic Logic 40 (1):95-95.
  30.  13
    Probleme der Theoretischen Logik.Paul Bernays - 1978 - Journal of Symbolic Logic 43 (1):147-148.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  31.  14
    Uber eine Naturliche Erweiterung des Relationenkalkuls.Paul Bernays - 1962 - Journal of Symbolic Logic 27 (2):234-234.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  32. A system of axiomatic set theory. Part V. General set theory continued.Paul Bernays - 1943 - Journal of Symbolic Logic 8:89.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  33.  19
    Über die Ausdehnung des Begriffes der Komplementarität auf die Philosophie.Paul Bernays - 1948 - Synthese 7 (1):66 - 70.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  34.  5
    Bemerkungen zu Lorenzen's stellungnahme in der philosophie der mathematik.Paul Bernays - 1978 - In Kuno Lorenz (ed.), Konstruktionen Versus Positionen: Beiträge Zur Diskussion Um Die Konstruktive Wissenschaftstheorie. Bd 1: Spezielle Wissenschaftstheorie. Bd 2: Allgemeine Wissenschaftstheorie. Paul Lorenzen Zum 60. Geburtstag. New York: De Gruyter. pp. 3-16.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  35.  5
    Grundsätzliches zur philosophie ouverte.Paul Bernays - 1948 - Dialectica 2 (2):273-279.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  36.  20
    Von der syntax der sprache zur philosophie der wissenschaften.Paul Bernays - 1957 - Dialectica 11 (3-4):233-246.
    ZusammenfassungAn Hand der Betrachtung einiger Hauptzüge in der neueren Entwicklung der Philosophie des logischen Empirismus und nahestehender Richtungen wird dargelegt, wie die Korrektur der zu simplifizierenden Thesen in dem ursprünglichen Programm der Wiener Schule auf eine Auseinandersetzung mit den traditionellen erkenntnistheoretischen Problemen zurückführt. — P.B.RésuméCe travail prend en considération certains développements récents de l'empirisme logique et des points de vues apparentés. Ces développements tendent sinon à un abandon, du moins à une revision de certaines positions par trop simplificatrices, tout d'abord (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  37.  18
    Zum begriff der dialektik.Paul Bernays - 1947 - Dialectica 1 (2):172-175.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  38.  8
    Zur frage der anknüpfung an die kantische erkenntnistheorie: Eine kritische erörterung.Paul Bernays - 1955 - Dialectica 9 (1-2):23-65.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  39. Axiomatic Investigations of the Propositional Calculus of Principia Mathematica.Paul Bernays - 2012 - In Bernays Paul (ed.), Universal Logic: An Anthology. pp. 43-58.
  40.  53
    Quelques points de vue concernant le probleme de l'evidence.P. Bernays - 1946 - Synthese 5 (7):321-326.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  41.  13
    Myhill John. Creative sets. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 1 , pp. 97–108.Paul Bernays - 1957 - Journal of Symbolic Logic 22 (1):73-76.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  42.  29
    Uber den Platonismus in der Mathematik.Paul Bernays - 1978 - Journal of Symbolic Logic 43 (1):149-149.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  43.  11
    Zur frage der anknüpfung an die kantische erkenntnistheorie: Eine kritische erörterung.Paul Bernays - 1955 - Dialectica 9 (3-4):195-221.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  44.  63
    Zur Rolle der Sprache in erkenntnistheoretischer Hinsicht.Paul Bernays - 1961 - Synthese 13 (3):185-200.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  45.  7
    Zum Symposium über die Grundlagen der Mathematik1.Paul Bernays - 1971 - Dialectica 25 (3‐4):171-195.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  46.  7
    Essai sur Les Notions de Structure et D'Existence en Mathématiques.Paul Bernays - 1940 - Journal of Symbolic Logic 5 (1):20-22.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  47.  11
    Mathematische Existenz und Widerspruchfreiheit.K. Schutte & Paul Bernays - 1978 - Journal of Symbolic Logic 43 (1):150.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  48.  86
    From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931. [REVIEW]Paul Bernays - 1970 - Journal of Philosophy 67 (4):109-110.
  49.  57
    Kurt Schütte. Probleme und Methoden der Beweistheorie. Studium generale, vol. 18 , pp. 562–567.Paul Bernays - 1968 - Journal of Symbolic Logic 33 (4):604-605.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  50.  3
    A System of Axiomatic Set Theory--Part VI.Paul Bernays - 1948 - Journal of Symbolic Logic 13 (4):220-221.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 248