Jeremy Avigad

Jeremy Avigad
Avigad 2021
Född	( 1968-01-09 ) 9 januari 1968 New York City
Epok	Samtida filosofi
Område	Västerländsk filosofi
Skola	Analytisk
Doktorand rådgivare	Jack Silver
Huvudintressen	Logik , matematikfilosofi , bevisteori , formell verifiering
Hemsida	www .andrew .cmu .edu /user /avigad /

Jeremy Avigad är professor i filosofi vid Carnegie Mellon University .

Han fick en BA i matematik från Harvard University 1989 och en Ph.D. i matematik från University of California i Berkeley 1995 under ledning av Jack Silver . Han har bidragit till områdena matematisk logik och grunder , formell verifiering och interaktiv satsbevisande , och matematikens filosofi och historia . Han blev chef för Hoskinson Center for Formal Mathematics vid Carnegie Mellon University efter att Charles Hoskinson donerade 20 miljoner dollar i september 2021 för att etablera det.