QB64 搜索技巧 核手提箱 文字记录 海洋云增白 开源地图 Bliss AI 搜索答案 深海沉船 自由职业 policy 小团队 颈挂空调 Chumby 个人电脑 极端主义 团队 世界 PostgreSQL AI工具 证券 DirectX 防溢 DrawingPics Zulip 儿童读物 化学 连续滚动 代码审查 三菱电机 更多

格罗滕迪克对等式的使用 (arxiv.org)

原文: [2405.10387] Grothendieck's use of equality

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