数理逻辑

词典解释：
亦称“符号逻辑”。用数学方法研究思维的形式结构及其规律的学科。内容有逻辑演算、模型论、公理集合论、递归论和证明论等。最早提出有关问题的是莱布尼茨，1847年布尔发表《逻辑的数学分析》后，才有所发展。19世纪末20世纪初，弗雷格等人在深入研究数学概念和证明中创立了谓词演算，20世纪30年代哥德尔证明了谓词演算的完全性和算术系统的不完全性等，使数理逻辑形成一门独立的学科。40年代，数理逻辑逐步在开关线路、自动化系统及计算机科学与技术等方面获得应用。随后，在解决连续统假设和选择公理的独立性时创造了著名的新方法——力迫法，同时在模型论、集合论、递归论等其他研究中也获得了许多重要的结果。

词典名字：

数理逻辑

词典发音：

shù lǐ luó ji

国语辞典

亦称“符号逻辑”。狭义指用数学方法研究数学中的演绎思维以及数学基础的学科。广义指一切用符号和数学方法处理和研究演绎法的学问。既是数学的一个分支，又是逻辑学的一个分支。数理逻辑对数学研究和工程技术有重要意义，对一般思维中某些问题的解决也有成效。

基本解释

引证解释

成语解释

网络解释

形式逻辑形式上符号化、数学化的逻辑，本质上仍属于知性逻辑的范畴。

数理逻辑又称符号逻辑、理论逻辑。它既是数学的一个分支，也是逻辑学的一个分支。是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是基础数学的一个不可缺少的组成部分。虽然名称中有逻辑两字，但并不属于单纯逻辑学范畴。

一周点击量最多词典