數理邏輯漫畫

　　數理邏輯又稱為符號邏輯、理論邏輯，是用數學方法研究邏輯或形式邏輯的學科。所謂數學方法是指數學採用的一般方法，包括使用符號和公式，使用已有的數學成果和方法，特別是使用形式的公理方法。

　　用數學的方法研究邏輯的系統思想一般要追溯到德國數學家萊布尼茨（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）等人的推動下，數理邏輯得到了進一步發展。

　　如今，數理邏輯是數學基礎的一個不可缺少的組成部分，也是現代電腦技術的基礎，在程式驗證、程式變換、程式綜合、軟體形式說明、程式設計語言的形式語義學、人工智慧等方面都應用了數理邏輯的概念、方法和理論。