Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Jeremy_Avigad> ?p ?o }
Showing triples 1 to 98 of
98
with 100 triples per page.
- Jeremy_Avigad abstract "Jeremy Avigad is a Professor of Philosophy at Carnegie Mellon University.He received a 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 wikiPageLength "2192".
- Jeremy_Avigad wikiPageOutDegree "24".
- Jeremy_Avigad wikiPageRevisionID "655187721".
- Jeremy_Avigad wikiPageWikiLink Carnegie_Mellon_University.
- Jeremy_Avigad wikiPageWikiLink Category:1968_births.
- Jeremy_Avigad wikiPageWikiLink Category:20th-century_American_mathematicians.
- Jeremy_Avigad wikiPageWikiLink Category:21st-century_American_mathematicians.
- Jeremy_Avigad wikiPageWikiLink Category:American_logicians.
- Jeremy_Avigad wikiPageWikiLink Category:Carnegie_Mellon_University_faculty.
- Jeremy_Avigad wikiPageWikiLink Category:Harvard_University_alumni.
- Jeremy_Avigad wikiPageWikiLink Category:Living_people.
- Jeremy_Avigad wikiPageWikiLink Category:Philosophers_of_mathematics.
- Jeremy_Avigad wikiPageWikiLink Formal_verification.
- Jeremy_Avigad wikiPageWikiLink Foundations_of_mathematics.
- Jeremy_Avigad wikiPageWikiLink History_of_mathematics.
- Jeremy_Avigad wikiPageWikiLink Jack_Silver.
- Jeremy_Avigad wikiPageWikiLink Logic.
- Jeremy_Avigad wikiPageWikiLink Mathematical_logic.
- Jeremy_Avigad wikiPageWikiLink New_York_City.
- Jeremy_Avigad wikiPageWikiLink Philosophy_of_mathematics.
- Jeremy_Avigad wikiPageWikiLink Proof_assistant.
- Jeremy_Avigad wikiPageWikiLink Proof_theory.
- Jeremy_Avigad wikiPageWikiLink University_of_California,_Berkeley.
- Jeremy_Avigad wikiPageWikiLink University_of_California_at_Berkeley.
- Jeremy_Avigad wikiPageWikiLinkText "Avigad, J.".
- Jeremy_Avigad wikiPageWikiLinkText "Avigad, Jeremy".
- Jeremy_Avigad wikiPageWikiLinkText "Jeremy Avigad".
- Jeremy_Avigad birthDate "1968-01-09".
- Jeremy_Avigad birthPlace New_York_City.
- Jeremy_Avigad caption "Photo of Jeremy Avigad, March 2013".
- Jeremy_Avigad dateOfBirth "1968-01-09".
- Jeremy_Avigad hasPhotoCollection Jeremy_Avigad.
- 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 placeOfBirth New_York_City.
- Jeremy_Avigad shortDescription "American mathematician".
- Jeremy_Avigad wikiPageUsesTemplate Template:Infobox_philosopher.
- Jeremy_Avigad wikiPageUsesTemplate Template:Persondata.
- Jeremy_Avigad wikiPageUsesTemplate Template:Reflist.
- Jeremy_Avigad wikiPageUsesTemplate Template:US-philosopher-stub.
- Jeremy_Avigad description "American mathematician".
- Jeremy_Avigad description "American mathematician".
- Jeremy_Avigad subject Category:1968_births.
- Jeremy_Avigad subject Category:20th-century_American_mathematicians.
- Jeremy_Avigad subject Category:21st-century_American_mathematicians.
- Jeremy_Avigad subject Category:American_logicians.
- Jeremy_Avigad subject Category:Carnegie_Mellon_University_faculty.
- Jeremy_Avigad subject Category:Harvard_University_alumni.
- Jeremy_Avigad subject Category:Living_people.
- Jeremy_Avigad subject Category:Philosophers_of_mathematics.
- Jeremy_Avigad hypernym Professor.
- Jeremy_Avigad type Agent.
- Jeremy_Avigad type List.
- Jeremy_Avigad type Person.
- Jeremy_Avigad type Philosopher.
- Jeremy_Avigad type Scientist.
- Jeremy_Avigad type List.
- Jeremy_Avigad type Mathematician.
- Jeremy_Avigad type Philosopher.
- Jeremy_Avigad type Scientist.
- Jeremy_Avigad type Person.
- Jeremy_Avigad type Agent.
- Jeremy_Avigad type NaturalPerson.
- Jeremy_Avigad type Thing.
- Jeremy_Avigad type Q215627.
- Jeremy_Avigad type Q4964182.
- Jeremy_Avigad type Q5.
- Jeremy_Avigad type Person.
- Jeremy_Avigad comment "Jeremy Avigad is a Professor of Philosophy at Carnegie Mellon University.He received a 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 sameAs Jeremy_Avigad.
- Jeremy_Avigad sameAs m.0tkf7bh.
- Jeremy_Avigad sameAs Q15631390.
- Jeremy_Avigad sameAs Q15631390.
- Jeremy_Avigad wasDerivedFrom Jeremy_Avigad?oldid=655187721.
- 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".