Properties (56)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Mathematician
Philosopher |
| gptkbp:affiliation |
gptkb:University_of_Zurich
gptkb:ETH_Zurich |
| gptkbp:awards |
gptkb:Cantor_Medal
|
| gptkbp:born |
April 17, 1888
|
| gptkbp:contribution |
gptkb:Bernays–Schönfinkel_class
Work on the philosophy of science Influence on modern logic Research on mathematical modeling Research on the epistemology of mathematics Influence on the philosophy of language Work on the foundations of geometry Influence on the philosophy of technology Development of axiomatic set theory Foundations of set theory Mathematical logic development Research on mathematical intuitionism Research on the nature of mathematical truth Influence on mathematical philosophy Philosophical analysis of mathematics Work on the philosophy of logic Development of proof theory Formalization of mathematics Research on the philosophy of mathematics education Influence on contemporary mathematics Influence on mathematical logic education Influence on mathematical research methodology Philosophical foundations of mathematics Research on mathematical consistency Research on mathematical decidability Research on mathematical proof Research on the ethics of mathematics Research on the foundations of arithmetic Research on the future of mathematics. Research on the role of mathematics in technology Research on the sociology of mathematics Work on mathematical applications in science Work on mathematical completeness Work on the cultural impact of mathematics Work on the foundations of logic Work on the history of mathematics Bernays'_theorem Collaboration_with_Hilbert |
| gptkbp:died |
September 18, 1977
|
| gptkbp:field |
Mathematics
|
| https://www.w3.org/2000/01/rdf-schema#label |
Paul Bernays
|
| gptkbp:influenced |
gptkb:Gottlob_Frege
|
| gptkbp:influencedBy |
gptkb:David_Hilbert
|
| gptkbp:knownFor |
Foundations of mathematics
|
| gptkbp:nationality |
Swiss
|
| gptkbp:notableFeature |
gptkb:Hermann_Weyl
|
| gptkbp:work |
Mathematical logic
Set theory Philosophy of mathematics Axiomatics |