[论文解读] Mathematics and Logic as Information Compression by Multiple Alignment, Unification and Search

J. Gerard Wolff|ArXiv.org|Aug 15, 2003

Computability, Logic, AI Algorithms参考文献 40被引用 10

一句话总结

本文提出，数学与逻辑通过多重对齐、统一与搜索（ICMAUS）实现信息压缩，将数学结构与推理过程视为将复杂数据压缩为简洁可复用模式的机制。核心贡献在于构建了一个连接算法信息论与数学认知的概念框架，SP61模型展示了ICMAUS如何模拟推理与计算。

ABSTRACT

This article introduces the conjecture that "mathematics, logic and related disciplines may usefully be understood as information compression (IC) by 'multiple alignment', 'unification' and 'search' (ICMAUS)". As a preparation for the two main sections of the article, concepts of information and information compression are reviewed. Related areas of research are also described including IC in brains and nervous systems, and IC in relation to inductive inference, Minimum Length Encoding and probabilistic reasoning. The ICMAUS concepts and a computer model in which they are embodied are briefly described. The first of the two main sections describes how many of the commonly-used forms and structures in mathematics, logic and related disciplines (such as theoretical linguistics and computer programming) may be seen as devices for IC. In some cases, these forms and structures may be interpreted in terms of the ICMAUS framework. The second main section describes a selection of examples where processes of calculation and inference in mathematics, logic and related disciplines may be understood as IC. In many cases, these examples may be understood more specifically in terms of the ICMAUS concepts.

研究动机与目标

• 提出数学与逻辑从根本上根植于信息压缩，挑战传统对其基础的观念。
• 通过将数学与压缩原理相联系，解决数学为何既不可避免又适用于物理世界的哲学难题。
• 证明数学推理与计算可被理解为模式对齐、统一与最优压缩搜索的过程。
• 提供一个计算模型（SP61），部分实现ICMAUS框架，并展示其在推理与计算中的应用。
• 通过压缩效率与递归模式匹配的视角，调和算术的明显确定性与其内在不确定性（如哥德尔定理）之间的矛盾。

提出的方法

• 采用哈特利-香农与算法信息论的概念，将信息压缩视为数学与逻辑系统的核心功能。
• 引入ICMAUS——通过多重对齐、统一与搜索实现的信息压缩——作为理解数学结构与推理的统一框架。
• 使用SP61计算机模型模拟并可视化符号模式的对齐与统一如何导致压缩与推理。
• 将ICMAUS框架应用于分析标准数学形式（如数字、方程、证明）作为底层数据模式的压缩表示。
• 证明逻辑中的递归结构（如哥德尔定理、停机问题）自然源于ICMAUS中无界模式匹配与统一。
• 将归纳推理与概率推理与压缩联系起来：未来与过去相似的假设是理性的，因为它能有效压缩经验数据。

实验结果

研究问题

• RQ1 数学与逻辑结构如何被解释为信息压缩的机制？
• RQ2 多重对齐、统一与搜索（ICMAUS）在数学概念的形成与使用中起何种作用？
• RQ3 数学中的计算、证明与演绎过程能否被理解为通过模式匹配实现信息压缩的实例？
• RQ4 为何算术显得不可避免且普遍适用？这能否通过压缩原理加以解释？
• RQ5 逻辑中的悖论与不可判定性（如哥德尔定理）如何源于ICMAUS中统一与对齐的递归本质？

主要发现

• 数学与逻辑系统可被解释为通过模式对齐与统一，将复杂信息压缩为紧凑、可复用的符号形式的装置。
• SP61模型成功展示了ICMAUS如何模拟推理与计算，其输出反映出由压缩驱动的推理过程。
• 简单的数字模式（如2+2=4）之所以被视为不可避免，是因为其能产生高度可压缩的对齐，且备选解释极少。
• 逻辑中的悖论与不可判定性源于模式匹配中的无限递归，这是ICMAUS中统一过程在约束未受限制时的自然结果。
• 假设未来与过去相似是理性的，因为它能实现有效的信息压缩，从而为归纳推理提供实用的合理性依据。
• 数学对物理世界的适用性可由其作为感官与经验数据压缩机制的角色来解释，使其成为描述现实的自然工具。