Statements (104)
Predicate | Object |
---|---|
gptkbp:instance_of |
gptkb:Artist
gptkb:Mathematician |
gptkbp:bfsLayer |
5
|
gptkbp:bfsParent |
gptkb:Vulgar_Display_of_Power
|
gptkbp:affiliation |
gptkb:University_at_Buffalo
|
gptkbp:alma_mater |
gptkb:Harvard_University
|
gptkbp:awards |
gptkb:church
Fellow of the American Mathematical Society |
gptkbp:birth_date |
1937-09-19
1938-09-29 |
gptkbp:birth_place |
gptkb:New_York_City,_USA
|
gptkbp:children |
2
|
gptkbp:collaborated_with |
gptkb:Robert_Rosen
Johnstone |
gptkbp:contribution |
Advancement of category theory
Development of categorical logic Introduction of topos theory Promotion of conceptual mathematics |
gptkbp:education_institution |
gptkb:University_at_Buffalo
|
gptkbp:field |
gptkb:Mathematician
gptkb:product gptkb:artwork Mathematical logic |
gptkbp:has_influence_on |
gptkb:Historical_Society
gptkb:Mathematician gptkb:patent gptkb:artwork gptkb:organization Aesthetics Cognitive Science Critical Thinking Mathematical Modeling Problem Solving Research Methodology Teaching Methods Visual Arts Mathematical Logic Interdisciplinary Education Interdisciplinary Studies Philosophy of Education Curriculum Development Pedagogy Creative Thinking Philosophical Inquiry Scientific Inquiry Art Theory Educational Reform Learning Theories History of Mathematics Mathematical Visualization Social Inquiry Historical Inquiry Mathematical Literacy Mathematical Philosophy Ethical Inquiry Artistic Aesthetics History of Art Mathematical History Computational Art Art Literacy Public Understanding of Mathematics Artistic Inquiry Cultural Inquiry Aesthetic Inquiry Art Communication Artistic Representation of Mathematics Mathematical Aesthetics Mathematical Communication Mathematical Inquiry Public Understanding of Art |
https://www.w3.org/2000/01/rdf-schema#label |
Philip Lawvere
|
gptkbp:influenced |
Art Education
Mathematical Education Many mathematicians and logicians |
gptkbp:influenced_by |
gptkb:John_von_Neumann
gptkb:product gptkb:Alfred_Tarski Algebraic Topology |
gptkbp:known_for |
Mathematical Art
Research in category theory Conceptual mathematics Educational contributions in mathematics |
gptkbp:nationality |
gptkb:Native_American_tribe
|
gptkbp:notable_feature |
gptkb:operating_system
Categorical logic Functorial semantics |
gptkbp:notable_work |
Conceptual Mathematics
|
gptkbp:occupation |
gptkb:University
|
gptkbp:published_by |
Mathematics and Art: Mathematical Visualization in Art and Education
The Art of Mathematics Functors and Natural Transformations Sets for Mathematics |
gptkbp:research_interest |
Philosophy of mathematics
Algebraic topology Homotopy theory Mathematical foundations |
gptkbp:spouse |
gptkb:Martha_Lawvere
|
gptkbp:staff |
gptkb:W._V._Quine
|
gptkbp:work |
Sets for Mathematics
Conceptual Mathematics: A First Introduction to Categories An Elementary Theory of the Category of Sets Theorems for Categories |
gptkbp:work_location |
gptkb:Borough
gptkb:Buffalo,_New_York |