数学家揭示“等于”在数学中不止一种含义
2024-06-18
数学家们对“等于”的定义存在分歧，这对越来越依赖计算机程序验证数学证明的领域造成困扰。文章指出，除了传统的数值相等，集合论中的“规范同构”也构成另一种“等于”。这种差异对数学证明的计算机化提出了挑战，促使数学家重新思考“等于”等基本概念的定义。
41