Jeremy Avigad
研究者
现任 卡内基梅隆大学逻辑与数学哲学 Dean's Chair 教授（哲学系与数学科学系）；Hoskinson 形式化数学中心主任；计算机辅助数学推理研究所（ICARM）主任
最新记录评论 · 10月16日Avigad、Buzzard 等：形式化全部数学可以，但库要能被人接着用照片取自本人的 X 账号、本人网站、实验室或所在机构的团队页、以相同职位列出其为讲者的会议页面，或 Wikimedia Commons 上按所注许可使用的照片，有些可能不是最新的。本人可以要求更换或撤下。 联系 →
任职
现任
- 卡内基梅隆大学 · 逻辑与数学哲学 Dean's Chair 教授（哲学系与数学科学系）
- Hoskinson 形式化数学中心 · 主任
- 计算机辅助数学推理研究所（ICARM） · 主任
现任职务来自下面这些带日期的记录，不取自简介。每条都链到读过的页面。
他们写的评论
- 2026-10-16Avigad、Buzzard 等：形式化全部数学可以，但库要能被人接着用
- 2026-10-05Avigad：AI 打乱了数学家的日常做法，没打乱数学本身
这一页有错误或遗漏？告诉我，会更正或撤下。 联系 →