数理逻辑
数理逻辑的意思
1. 数学的一个分支，用数学方法研究推理、计算等逻辑问题。也叫符号逻辑。
例句：
我们实在搞不明白这复杂的数理逻辑运算。
含义解释
也叫符号逻辑。运用数学方法，借助符号，系统地研究思维的形式结构及其规律的一门数学分支。主要包括逻辑演算、模型论、集合论、递归论、证明论等部分。广泛用于计算机科学、人工智能、控制论、自动化、心理学、量子力学等方面。
数理逻辑是处于多门科学之间的，它把它的研究对象伸入到好几门科学中去，而形成自己独立的问题与方向。
古文寓意：
数理逻辑的研究告诉我们，远不是所有的思维过程都有可能转换为计算过程的。
——当代·佚名·《《人民日报》1956.06》