数理逻辑及其应用

数理逻辑是现代科学与技术的发展中最重要的新兴领域之一。它是一门“边缘”科学。它的研究对象深深地伸入好几门科学的对象中去,接触到这些科学的核心问题,对于各门科学的重要问题予以统一的综合的处理而形成自己独立的研究方向。数理逻辑的发展一般可以说是从莱布尼兹开始;莱布尼兹第一个提出这样的观念,认为逻辑学应当象几何和算术一样,可以借助于线条和算式以使得我们的思维能够有所遵循地前进,并且逻辑学应当象数学那样可以通过运算来进行思维。