Paul Bernays

Swiss mathematician (1888–1977)
Person human Q122318
Paul Bernays
Franz Schmelhaus · Public Domain · Wikimedia
Press Enter · cited answer in seconds

Paul Bernays

Summary

Paul Bernays is a human[1]. His place of birth was London[2]. He was born on October 17, 1888[3]. He died in Zurich[4]. He died on September 18, 1977[5]. He worked as a mathematician[6] and philosopher[7]. He has Wikipedia articles in 15 language editions, a strong signal of global cultural recognition.[8]

Key Facts

  • Paul Bernays's place of birth was London[2].
  • Paul Bernays passed away in Zurich[4].
  • Paul Bernays was born on October 17, 1888[3].
  • Paul Bernays died on September 18, 1977[5].
  • Burial took place at cremation[9].
  • Paul Bernays held citizenship in Switzerland[10].
  • Paul Bernays's professions included mathematician[6].
  • Paul Bernays worked as a philosopher[7].
  • Paul Bernays's field of work was mathematical logic[11].
  • Paul Bernays's field of work was set theory[12].
  • Paul Bernays was employed by University of Zurich[13].
  • Paul Bernays was employed by University of Göttingen[14].
  • Among Paul Bernays's employers was ETH Zurich[15].
  • Paul Bernays's education included a stint at Humboldt-Universität zu Berlin[16].
  • Paul Bernays was educated at University of Göttingen[17].
  • Paul Bernays was educated at Köllnisches Gymnasium[18].
  • Paul Bernays's doctoral advisor was Edmund Landau[19].
  • A notable student of Paul Bernays was Haskell Curry[20].
  • A notable student of Paul Bernays was Oswald Wyler[21].
  • A notable work attributed to Paul Bernays is Hilbert–Bernays paradox[22].
  • A notable work attributed to Paul Bernays is Von Neumann–Bernays–Gödel set theory[23].
  • A notable work attributed to Paul Bernays is Bernays–Schönfinkel class[24].
  • A notable work attributed to Paul Bernays is Hilbert–Bernays provability conditions[25].
  • Paul Bernays was a member of The Royal Academies for Science and the Arts of Belgium[26].
  • Paul Bernays was a member of Norwegian Academy of Science and Letters[27].

Body

Origins and Family

Paul Bernays's place of birth was London[2]. He was born on October 17, 1888[3].

Education

Educated at Humboldt-Universität zu Berlin[16], a comprehensive university[28], in Germany[29], founded in 1809[30], headquartered in Berlin[31]; University of Göttingen[17], a campus university[32], in Germany[33], founded in 1734[34], headquartered in Göttingen[35]; and Köllnisches Gymnasium[18], a school[36], in Germany[37]. Paul Bernays's doctoral advisor was Edmund Landau[19]. Academic degrees include Doctor of Philosophy[38] and habilitation[39].

Career and Affiliations

Recorded occupations include mathematician[6] and philosopher[7]. Fields of work include mathematical logic[11], a branch of mathematics[40] and set theory[12], a branch of mathematics[41]. Employers include University of Zurich[13], a university[42], in Switzerland[43], founded in 1833[44], headquartered in Zurich[45]; University of Göttingen[14], a campus university[46], in Germany[47], founded in 1734[48], headquartered in Göttingen[49]; and ETH Zurich[15], an institute of technology[50], in Switzerland[51], founded in 1855[52], headquartered in ETH Zurich main building[53]. Notable students include Haskell Curry[20] and Oswald Wyler[21]. Doctoral students include Martin Altwegg[54], a microbiologist[55], of Switzerland[56]; Corrado Böhm[57], a mathematician[58], 1923–2017[59], of Kingdom of Italy[60], awarded the EATCS award[61], specialised in computer science[62]; Julius Richard Büchi[63], a mathematician[64], 1924–1984[65], of Switzerland[66], specialised in mathematics[67]; Erwin Engeler[68], a mathematician[69], b. 1930[70], of Switzerland[71], awarded the ACM Fellow[72]; Gerhard Gentzen[73], a mathematician[74], 1909–1945[75], of Kingdom of Prussia[76], specialised in mathematics[77]; and Saunders Mac Lane[78], a mathematician[79], 1909–2005[80], of United States[81], awarded the Guggenheim Fellowship[82], specialised in algebra[83].

Works and Contributions

Notable works include Hilbert–Bernays paradox[22], Von Neumann–Bernays–Gödel set theory[23], Bernays–Schönfinkel class[24], and Hilbert–Bernays provability conditions[25]. Things named for Paul Bernays include Von Neumann–Bernays–Gödel set theory[84].

Death and Burial

Paul Bernays died on September 18, 1977[5]. He passed away in Zurich[4]. He is buried at cremation[9].

Why It Matters

Paul Bernays has Wikipedia articles in 15 language editions, a strong signal of global cultural recognition.[8] He is known by 14 alternative names across languages and contexts.[85]

Entities named for him include Von Neumann–Bernays–Gödel set theory[84].

