EN

← 人物

Thomas Hales

研究者

现任 匹兹堡大学Andrew Mellon 数学讲席教授(荣休)

最新记录评论 · 10月9日Hales:Lean 证明的可信程度取决于 Lean 本身

任职

现任

现任职务来自下面这些带日期的记录,不取自简介。每条都链到读过的页面。

他们写的评论

这一页有错误或遗漏?告诉我,会更正或撤下。 联系 →