格罗滕迪克对等式的使用

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