数理逻辑的发展历史

数理逻辑的发展历史  数理逻辑又称符号逻辑、理论逻辑。是用数学方法研究逻辑或形式逻辑的学科。它既是数学的一个分支 ，也是逻辑学的一个 分支。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系