出处：哲学卷 • 逻 辑 学 • 总 论
| 词条 | 数理逻辑 |
| 释义 | 数理逻辑 数理逻辑 亦称“符号逻辑”。用数学方法研究思维的形式结构及其规律的学科。内容有逻辑演算、模型论、公理集合论、递归论和证明论等。最早提出逻辑改革以实现推理的普遍演算设想的是莱布尼茨,1847年布尔发表《逻辑的数学分析》后,才有所发展。19世纪末20世纪初,弗雷格等人在深入研究数学概念和证明中创立了谓词演算,20世纪30年代哥德尔证明了谓词演算的完全性和算术系统的不完全性等,使数理逻辑形成一门独立的学科。40年代,数理逻辑逐步在开关线路、自动化系统及计算机科学与技术等方面获得应用。随后,在解决连续统假设和选择公理的独立性时创造了著名的新方法——力迫法,同时在模型论、集合论、递归论等其他研究中也获得了许多重要的结果。 出处：哲学卷 • 逻 辑 学 • 总 论 数理逻辑 亦称“符号逻辑”。用数学方法研究思维的形式结构及其规律的学科。内容有逻辑演算、模型论、公理集合论、递归论和证明论等。最早提出有关问题的是莱布尼茨,1847年布尔发表《逻辑的数学分析》后,才有所发展。19世纪末20世纪初,弗雷格等人在深入研究数学概念和证明中创立了经典的命题演算和谓词演算,20世纪30年代哥德尔证明了经典谓词演算的完全性和算术系统的不完全性等,使数理逻辑形成一门独立的学科。40年代,数理逻辑逐步在开关线路、自动化系统及计算机科学与技术等方面获得应用。随后,在解决连续统假设和选择公理的独立性时创造了著名的新方法——力迫法,同时在模型论、集合论、递归论等其他研究中也获得了许多重要的结果。 出处：数理化力学卷 • 数 学 • 数理逻辑 • 数学基础 数理逻辑 亦称“符号逻辑”。用数学方法研究思维的形式结构及其规律的学科。内容有逻辑演算、模型论、公理集合论、递归论和证明论等。最早提出有关问题的是莱布尼茨,1847年布尔发表《逻辑的数学分析》后,才有所发展。19世纪末20世纪初,弗雷格等人在深入研究数学概念和证明中创立了经典的命题演算和谓词演算,20世纪30年代哥德尔证明了经典谓词演算的完全性和算术系统的不完全性等,使数理逻辑形成一门独立的学科。40年代,数理逻辑逐步在开关线路、自动化系统及计算机科学与技术等方面获得应用。随后,在解决连续统假设和选择公理的独立性时创造了著名的新方法——力迫法,同时在模型论、集合论、递归论等其他研究中也获得了许多重要的结果。 出处：数理化力学卷 • 数 学 • 总 类 |
| 随便看 |
百科全书收录258893条中英文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。