详细内容或原文请订阅后点击阅览
«=» - 未找到任何评论：凯文·班德处理过的问题
数学与数学在数学和数学方面的应用。
来源:安全实验室新闻频道一位数学家谈论编程和数学中对等式理解的差异。
在新的
预印本，看起来更像是一篇社论或一组观察结果，而不是理论或研究、数学家
凯文·巴扎德着眼于编程中的一个简单想法，当翻译成数学语言时，它变得“更复杂”：等号实际上意味着什么？这不意味着什么？
Buzzard 因努力将经典数学证明转化为可以由计算机验证的代码（包括证明）而闻名
费马大定理。对于他来说，作为一名受过古典训练的数学家，计算机代码的世界充满了许多惊喜。
“六年前，我以为我完全理解了数学等式的本质，”巴扎德在他的著作中写道。 “我确信，对于一个拥有必要知识但没有深入研究其学科基本原则的数学家来说，这是一个定义明确的术语，他们对此没什么兴趣。然而，当我开始使用计算机定理测试系统学习硕士水平的数学时，我发现等式的概念比我之前意识到的要复杂得多、多面得多。”
“巴扎德发现，编程课程中的每个学生很快就能学到的是，编码中存在多种等式，并且要正确编码，您需要充分解决人类思维在以下情况下容易跳过的一些步骤：做数学。 “输入计算机代数系统的字符串‘2 + 2’不等于系统输出的字符串‘4’；正在进行一些处理，”Buzzard 解释道。
这个问题不是要重新定义数学中的任何东西 - 它是关于精度和意图。
精益系统，需要更精确地定义步骤。
亚历山大·格洛腾迪克 同余符号