Statements (50)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:Mathematician
|
| gptkbp:academic_advisor |
gptkb:W._V._Quine
|
| gptkbp:affiliation |
gptkb:University_at_Buffalo
|
| gptkbp:alma_mater |
gptkb:Harvard_University
|
| gptkbp:award |
Fellow of the American Mathematical Society
|
| gptkbp:birth_date |
1937-09-08
|
| gptkbp:birth_place |
gptkb:New_York_City,_New_York,_USA
|
| gptkbp:children |
2
|
| gptkbp:contribution |
Development of categorical logic
Advancements in topos theory Lawvere's axioms for categories Work on the relationship between logic and category theory |
| gptkbp:field |
gptkb:political_theory
Mathematical logic |
| https://www.w3.org/2000/01/rdf-schema#label |
Frank W. Lawvere
|
| gptkbp:influenced |
Many mathematicians in category theory
|
| gptkbp:influenced_by |
gptkb:John_von_Neumann
gptkb:Alfred_Tarski |
| gptkbp:known_for |
gptkb:Topaz
Lawvere theory |
| gptkbp:nationality |
gptkb:American
|
| gptkbp:notable_feature |
Categorical logic
Functorial semantics Elementary topos theory |
| gptkbp:occupation |
gptkb:Professor
|
| gptkbp:published_work |
gptkb:Axiomatic_Set_Theory
Categories for the Working Mathematician The Philosophy of Mathematics Mathematics and the Mind Mathematics and the Physical World Sets for Mathematics Conceptual Mathematics: A First Introduction to Categories An Elementary Theory of the Category of Sets Theorems for Categories Mathematics and the Philosophy of Science Categorical Foundations of Mathematics The Language of Categories The Logic of Functors The Nature of Mathematical Reasoning The Role of Categories in Mathematics The Structure of Categories Theories of Categories The Foundations of Mathematics in the Theory of Sets |
| gptkbp:research_interest |
Philosophy of mathematics
Mathematical education Foundations of mathematics |
| gptkbp:spouse |
gptkb:Martha_Lawvere
|
| gptkbp:work_location |
gptkb:Buffalo,_New_York,_USA
|
| gptkbp:bfsParent |
gptkb:Gerhard_Moerdijk
|
| gptkbp:bfsLayer |
7
|