数学是符号化的逻辑吗
- 培训职业
- 2025-05-05 17:34:50
准确说，符号化的逻辑是数理逻辑而不是数学逻辑。
数理逻辑又称符号逻辑、理论逻辑.它既是数学的一个分支,也是逻辑学的一个分支.是用数学方法研究逻辑或形式逻辑的学科.其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统.数理逻辑是数学基础的一个不可缺少的组成部分.虽然名称中有逻辑两字,但并不属于单纯逻辑学范畴
数学逻辑（Mathematical
logic)是与数学基础，理论计算科学和哲学逻辑密切联系的一个数学分支。其研究对象包括逻辑数学研究和把形式逻辑应用到数学的其它领域。数学逻辑的研究范围是逻辑中可数学模式化的部分。数学逻辑可粗分为四部分：1.集合论；2.模拟论；3.递归论和4.证据理论和建设性数学
上一篇
985汽车工程大学有哪些
下一篇
芬兰汽车品牌有哪些
多重随机标签