[论文解读] Diophantine and Non-Diophantine Arithmetics: Operations with Numbers in Science and Everyday Life

Mark Burgin|ArXiv.org|Aug 21, 2001

Computability, Logic, AI Algorithms参考文献 11被引用 7

一句话总结

本文挑战了传统算术（丢番图算术）是唯一有效计数与数的运算系统的假设。它引入了非丢番图算术——一种遵循不同规则的替代系统——更好地模拟科学和日常生活中的各种现象，表明在这些系统中，2 + 2 不一定等于 4。

ABSTRACT

Science and mathematics help people better to understand world, eliminating different fallacies and misconceptions. One of such misconception is related to arithmetic, which is so important both for science and everyday life. People think that their counting is governed by the rules of the conventional arithmetic and that other kinds of arithmetic do not exist and cannot exist. It is demonstrated in this paper that this popular image of the situation with integer numbers is incorrect. In many situations, we have to utilize different rules of counting and operating. This is a consequence of the existing diversity in nature and society and to represent correctly this diversity people have to utilize different arithmetics. To distinct them, we call the conventional arithmetic Diophantine, while other arithmetics are called non-Diophantine. Theory of non-Diophantine arithmetics is developed in the book of the author "Non-Diophantine arithmetics or is it possible that 2 + 2 is not equal to 4." In this work, some properties of non-Diophantine arithmetics are considered, as well as their connections to numerical computations and contemporary physics are explained.

研究动机与目标

• 挑战普遍认为传统算术是数值运算唯一有效系统的信念。
• 证明自然与社会现象的多样性需要超越丢番图算术的替代算术系统。
• 建立非丢番图算术的理论基础，并阐明其在科学与实际应用中的相关性。
• 澄清丢番图算术与非丢番图算术在运算规则与数的表示上的区别。
• 说明非丢番图算术如何解决数值推理与计算中的误解。

提出的方法

• 将丢番图算术定义为基于传统规则的整数运算标准系统。
• 引入非丢番图算术作为替代系统，其中加法和乘法等运算遵循不同、非标准的规则。
• 使用数学形式化方法构建并分析非丢番图算术，尤其关注其代数与运算性质。
• 说明非丢番图系统如何建模标准算术失效的真实世界过程，例如某些物理或认知过程。
• 将非丢番图算术与现有数学框架（包括数论与一般数学）建立联系。
• 引用作者先前的工作，以阐明非丢番图系统的演变及其理论基础。

实验结果

研究问题

• RQ1 除了传统的丢番图算术系统外，是否存在其他数学上自洽的算术系统？
• RQ2 非丢番图算术在多大程度上比丢番图算术更准确地反映现实世界现象？
• RQ3 非丢番图算术的运算规则与标准算术有何不同，其影响是什么？
• RQ4 非丢番图算术与数值计算或现代物理学之间存在何种联系？
• RQ5 人们为何普遍认为 2 + 2 必须等于 4？这一假设存在哪些局限性？

主要发现

• 非丢番图算术是数学上有效的系统，其规则与传统算术不同。
• 在非丢番图算术中，2 + 2 的结果可能不等于 4，从而挑战了标准算术的普适性。
• 这些替代算术系统对于准确建模自然、社会及科学计算中的多样化现象是必要的。
• 本文建立了非丢番图算术的理论基础，证明了其一致性和适用性。
• 这些系统与现代物理学和数值计算相关联，表明其具有更广泛的科学意义。
• 该研究纠正了认为丢番图算术是计数与数的运算唯一可能系统的误解。