• Thumbnail for Paul Bernays
    Hilbert. Bernays was born into a distinguished German-Jewish family of scholars and businessmen. His great-grandfather, Isaac ben Jacob Bernays, served...
    11 KB (1,002 words) - 09:54, 17 November 2024
  • class and set. Paul Bernays reformulated von Neumann's theory by taking class and set as primitive notions. Kurt Gödel simplified Bernays' theory for his...
    97 KB (15,661 words) - 23:21, 21 November 2024
  • Thumbnail for Edward Bernays
    Eli (1860–1921) was the brother of Freud's wife, Martha Bernays; their grandfather, Isaac Bernays (through their father Berman), was the chief rabbi of...
    75 KB (9,476 words) - 02:40, 17 January 2025
  • Bernays is a surname. Notable people with the surname include: Adolphus Bernays (1795–1864), professor of German in London; brother of Isaac Bernays and...
    1 KB (214 words) - 14:46, 20 September 2023
  • Thumbnail for Martha Bernays
    Martha Bernays (/bɜːrˈneɪz/ bur-NAYZ, German: [bɛʁˈnaɪs]; 26 July 1861 – 2 November 1951) was the wife of Austrian psychoanalyst Sigmund Freud. Bernays was...
    11 KB (1,309 words) - 21:43, 9 January 2025
  • facsimile on the left-hand sides. The Hilbert Bernays Project is producing an English translation. Hilbert–Bernays paradox Sieg, Wilfried; Ravaglia, Mark (2005)...
    5 KB (428 words) - 09:19, 26 June 2024
  • The Bernays–Schönfinkel class (also known as Bernays–Schönfinkel–Ramsey class) of formulas, named after Paul Bernays, Moses Schönfinkel and Frank P. Ramsey...
    3 KB (317 words) - 21:57, 25 January 2024
  • Thumbnail for Bernays family
    "Bernays" in lieu of Beer or Baer. Children of two sons of Issac Bernays (1742 - 1821), namely Lucian Henry Bernays (1771 - 1825) and Klemenz Bernays (1773...
    13 KB (1,648 words) - 04:02, 31 October 2024
  • 4153/CMB-1983-062-5 Bernays proved that the axiom of dependent choice implies the axiom of countable choice See esp. p. 86 in Bernays, Paul (1942). "Part III...
    9 KB (950 words) - 00:45, 27 July 2024
  • In mathematical logic, the Hilbert–Bernays provability conditions, named after David Hilbert and Paul Bernays, are a set of requirements for formalized...
    8 KB (1,397 words) - 01:39, 27 March 2024
  • Thumbnail for Gerhard Gentzen
    camp in Prague in 1945. Gentzen was a student of Paul Bernays at the University of Göttingen. Bernays was fired as "non-Aryan" in April 1933 and therefore...
    13 KB (1,080 words) - 02:09, 6 January 2025
  • Paul Joseph Cohen (April 2, 1934 – March 23, 2007) was an American mathematician. He is best known for his proofs that the continuum hypothesis and the...
    15 KB (1,604 words) - 23:40, 15 January 2025
  • announced by Paul Bernays in 1941, although he did not publish a proof until 1954. The proof involves (and led to the study of) Rieger-Bernays permutation...
    24 KB (2,939 words) - 01:28, 28 December 2024
  • that Bernays determined the independence of the axioms of Principia Mathematica, a result not published until 1926, but he says nothing about Bernays proving...
    20 KB (2,914 words) - 10:37, 10 January 2025
  • likewise not used by the Hilbert–Bernays paradox) have claimed that h refers to more than one object. Hilbert, David; Bernays, Paul (1939). Grundlagen der Mathematik...
    4 KB (507 words) - 06:09, 28 November 2024
  • at Harvard the same year. During the early 1950s, Wang studied with Paul Bernays in Zürich. In 1956, he was appointed Reader in the Philosophy of Mathematics...
    9 KB (935 words) - 13:50, 11 December 2024
  • natural numbers. The axiom of infinity is also one of the von Neumann–Bernays–Gödel axioms. The infinite set I is a superset of the natural numbers....
    11 KB (1,801 words) - 23:23, 21 November 2024
  • a quarterly philosophy journal founded in 1947 by Gaston Bachelard, Paul Bernays and Ferdinand Gonseth. It was published by Blackwell between 2004 and...
    2 KB (77 words) - 11:15, 22 May 2024
  • Thumbnail for Isaac Bernays
    little book. Bernays' best known pupil was Samson Raphael Hirsch, the founder of neo-Orthodoxy. Of his sons, the philologist Jacob Bernays, professor and...
    7 KB (875 words) - 14:44, 8 November 2024
  • Thumbnail for Saunders Mac Lane
    greatest influences there were Paul Bernays and Hermann Weyl. By the time he finished his doctorate in 1934, Bernays had been forced to leave because...
    17 KB (1,625 words) - 19:41, 18 January 2025
  • Thumbnail for De Morgan's laws
    paradox Suslin's problem Burali-Forti paradox Set theorists Paul Bernays Georg Cantor Paul Cohen Richard Dedekind Abraham Fraenkel Kurt Gödel Thomas Jech...
    22 KB (3,604 words) - 08:46, 13 January 2025
  • Foundation from the rest of ZF were published in 1950s particularly by Paul Bernays (1954), following an announcement of the result in an earlier paper of...
    13 KB (1,481 words) - 18:58, 2 December 2024
  • paradox Suslin's problem Burali-Forti paradox Set theorists Paul Bernays Georg Cantor Paul Cohen Richard Dedekind Abraham Fraenkel Kurt Gödel Thomas Jech...
    6 KB (835 words) - 07:05, 15 October 2024
  • Behmann and Paul Bernays, who were familiar with Schönfinkel's work. Curry was supervised by David Hilbert and worked closely with Bernays, receiving a...
    14 KB (1,353 words) - 10:09, 17 November 2024
  • Thumbnail for Subset
    paradox Suslin's problem Burali-Forti paradox Set theorists Paul Bernays Georg Cantor Paul Cohen Richard Dedekind Abraham Fraenkel Kurt Gödel Thomas Jech...
    11 KB (1,726 words) - 02:28, 12 December 2024
  • Earl Baumgartner Eyo Malachy Paul Bernays Andreas Blass George Boolos Bourbaki Georg Cantor Paul Cohen Richard Dedekind Paul Finsler Matthew Foreman Abraham...
    9 KB (450 words) - 01:49, 26 October 2024
  • Thumbnail for Transfinite induction
    paradox Suslin's problem Burali-Forti paradox Set theorists Paul Bernays Georg Cantor Paul Cohen Richard Dedekind Abraham Fraenkel Kurt Gödel Thomas Jech...
    8 KB (1,142 words) - 11:05, 24 October 2024
  • Brilliant Math & Science Wiki". brilliant.org. Retrieved 2020-08-10. Halmos, Paul R. (1974) [1960], Naive Set Theory, Undergraduate Texts in Mathematics (Hardcover ed...
    7 KB (846 words) - 01:05, 13 January 2025
  • Thumbnail for David Hilbert
    1930), Emmy Noether and Edmund Landau. One who had to leave Germany, Paul Bernays, had collaborated with Hilbert in mathematical logic, and co-authored...
    59 KB (7,101 words) - 19:22, 7 January 2025
  • Thumbnail for Cartesian product
    paradox Suslin's problem Burali-Forti paradox Set theorists Paul Bernays Georg Cantor Paul Cohen Richard Dedekind Abraham Fraenkel Kurt Gödel Thomas Jech...
    21 KB (2,821 words) - 15:28, 14 June 2024