About: Jeremy Avigad

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Jeremy Avigad Goto Sponge NotDistinct Permalink

An Entity of Type : dbo:Species, within Data Space : fr.dbpedia.org associated with source document(s)

Attributes	Values
rdf:type	Thing foaf:Person person schema:Person wikidata:Q19088 wikidata:Q215627 Human wikidata:Q729 dul:NaturalPerson animal eukaryote species
rdfs:label	Jeremy Avigad (en) Jeremy Avigad (fr) جيريمى افيجاد (arz)
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)
rdfs:seeAlso	http://philpapers.org/profile/jeremy-avigad https://ncatlab.org/nlab/show/Jeremy_Avigad https://zbmath.org/authors/?q=ai:avigad.jeremy http://genealogy.math.ndsu.nodak.edu/id.php?id=32558 https://scholar.google.com/citations?user=VQfvIfQAAAAJ
sameAs	Jeremy Avigad Jeremy Avigad Jeremy Avigad Jeremy Avigad Jeremy Avigad Jeremy Avigad Jeremy Avigad Jeremy Avigad Jeremy Avigad
birth place	New York City
Wikipage page ID	9699798 (xsd:integer)
Wikipage revision ID	191049139 (xsd:integer)
dbo:wikiPageWikiLink	Proof assistant category-fr:Logicien_américain category-fr:Mathématicien_américain_du_XXIe_siècle category-fr:Mathématicien_américain_du_XXe_siècle category-fr:Naissance_en_janvier_1968 category-fr:Naissance_à_New_York category-fr:Philosophe_des_mathématiques category-fr:Professeur_à_l'université_Carnegie-Mellon category-fr:Étudiant_de_l'université_Harvard dbpedia-fr:Doctorat Foundations of mathematics American philosophy History of mathematics dbpedia-fr:Logique_mathématique dbpedia-fr:Philosophie_des_mathématiques Carnegie Mellon University Harvard University University of California, Berkeley dbpedia-fr:Vérification_formelle dbpedia-fr:Jack_Silver
page length (characters) of wiki page	1459 (xsd:nonNegativeInteger)
dct:subject	category-fr:Logicien_américain category-fr:Mathématicien_américain_du_XXIe_siècle category-fr:Mathématicien_américain_du_XXe_siècle category-fr:Naissance_en_janvier_1968 category-fr:Naissance_à_New_York category-fr:Philosophe_des_mathématiques category-fr:Professeur_à_l'université_Carnegie-Mellon category-fr:Étudiant_de_l'université_Harvard
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:Autorité dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Références dbpedia-fr:Modèle:Traduction/Référence dbpedia-fr:Modèle:Bases_recherche dbpedia-fr:Modèle:Infobox_biographie2
prov:wasDerivedFrom	wikipedia-fr:Jeremy_Avigad?oldid=191049139&ns=0
foaf:isPrimaryTopicOf	wikipedia-fr:Jeremy_Avigad
employer	Carnegie Mellon University
doctoral student	wikidata:Q102078629 wikidata:Q102271568 wikidata:Q102271571 wikidata:Q102365420 wikidata:Q102365421 wikidata:Q102436776 wikidata:Q102438062 wikidata:Q103211496 wikidata:Q103365323
has 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)
citizenship	United States
occupation	Computer scientist dbpedia-fr:Philosophe dbpedia-fr:Mathématicien
discipline	Computer science
alma mater	Harvard University University of California, Berkeley
doctoral advisor	wikidata:Q1677207
is dbo:wikiPageWikiLink of	1968 in science dbpedia-fr:Solomon_Feferman
is oa:hasTarget of	Arz labels En labels Wikidata Fr related
is foaf:primaryTopic of	wikipedia-fr:Jeremy_Avigad
is editor of	dbpedia-fr:Logical_Methods_in_Computer_Science

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 9 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software