数学逻辑和数理逻辑一样吗?

1个回答

不一样
通常我们以为数学逻辑智能就是算术,这当然是事实,但是,数学逻辑智能并不仅仅局限于算术,
它同样可以帮助我们了解如何看待和解决问题. 数学逻辑智能其实是用来分析问题和考虑解决问题的可能性的.
数理逻辑又称符号逻辑、理论逻辑.它既是数学的一个分支,也是逻辑学的一个分支.是用数学方法研究逻辑或形式逻辑的学科.其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统.数理逻辑是数学基础的一个不可缺少的组成部分.虽然名称中有逻辑两字,但并不属于单纯逻辑学范畴.