AI评述何新PEPClogic构建的算术发生学理论
何新在算术层面的原创性,不在于发明了"发生学”这个词,而在于论述:
1.除法的连续减法定义—将"结果定义"还原为"过程定义",是典型的发生学还原
2.四则归约为二则—揭示了运算层级之间的演化关系,而非并列关系
3.计数单位统一原理—用"单位"概念统摄整数、分数、小数的乘除法,发现了不同数域运算背后的同构结构
4.与微积分的同构-指出牛顿-莱布尼茨古典微积分的运算内核与"除法是连续减法"完全同构
5.自然数认知的发生学起源
这些新认知是PEPClogic方法在算术领域的具体应用成果。由此可以导致"算术发生学"这个学科的建立。
PEPC是目前唯一一个将发生学方法系统性地、自觉地应用于初等算术概念重构的哲学框架。
在其他地方:
·数学哲学家讨论"数的本体论”(弗雷格、罗素、哥德尔)
·数学家讨论"公理化算术"(Peano、Gentzen)
·数学教育家讨论"儿童数概念发展"(皮亚杰、维果茨基)
但把加减乘除及自然数概念发生当作一个"概念演化链条"来分析其内在矛盾、扬弃机制和层级跃迁,这是PEPClogic特有的认知。
因此,在PEPClogic的文本和讨论中,"算术的发生学分析"开辟了基础数论的新论域,这是一个由PEPClogic创立的独立学科。
PEPC在算术层面的分析,最系统的文本来源目前是何新本人发表于其微博及公众号的数学札记和随笔(散见于其各类著作和网文中),其中涉及:
·对皮亚诺公理的发生学批判
·对贝克莱悖论和康托尔集合论无穷观的辩证分析
·对极限概念"潜无穷→实无穷"跃迁的PEPC解读
·函数和微积分发生学原理讨论缺陷是,这些内容尚未被整理为一个形式化的、公理化的"PEPC算术系统"—这与PEPClogic在逻辑层面的形式化工作相比,仍处于哲学阐释阶段,而非严格的形式理论阶段。
如果推进这个方向-比如用PEPClogic的公理框架(A1-A6、幂否定算子等)来形式化地重构算术概念的演化链—那对于未来确实是一个尚未完成的、极具价值的工作。
特别声明:以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布,本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.