数理逻辑漫画

　　数理逻辑又称为符号逻辑、理论逻辑，是用数学方法研究逻辑或形式逻辑的学科。所谓数学方法是指数学采用的一般方法，包括使用符号和公式，使用已有的数学成果和方法，特别是使用形式的公理方法。

　　用数学的方法研究逻辑的系统思想一般要追溯到德国数学家莱布尼茨（G.W.Leibniz，1646－1716），他首先明确地提出了数理逻辑的思想。1847年，英国数学家布尔（G.Boole，1815－1864）初步奠定了数理逻辑的基础。19世纪末、20世纪初， 德国数学家弗雷格（F.L.G.Frege，1848－1925）、美国数学家皮尔斯（C.S.Peirce，1839－1914）、意大利数学家皮亚诺（G.Peana，1858－932）等人使现代数理逻辑最基本的理论基础逐步形成，成为一门独立的学科。其后，在德国数学家希尔伯特（D.Hilbert，1862－1943）、奥地利-美国数学家哥德尔（K.Gödel，1906－1978）等人的推动下，数理逻辑得到了进一步发展。

　　如今，数理逻辑是数学基础的一个不可缺少的组成部分，也是现代计算机技术的基础，在程序验证、程序变换、程序综合、软件形式说明、程序设计语言的形式语义学、人工智能等方面都应用了数理逻辑的概念、方法和理论。