230 found
Order:
  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.  7
    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.  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  
  7.  17
    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  
  8.  22
    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  
  9.  56
    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  
  10.  69
    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  
  11.  19
    Axiomatic Set Theory.Paul Bernays - 1959 - Journal of Symbolic Logic 24 (3):224-225.
    Direct download  
     
    Export citation  
     
    Bookmark   25 citations  
  12.  27
    Axiomatic Set Theory.Foundations of Set Theory.Paul Bernays, Abraham A. Fraenkel & Yehoshua Bar-Hillel - 1962 - Philosophical Review 71 (2):268-269.
  13.  23
    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  
  14.  77
    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  
  15.  57
    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  
  16.  33
    Mathematische Existenz und Widerspruchsfreiheit.Paul Bernays - 1957 - Journal of Symbolic Logic 22 (2):210-211.
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  17.  12
    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  
  18. 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  
  19.  21
    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.  55
    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.  17
    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.  27
    Logical Calculus.Paul Bernays - 1938 - Journal of Symbolic Logic 3 (4):162-163.
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  23. Ü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  
  24.  9
    A System of Axiomatic Set Theory.Paul Bernays - 1944 - Journal of Symbolic Logic 9 (3):74-75.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  25.  45
    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  
  26.  8
    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  
  27.  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.
  28.  14
    Probleme der Theoretischen Logik.Paul Bernays - 1978 - Journal of Symbolic Logic 43 (1):147-148.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  29.  16
    Uber eine Naturliche Erweiterung des Relationenkalkuls.Paul Bernays - 1962 - Journal of Symbolic Logic 27 (2):234-234.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  30.  34
    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  
  31.  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  
  32.  6
    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  
  33.  5
    Grundsätzliches zur philosophie ouverte.Paul Bernays - 1948 - Dialectica 2 (2):273-279.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  34.  16
    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  
  35.  21
    Zum begriff der dialektik.Paul Bernays - 1947 - Dialectica 1 (2):172-175.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  36.  10
    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  
  37. Axiomatic Investigations of the Propositional Calculus of Principia Mathematica.Paul Bernays - 2012 - In Bernays Paul (ed.), Universal Logic: An Anthology. pp. 43-58.
  38.  15
    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  
  39.  30
    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  
  40.  4
    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  
  41.  9
    Zum Symposium über die Grundlagen der Mathematik1.Paul Bernays - 1971 - Dialectica 25 (3‐4):171-195.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  42.  8
    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  
  43.  13
    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  
  44.  38
    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.  79
    From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931. [REVIEW]Paul Bernays - 1970 - Journal of Philosophy 67 (4):109-110.
  46.  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  
  47.  7
    Ackermann Wilhelm. Mengentheoretische Begründung der Logik. Mathematische Annalen, vol. 115 , pp. 1–22.Paul Bernays - 1938 - Journal of Symbolic Logic 3 (2):85-85.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  48.  10
    Abhandlungen zur Philosophie der Mathematik.Paul Bernays - 1976 - Darmstadt: Wissenschaftliche Buchgesellschaft, [Abt. Verl.].
  49.  3
    Über die Auffassung formaler Systeme als Sprachen.Paul Bernays - 1973 - Dialectica 27 (3‐4):359-362.
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  1
    Über das Induktionsschema in der Rekursiven Zahlentheorie.Paul Bernays - 1952 - Journal of Symbolic Logic 17 (4):272-273.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 230