Property |
Value |
dbo:abstract
|
- 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 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)
|
dbo:almaMater
| |
dbo:birthPlace
| |
dbo:citizenship
| |
dbo:discipline
| |
dbo:doctoralAdvisor
| |
dbo:doctoralStudent
| |
dbo:employer
| |
dbo:occupation
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 1459 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
prop-fr:wikiPageUsesTemplate
| |
dct:subject
| |
rdf:type
| |
rdfs:comment
|
- 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 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)
|
rdfs:label
|
- Jeremy Avigad (en)
- Jeremy Avigad (fr)
- جيريمى افيجاد (arz)
|
rdfs:seeAlso
| |
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbo:editor
of | |
is dbo:wikiPageWikiLink
of | |
is oa:hasTarget
of | |
is foaf:primaryTopic
of | |