开创了数理逻辑，成为逻辑学上的第二个里程碑

开创了数理逻辑,成为逻辑学上的第二个里程碑的人是莱布尼茨 。
　　戈特弗里德·威廉·莱布尼茨（Gottfried Wilhelm Leibniz，1646年7月1日－1716年11月14日），德意志哲学家、数学家，历史上少见的通才，被誉为17世纪的亚里士多德。　　1666年他出版第一部有关于哲学方面的书籍，书名为《论组合术》。1671年发表两篇论文《抽象运动的理论》（Theoria motus abstracti）及《新物理学假说》（Hypothesis physica nova），分别题献给巴黎的科学院和伦敦的皇家学会。
　　由于莱布尼茨曾在汉诺威生活和工作了近四十年，并且在汉诺威去世，为了纪念他和他的学术成就，2006年7月1日，也就是莱布尼茨360周年诞辰之际，汉诺威大学正式改名为汉诺威莱布尼茨大学。