数理逻辑（Symbolic Logic）

数理逻辑是数学的一个分支，其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。数理逻辑的研究范围是逻辑中可被数学模式化的部分。以前称为符号逻辑（相对于哲学逻辑），又称元数学，后者的使用现已局限于证明论的某些方面。

专知会员服务

94+阅读 · 2023年12月22日

专知会员服务

105+阅读 · 2022年9月14日

参考链接

微信扫码咨询专知VIP会员