计算机的意义何在？——一个面向纯数学家的问题
历史与综述
2022-04-19 v2
摘要
我们探讨这样一种观点：计算机可能很快能在此前并无助益的领域中帮助数学家证明定理。此外，我们论证这些同样的计算机工具也将有助于我们在数学的交流与教学中。
引用
@article{arxiv.2112.11598,
title = {What is the point of computers? A question for pure mathematicians},
author = {Kevin Buzzard},
journal= {arXiv preprint arXiv:2112.11598},
year = {2022}
}
备注
28 pages, companion paper to ICM 2022 talk