Paul Bernays

URI: https://gptkb.org/entity/Paul_Bernays

GPTKB entity

AI-created image

Predicate	Object
gptkbp:instanceOf	gptkb:logic gptkb:mathematician gptkb:person
gptkbp:almaMater	gptkb:University_of_Göttingen
gptkbp:birthDate	1888-10-17
gptkbp:birthPlace	gptkb:London
gptkbp:collaboratedWith	gptkb:David_Hilbert
gptkbp:deathDate	1977-09-18
gptkbp:deathPlace	gptkb:Zürich
gptkbp:doctoralAdvisor	gptkb:Edmund_Landau
gptkbp:employer	gptkb:ETH_Zurich
gptkbp:field	gptkb:logic gptkb:set_theory foundations of mathematics
https://www.w3.org/2000/01/rdf-schema#label	Paul Bernays
gptkbp:influenced	gptkb:Gérard_Gentzen gptkb:Kurt_Gödel
gptkbp:influencedBy	gptkb:David_Hilbert gptkb:Edmund_Landau
gptkbp:knownFor	gptkb:Hilbert–Bernays_paradox work on formalism in mathematics
gptkbp:nationality	gptkb:German Swiss
gptkbp:notableStudent	gptkb:Gérard_Gentzen
gptkbp:notableWork	gptkb:Grundlagen_der_Mathematik gptkb:von_Neumann–Bernays–Gödel_set_theory
gptkbp:spouse	gptkb:Hilda_Geiringer
gptkbp:bfsParent	gptkb:David_Hilbert
gptkbp:bfsLayer	3