His notable doctoral advisees include Saunders Mac Lane[86], a mathematician[87], 1909–2005[88], of United States[89], awarded the Guggenheim Fellowship[90], specialised in algebra[91]; Gerhard Gentzen[92], a mathematician[93], 1909–1945[94], of Kingdom of Prussia[95], specialised in mathematics[96]; Corrado Böhm[97], a mathematician[98], 1923–2017[99], of Kingdom of Italy[100], awarded the EATCS award[101], specialised in computer science[102]; Erwin Engeler[103], a mathematician[104], b. 1930[105], of Switzerland[106], awarded the ACM Fellow[107]; and Julius Richard Büchi[108], a mathematician[109], 1924–1984[110], of Switzerland[111], specialised in mathematics[112].

FAQs

Where was Paul Bernays born?

Paul Bernays was born in London[2].

Where did Paul Bernays die?

Paul Bernays passed away in Zurich[4].

What did Paul Bernays do for work?

Paul Bernays worked as mathematician[6] and philosopher[7].

Where did Paul Bernays go to school?

Paul Bernays was educated at Humboldt-Universität zu Berlin[16], University of Göttingen[17], and Köllnisches Gymnasium[18].

References

Programmatic citations — every numbered marker resolves to a verifiable graph row below.

Direct Wikidata claims

  1. [2] . wikidata.org.
  2. [4] . Integrated Authority File. Retrieved . wikidata.org.
  3. [10] . wikidata.org.
  4. [16] . phil.cmu.edu. Retrieved . phil.cmu.edu. Provenance: wikidata.org.
  5. [17] . phil.cmu.edu. Retrieved . phil.cmu.edu. Provenance: wikidata.org.
  6. [18] . MacTutor History of Mathematics archive. wikidata.org.
  7. [11] . wikidata.org.
  8. [12] . wikidata.org.
  9. [6] . wikidata.org.
  10. [7] . wikidata.org.
  11. [13] . wikidata.org.
  12. [14] . MacTutor History of Mathematics archive. wikidata.org.
  13. [15] . MacTutor History of Mathematics archive. wikidata.org.
  14. [9] . Find a Grave. wikidata.org.
  15. [19] . wikidata.org.
  16. [54] . Mathematics Genealogy Project. wikidata.org.
  17. [57] . Mathematics Genealogy Project. wikidata.org.
  18. [63] . Mathematics Genealogy Project. wikidata.org.
  19. [68] . Mathematics Genealogy Project. wikidata.org.
  20. [73] . Mathematics Genealogy Project. wikidata.org.
  21. [78] . Mathematics Genealogy Project. wikidata.org.
  22. [26] . MacTutor History of Mathematics archive. wikidata.org.
  23. [27] . MacTutor History of Mathematics archive. wikidata.org.
  24. [38] . Mathematics Genealogy Project. wikidata.org.
  25. [39] . MacTutor History of Mathematics archive. Retrieved . www-history.mcs.st-andrews.ac.uk. Provenance: wikidata.org.
  26. [3] . Integrated Authority File. Retrieved . wikidata.org.
  27. [5] . Integrated Authority File. Retrieved . wikidata.org.
  28. [22] . wikidata.org.
  29. [23] . wikidata.org.
  30. [24] . wikidata.org.
  31. [25] . wikidata.org.
  32. [20] . wikidata.org.
  33. [21] . Mathematics Genealogy Project. wikidata.org.

Inverse relationships (entities pointing at this one)

  1. [86] . wikidata.org. → on this site
  2. [92] . wikidata.org. → on this site
  3. [97] . wikidata.org. → on this site
  4. [103] . wikidata.org. → on this site
  5. [108] . wikidata.org. → on this site
  6. [84] . wikidata.org. → on this site

