格罗滕迪克对等式的使用 2024-05-20 这篇文章讨论了数学家（包括格罗滕迪克）如何使用“等式”的概念，以及在试图将数学形式化时会产生什么影响。文章挑战了一些关于等式的看似合理的口号。 (arxiv.org) 57 未分类 格罗滕迪克 等式
