Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Search

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

Jeremy Avigad · Vinony

🌐English

English Deutsch Español Français Italiano Nederlands Polski Português Svenska Türkçe

EntityQ15631390· pop 5· linked from 19 articles

Jeremy Avigad

American mathematician

Wikidata facts

Image: Jeremy Avigad, March 2013.JPG

Sources (3)

wikidata.org
lmcs.episciences.org
philpeople.org

via Wikidata · CC0

Available in 4 languages

Français
Português
Egyptian Arabic

via Wikidata sitelinks · CC0

Connections

Categories

1968 births 20th-century American mathematicians 21st-century American mathematicians American logicians American philosophers of mathematics Carnegie Mellon University faculty Harvard College alumni Living people UC Berkeley College of Letters and Science alumni

Sources

wikipedia.externallinksexternallink

Harvard University

Entity

mathematical logic

University of California, Berkeley

history of mathematics

analytic philosophy

Western philosophy

philosophy of mathematics

Carnegie Mellon University

contemporary philosophy

foundations of mathematics

formal verification

doctoral advisor

Charles Hoskinson

proof assistant

list of philosophies

Sign in to save

What links here19 pages

Solomon Feferman

elementary function arithmetic

Andrzej Grzegorczyk

foundations of mathematics

first-order logic

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

Edward G. Begle

Entitydist 0.24

Entitydist 0.25

Entitydist 0.25

Entitydist 0.25

Entitydist 0.26

Graham Robert Allan

Entitydist 0.27

Entitydist 0.27

Entitydist 0.27

Entitydist 0.27

Entitydist 0.27

George Marsaglia

Entitydist 0.27

William Messing

Entitydist 0.28