Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Steve_Awodey> ?p ?o }
Showing triples 1 to 90 of
90
with 100 triples per page.
- Steve_Awodey abstract "Steve Awodey is a Professor of Philosophy and Mathematics at Carnegie Mellon University.He studied mathematics and philosophy at the University of Marburg and the University of Chicago. He earned his Ph.D. from Chicago under Saunders Mac Lane in 1997. He is an active researcher in the areas of category theory and logic, and has also written on the philosophy of mathematics. He is one of the originators of the field of homotopy type theory. He was a member of the School of Mathematics at the Institute for Advanced Study in 2012-13.".
- Steve_Awodey mainInterest Category_theory.
- Steve_Awodey mainInterest Logic.
- Steve_Awodey mainInterest Philosophy_of_mathematics.
- Steve_Awodey thumbnail StevenAwodey.jpg?width=300.
- Steve_Awodey wikiPageExternalLink Category_Theory.html?id=IK_sIDI2TCwC.
- Steve_Awodey wikiPageExternalLink Frege_s_lectures_on_logic.html?id=5yiZPePEwVYC.
- Steve_Awodey wikiPageExternalLink awodey.
- Steve_Awodey wikiPageID "26946267".
- Steve_Awodey wikiPageLength "3411".
- Steve_Awodey wikiPageOutDegree "25".
- Steve_Awodey wikiPageRevisionID "659460141".
- Steve_Awodey wikiPageWikiLink Carnegie_Mellon_University.
- Steve_Awodey wikiPageWikiLink Category:20th-century_American_mathematicians.
- Steve_Awodey wikiPageWikiLink Category:21st-century_American_mathematicians.
- Steve_Awodey wikiPageWikiLink Category:American_logicians.
- Steve_Awodey wikiPageWikiLink Category:Carnegie_Mellon_University_faculty.
- Steve_Awodey wikiPageWikiLink Category:Institute_for_Advanced_Study_visiting_scholars.
- Steve_Awodey wikiPageWikiLink Category:Living_people.
- Steve_Awodey wikiPageWikiLink Category:Philosophers_of_mathematics.
- Steve_Awodey wikiPageWikiLink Category:University_of_Chicago_alumni.
- Steve_Awodey wikiPageWikiLink Category:University_of_Marburg_alumni.
- Steve_Awodey wikiPageWikiLink Category_theory.
- Steve_Awodey wikiPageWikiLink Homotopy_type_theory.
- Steve_Awodey wikiPageWikiLink Institute_for_Advanced_Study.
- Steve_Awodey wikiPageWikiLink Logic.
- Steve_Awodey wikiPageWikiLink Mathematics.
- Steve_Awodey wikiPageWikiLink Philosophy.
- Steve_Awodey wikiPageWikiLink Philosophy_of_mathematics.
- Steve_Awodey wikiPageWikiLink Saunders_Mac_Lane.
- Steve_Awodey wikiPageWikiLink University_of_Chicago.
- Steve_Awodey wikiPageWikiLink University_of_Marburg.
- Steve_Awodey wikiPageWikiLinkText "Awodey, Steve".
- Steve_Awodey wikiPageWikiLinkText "Steve Awodey".
- Steve_Awodey caption "Steve Awodey in 2011".
- Steve_Awodey hasPhotoCollection Steve_Awodey.
- Steve_Awodey mainInterests Category_theory.
- Steve_Awodey mainInterests Logic.
- Steve_Awodey mainInterests Philosophy_of_mathematics.
- Steve_Awodey name "Awodey, Steve".
- Steve_Awodey shortDescription "American philosopher".
- Steve_Awodey wikiPageUsesTemplate Template:Authority_control.
- Steve_Awodey wikiPageUsesTemplate Template:Cite_book.
- Steve_Awodey wikiPageUsesTemplate Template:Infobox_philosopher.
- Steve_Awodey wikiPageUsesTemplate Template:Persondata.
- Steve_Awodey wikiPageUsesTemplate Template:Reflist.
- Steve_Awodey description "American philosopher".
- Steve_Awodey description "American philosopher".
- Steve_Awodey subject Category:20th-century_American_mathematicians.
- Steve_Awodey subject Category:21st-century_American_mathematicians.
- Steve_Awodey subject Category:American_logicians.
- Steve_Awodey subject Category:Carnegie_Mellon_University_faculty.
- Steve_Awodey subject Category:Institute_for_Advanced_Study_visiting_scholars.
- Steve_Awodey subject Category:Living_people.
- Steve_Awodey subject Category:Philosophers_of_mathematics.
- Steve_Awodey subject Category:University_of_Chicago_alumni.
- Steve_Awodey subject Category:University_of_Marburg_alumni.
- Steve_Awodey hypernym Professor.
- Steve_Awodey type Agent.
- Steve_Awodey type Article.
- Steve_Awodey type List.
- Steve_Awodey type Person.
- Steve_Awodey type Philosopher.
- Steve_Awodey type Scientist.
- Steve_Awodey type Article.
- Steve_Awodey type List.
- Steve_Awodey type Mathematician.
- Steve_Awodey type Philosopher.
- Steve_Awodey type Scientist.
- Steve_Awodey type Person.
- Steve_Awodey type Agent.
- Steve_Awodey type NaturalPerson.
- Steve_Awodey type Thing.
- Steve_Awodey type Q215627.
- Steve_Awodey type Q4964182.
- Steve_Awodey type Q5.
- Steve_Awodey type Person.
- Steve_Awodey comment "Steve Awodey is a Professor of Philosophy and Mathematics at Carnegie Mellon University.He studied mathematics and philosophy at the University of Marburg and the University of Chicago. He earned his Ph.D. from Chicago under Saunders Mac Lane in 1997. He is an active researcher in the areas of category theory and logic, and has also written on the philosophy of mathematics. He is one of the originators of the field of homotopy type theory.".
- Steve_Awodey label "Steve Awodey".
- Steve_Awodey sameAs استیو_آودی.
- Steve_Awodey sameAs m.0bmdhxh.
- Steve_Awodey sameAs Q7611834.
- Steve_Awodey sameAs Q7611834.
- Steve_Awodey wasDerivedFrom Steve_Awodey?oldid=659460141.
- Steve_Awodey depiction StevenAwodey.jpg.
- Steve_Awodey givenName "Steve".
- Steve_Awodey isPrimaryTopicOf Steve_Awodey.
- Steve_Awodey name "Awodey, Steve".
- Steve_Awodey name "Steve Awodey".
- Steve_Awodey surname "Awodey".