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 +1888-10-17T00:00:00Z[3]. He died in Zurich[4]. He died on +1977-09-18T00:00:00Z[5]. He worked as a mathematician[6] and philosopher[7]. He ranks in the top 0.73% of human entities by monthly Wikipedia readership (47 views/month, #7,257 of 1,000,298).[8]

Key Facts

  • Paul Bernays's place of birth was London[2].
  • Paul Bernays passed away in Zurich[4].
  • Paul Bernays was born on +1888-10-17T00:00:00Z[3].
  • Paul Bernays died on +1977-09-18T00:00:00Z[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 +1888-10-17T00:00:00Z[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 +1977-09-18T00:00:00Z[5]. He passed away in Zurich[4]. He is buried at cremation[9].

Why It Matters

Paul Bernays ranks in the top 0.73% of human entities by monthly Wikipedia readership (47 views/month, #7,257 of 1,000,298).[8] He has Wikipedia articles in 15 language editions, a strong signal of global cultural recognition.[85] He is known by 14 alternative names across languages and contexts.[86]

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

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

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. [87] . wikidata.org. → on this site
  2. [93] . wikidata.org. → on this site
  3. [98] . wikidata.org. → on this site
  4. [104] . wikidata.org. → on this site
  5. [109] . 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. [88] . Wikidata. wikidata.org. → on this site
  50. [89] . Wikidata. wikidata.org. → on this site
  51. [90] . Wikidata. wikidata.org. → on this site
  52. [91] . Wikidata. wikidata.org. → on this site
  53. [92] . Wikidata. wikidata.org. → on this site
  54. [94] . Wikidata. wikidata.org. → on this site
  55. [95] . Wikidata. wikidata.org. → on this site
  56. [96] . Wikidata. wikidata.org. → on this site
  57. [97] . Wikidata. wikidata.org. → on this site
  58. [99] . Wikidata. wikidata.org. → on this site
  59. [100] . Wikidata. wikidata.org. → on this site
  60. [101] . Wikidata. wikidata.org. → on this site
  61. [102] . Wikidata. wikidata.org. → on this site
  62. [103] . Wikidata. wikidata.org. → on this site
  63. [105] . Wikidata. wikidata.org. → on this site
  64. [106] . Wikidata. wikidata.org. → on this site
  65. [107] . Wikidata. wikidata.org. → on this site
  66. [108] . Wikidata. wikidata.org. → on this site
  67. [110] . Wikidata. wikidata.org. → on this site
  68. [111] . Wikidata. wikidata.org. → on this site
  69. [112] . Wikidata. wikidata.org. → on this site
  70. [113] . Wikidata. wikidata.org. → on this site

Class ancestry

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

Aggregate / graph-position facts

  1. [8] . Wikimedia Foundation. dumps.wikimedia.org.
  2. [85] . Wikidata sitelinks. wikidata.org.
  3. [86] . 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: