| dbo:abstract
|
- Jeremy Avigad is a professor of philosophy at Carnegie Mellon University. He received a B.A. in mathematics from Harvard University 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. He became Director of the Hoskinson Center for Formal Mathematics at Carnegie Mellon University after Charles Hoskinson donated $20 Million in September 2021 to establish it. (en)
- Jeremy Avigad est un professeur de philosophie à l'université Carnegie Mellon. Il obtient un B.A. en mathématiques de l'université Harvard en 1989 et un Ph.D. de mathématiques de l'université de Californie à Berkeley en 1995 sous la direction de . Il est actif dans les domaines de la logique mathématique et des fondements des mathématiques, vérification formelle et des preuves de théorème interactif ainsi que d'histoire et de philosophie des mathématiques. (fr)
- Jeremy Avigad é um matemático e filósofo estadunidense. É professor da Universidade Carnegie Mellon. Recebeu um B.A. em matemática na Universidade Harvard em 1989 e um Ph.D. em matemática na Universidade da Califórnia em Berkeley em 1995, orientado por Jack Silver. Trabalha principalmente nas áreas de lógica e fundamentos da matemática, verificação formal e , e filosofia e história da matemática. (pt)
|
| dbo:birthDate
| |
| dbo:birthPlace
| |
| dbo:birthYear
| |
| dbo:era
| |
| dbo:mainInterest
| |
| dbo:philosophicalSchool
| |
| dbo:region
| |
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 2620 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:birthDate
| |
| dbp:birthPlace
| |
| dbp:caption
| |
| dbp:doctoralAdvisor
| |
| dbp:era
| |
| dbp:mainInterests
| |
| dbp:name
| |
| dbp:region
| |
| dbp:schoolTradition
| |
| dbp:website
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| gold:hypernym
| |
| schema:sameAs
| |
| rdf:type
| |
| rdfs:comment
|
- Jeremy Avigad is a professor of philosophy at Carnegie Mellon University. He received a B.A. in mathematics from Harvard University 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. He became Director of the Hoskinson Center for Formal Mathematics at Carnegie Mellon University after Charles Hoskinson donated $20 Million in September 2021 to establish it. (en)
- Jeremy Avigad est un professeur de philosophie à l'université Carnegie Mellon. Il obtient un B.A. en mathématiques de l'université Harvard en 1989 et un Ph.D. de mathématiques de l'université de Californie à Berkeley en 1995 sous la direction de . Il est actif dans les domaines de la logique mathématique et des fondements des mathématiques, vérification formelle et des preuves de théorème interactif ainsi que d'histoire et de philosophie des mathématiques. (fr)
- Jeremy Avigad é um matemático e filósofo estadunidense. É professor da Universidade Carnegie Mellon. Recebeu um B.A. em matemática na Universidade Harvard em 1989 e um Ph.D. em matemática na Universidade da Califórnia em Berkeley em 1995, orientado por Jack Silver. Trabalha principalmente nas áreas de lógica e fundamentos da matemática, verificação formal e , e filosofia e história da matemática. (pt)
|
| rdfs:label
|
- Jeremy Avigad (fr)
- Jeremy Avigad (en)
- Jeremy Avigad (pt)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:homepage
| |
| foaf:isPrimaryTopicOf
| |
| foaf:name
| |
| is dbo:doctoralStudent
of | |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageWikiLink
of | |
| is dbp:doctoralStudents
of | |
| is foaf:primaryTopic
of | |
.jpg?width=300)
.jpg){kind=link}