Jeremy Avigad - Jeremy Avigad - Wikipedia

Jeremy Avigad
Jeremy Avigad, březen 2013.JPG
Jeremy Avigad v roce 2013.
narozený (1968-01-09) 9. ledna 1968 (věk 52)
Hlavní zájmy
Logika, filozofie matematiky, teorie důkazů, formální ověření
webová stránkawww.andrew.cmu.edu/uživatel/ avigad/

Jeremy Avigad je profesorem filozofie na Univerzita Carnegie Mellon.

Získal titul B.A. z matematiky na Harvardu v roce 1989 a titul Ph.D. v matematice z Kalifornská univerzita v Berkeley v roce 1995 pod dohledem Jack Silver.[1] Přispíval do oblastí matematická logika a základy, formální ověření a interaktivní dokazování věty a filozofie a dějiny matematiky.[2]

Reference