Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Jeremy_Avigad> ?p ?o. }
Showing items 1 to 55 of
55
with 100 items per page.
- Jeremy_Avigad abstract "Jeremy Avigad is a Professor of Philosophy at Carnegie Mellon University.He received an B.A. in Mathematics from Harvard in 1989, and a Ph.D. in Mathematics from the University of California at Berkeley in 1995 under the supervision of Jack Silver. He has contributed to the areas of mathematical logic and foundations, formal verification and interactive theorem proving, and the philosophy and history of mathematics.".
- Jeremy_Avigad birthDate "1968-01-09".
- Jeremy_Avigad birthPlace New_York_City.
- Jeremy_Avigad birthYear "1968".
- Jeremy_Avigad influencedBy Jack_Silver.
- Jeremy_Avigad mainInterest Formal_verification.
- Jeremy_Avigad mainInterest Logic.
- Jeremy_Avigad mainInterest Philosophy_of_mathematics.
- Jeremy_Avigad mainInterest Proof_theory.
- Jeremy_Avigad thumbnail Jeremy_Avigad,_March_2013.JPG?width=300.
- Jeremy_Avigad wikiPageExternalLink avigad.
- Jeremy_Avigad wikiPageID "39170457".
- Jeremy_Avigad wikiPageRevisionID "556714799".
- Jeremy_Avigad birthDate "1968-01-09".
- Jeremy_Avigad birthPlace New_York_City.
- Jeremy_Avigad caption "Photo of Jeremy Avigad, March 2013".
- Jeremy_Avigad influences Jack_Silver.
- Jeremy_Avigad mainInterests Formal_verification.
- Jeremy_Avigad mainInterests Logic.
- Jeremy_Avigad mainInterests Philosophy_of_mathematics.
- Jeremy_Avigad mainInterests Proof_theory.
- Jeremy_Avigad name "Avigad, Jeremy".
- Jeremy_Avigad name "Jeremy Avigad".
- Jeremy_Avigad shortDescription "American mathematician".
- Jeremy_Avigad description "American mathematician".
- Jeremy_Avigad description "American mathematician".
- Jeremy_Avigad subject Category:American_logicians.
- Jeremy_Avigad subject Category:American_mathematicians.
- Jeremy_Avigad subject Category:Carnegie_Mellon_University_faculty.
- Jeremy_Avigad subject Category:Living_people.
- Jeremy_Avigad subject Category:Philosophers_of_mathematics.
- Jeremy_Avigad type Agent.
- Jeremy_Avigad type Person.
- Jeremy_Avigad type Philosopher.
- Jeremy_Avigad type Person.
- Jeremy_Avigad type Q215627.
- Jeremy_Avigad type Q5.
- Jeremy_Avigad type Agent.
- Jeremy_Avigad type NaturalPerson.
- Jeremy_Avigad type Thing.
- Jeremy_Avigad type Person.
- Jeremy_Avigad comment "Jeremy Avigad is a Professor of Philosophy at Carnegie Mellon University.He received an B.A. in Mathematics from Harvard in 1989, and a Ph.D. in Mathematics from the University of California at Berkeley in 1995 under the supervision of Jack Silver. He has contributed to the areas of mathematical logic and foundations, formal verification and interactive theorem proving, and the philosophy and history of mathematics.".
- Jeremy_Avigad label "Jeremy Avigad".
- Jeremy_Avigad label "Jeremy Avigad".
- Jeremy_Avigad sameAs Jeremy_Avigad.
- Jeremy_Avigad sameAs m.0tkf7bh.
- Jeremy_Avigad sameAs Q15631390.
- Jeremy_Avigad sameAs Q15631390.
- Jeremy_Avigad wasDerivedFrom Jeremy_Avigad?oldid=556714799.
- Jeremy_Avigad depiction Jeremy_Avigad,_March_2013.JPG.
- Jeremy_Avigad givenName "Jeremy".
- Jeremy_Avigad isPrimaryTopicOf Jeremy_Avigad.
- Jeremy_Avigad name "Avigad, Jeremy".
- Jeremy_Avigad name "Jeremy Avigad".
- Jeremy_Avigad surname "Avigad".