Inline context (facts about related entities)

  1. [28] . Wikidata. wikidata.org. → on this site
  2. [29] . Wikidata. wikidata.org. → on this site
  3. [30] . Wikidata. wikidata.org. → on this site
  4. [31] . Wikidata. wikidata.org. → on this site
  5. [32] . Wikidata. wikidata.org. → on this site
  6. [33] . Wikidata. wikidata.org. → on this site
  7. [34] . Wikidata. wikidata.org. → on this site
  8. [35] . Wikidata. wikidata.org. → on this site
  9. [36] . Wikidata. wikidata.org. → on this site
  10. [37] . Wikidata. wikidata.org. → on this site
  11. [40] . Wikidata. wikidata.org. → on this site
  12. [41] . Wikidata. wikidata.org. → on this site
  13. [42] . Wikidata. wikidata.org. → on this site
  14. [43] . Wikidata. wikidata.org. → on this site
  15. [44] . Wikidata. wikidata.org. → on this site
  16. [45] . Wikidata. wikidata.org. → on this site
  17. [46] . Wikidata. wikidata.org. → on this site
  18. [47] . Wikidata. wikidata.org. → on this site
  19. [48] . Wikidata. wikidata.org. → on this site
  20. [49] . Wikidata. wikidata.org. → on this site
  21. [50] . Wikidata. wikidata.org. → on this site
  22. [51] . Wikidata. wikidata.org. → on this site
  23. [52] . Wikidata. wikidata.org. → on this site
  24. [53] . Wikidata. wikidata.org. → on this site
  25. [55] . Wikidata. wikidata.org. → on this site
  26. [56] . Wikidata. wikidata.org. → on this site
  27. [58] . Wikidata. wikidata.org. → on this site
  28. [59] . Wikidata. wikidata.org. → on this site
  29. [60] . Wikidata. wikidata.org. → on this site
  30. [61] . Wikidata. wikidata.org. → on this site
  31. [62] . Wikidata. wikidata.org. → on this site
  32. [64] . Wikidata. wikidata.org. → on this site
  33. [65] . Wikidata. wikidata.org. → on this site
  34. [66] . Wikidata. wikidata.org. → on this site
  35. [67] . Wikidata. wikidata.org. → on this site
  36. [69] . Wikidata. wikidata.org. → on this site
  37. [70] . Wikidata. wikidata.org. → on this site
  38. [71] . Wikidata. wikidata.org. → on this site
  39. [72] . Wikidata. wikidata.org. → on this site
  40. [74] . Wikidata. wikidata.org. → on this site
  41. [75] . Wikidata. wikidata.org. → on this site
  42. [76] . Wikidata. wikidata.org. → on this site
  43. [77] . Wikidata. wikidata.org. → on this site
  44. [79] . Wikidata. wikidata.org. → on this site
  45. [80] . Wikidata. wikidata.org. → on this site
  46. [81] . Wikidata. wikidata.org. → on this site
  47. [82] . Wikidata. wikidata.org. → on this site
  48. [83] . Wikidata. wikidata.org. → on this site
  49. [87] . Wikidata. wikidata.org. → on this site
  50. [88] . Wikidata. wikidata.org. → on this site
  51. [89] . Wikidata. wikidata.org. → on this site
  52. [90] . Wikidata. wikidata.org. → on this site
  53. [91] . Wikidata. wikidata.org. → on this site
  54. [93] . Wikidata. wikidata.org. → on this site
  55. [94] . Wikidata. wikidata.org. → on this site
  56. [95] . Wikidata. wikidata.org. → on this site
  57. [96] . Wikidata. wikidata.org. → on this site
  58. [98] . Wikidata. wikidata.org. → on this site
  59. [99] . Wikidata. wikidata.org. → on this site
  60. [100] . Wikidata. wikidata.org. → on this site
  61. [101] . Wikidata. wikidata.org. → on this site
  62. [102] . Wikidata. wikidata.org. → on this site
  63. [104] . Wikidata. wikidata.org. → on this site
  64. [105] . Wikidata. wikidata.org. → on this site
  65. [106] . Wikidata. wikidata.org. → on this site
  66. [107] . Wikidata. wikidata.org. → on this site
  67. [109] . Wikidata. wikidata.org. → on this site
  68. [110] . Wikidata. wikidata.org. → on this site
  69. [111] . Wikidata. wikidata.org. → on this site
  70. [112] . Wikidata. wikidata.org. → on this site

Class ancestry

  1. [1] . Wikidata. wikidata.org.

Aggregate / graph-position facts

  1. [8] . Wikidata sitelinks. wikidata.org.
  2. [85] . Wikidata aliases. wikidata.org.

📑 Cite this page

Use these citations when quoting this entity in research, articles, AI prompts, or wherever provenance matters. We aggregate Wikidata + Wikipedia + authoritative open-data sources; the stitched, scored, cross-referenced view is what 4ort.xyz contributes.

APA 4ort.xyz Knowledge Graph. (2026). Paul Bernays. Retrieved April 10, 2026, from https://4ort.xyz/entity/paul-bernays
MLA “Paul Bernays.” 4ort.xyz Knowledge Graph, 4ort.xyz, 10 Apr. 2026, https://4ort.xyz/entity/paul-bernays.
BibTeX @misc{4ortxyz_paul-bernays_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{Paul Bernays}}, year = {2026}, url = {https://4ort.xyz/entity/paul-bernays}, note = {Accessed: 2026-04-10}}
LLM prompt According to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): Paul Bernays — https://4ort.xyz/entity/paul-bernays (retrieved 2026-04-10)

Canonical URL: https://4ort.xyz/entity/paul-bernays · Last refreshed:

Edit History

Rolling log of changes to this entity's Wikidata record. Values shown reflect the current state of each edited property — follow the history link to see the precise diff for any edit.

  1. 26d ago · Robertsilen · 2026-06-14 view diff on Wikidata ↗
    Student Haskell Curry, Oswald Wyler
    Occupation mathematician, philosopher
    "/* wbeditentity-update:0| */ QuickStatements 3.0 [[:toollabs:qs-dev/batch/36495|batch #36495]]: P1066 student till, blf.fi, inverse"
Live feed via Wikidata EventStreams. New edits appear within minutes of being made on Wikidata.