Jeremy Avigad - Jeremy Avigad - Wikipedia
Jeremy Avigad | |
---|---|
Jeremy Avigad v roce 2013. | |
narozený | |
Hlavní zájmy | Logika, filozofie matematiky, teorie důkazů, formální ověření |
Vlivy | |
webová stránka | www |
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
Tato biografie amerického filozofa je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |