刘伟 | 数学、逻辑、AI、智能与世界

文章预览

作者 | 刘伟   北京邮电大学人机交互与认知工程实验室主任、剑桥大学访问学者 转自 | 人机与认知实验室 一、数学是对逻辑的简化 数学可以被视为对逻辑的一种形式化和简化，因为它建立在严格的逻辑推理和定义上。数学通过符号、公理和推导规则来精确描述和研究数量、结构、变化以及它们之间的关系。数学与逻辑之间的一些关键联系涉及： 数学中的证明和推导是严格的逻辑过程。从一组基础公理出发，数学家使用逻辑规则推导出各种定理和结论，这种推导是严密的，每一步都可以追溯到既定的逻辑原则。数学使用符号来表示概念和关系，这些符号具有清晰的定义和规则，通过符号化，数学家能够准确地表达复杂的思想和推理过程，从而简化了复杂的逻辑推理。数学的不同分支如逻辑学、集合论和证明论直接研究逻辑的结构和原理，这些分 ………………………………