数理逻辑

数理逻辑   shù lǐ luó ji

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


扫描版:「数理逻辑」在《现代汉语词典》第1212页