✖


Jump to content

Джереми Авигад

Джереми Авигад
Авигад в 2021 году
Рожденный ( 1968-01-09 ) 9 января 1968 г. (56 лет)
Нью-Йорк
Эра Современная философия
Область Западная философия
Школа Аналитический
Докторантура Джек Сильвер
Основные интересы
Логика , философия математики , теория доказательств , формальная проверка
Веб-сайт www .Эндрю .cmu .edu /пользователь /авигас /

Джереми Авигад — профессор философии и профессор математических наук в Университете Карнеги-Меллон .

Он получил степень бакалавра математики в Гарвардском университете в 1989 году и степень доктора философии. Степень бакалавра математики в Калифорнийском университете в Беркли в 1995 году под руководством Джека Сильвера . [1] Он внес свой вклад в области математической логики и ее оснований , формальной проверки и интерактивного доказательства теорем , а также философии и истории математики . [2] Он стал директором Центра формальной математики Хоскинсона в Университете Карнеги-Меллон после того, как криптовалютный предприниматель Чарльз Хоскинсон пожертвовал 20 миллионов долларов в сентябре 2021 года на его создание. [3] [4]

Ссылки [ править ]

  1. ^ Проект математической генеалогии
  2. ^ Официальный сайт Джереми Авигада в Университете Карнеги-Меллона.
  3. ^ «Карнеги-Меллон получает 20 миллионов долларов на создание Центра формальной математики Хоскинсона в колледже Дитрих» . Университет Карнеги-Меллон (пресс-релиз). Сентябрь 2021 года . Проверено 27 сентября 2021 г.
  4. ^ Робертс, Шивон (2 июля 2023 г.). «ИИ придет и в математику» . Нью-Йорк Таймс . Проверено 26 марта 2024 г. ...сказал доктор Авигад, директор Центра формальной математики Хоскинсона (финансируемого криптопредпринимателем Чарльзом Хоскинсоном)...


Значок заглушки

Эта биография американского философа незавершена . Вы можете помочь Википедии, расширив ее .

Retrieved from "https://en.wikipedia.org/w/index.php?title=Jeremy_Avigad&oldid=1220922726"
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 472a8a18348f7f20fc429a7a8a2c5e09__1714147620
URL1:https://arc.ask3.ru/arc/aa/47/09/472a8a18348f7f20fc429a7a8a2c5e09.html
Заголовок, (Title) документа по адресу, URL1:
Jeremy Avigad - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)