数理逻辑和算法理论课件：逻辑的数学化.pptx

逻辑的数学化

1莱布尼茨的逻辑的数学化构想2布尔的逻辑代数3弗雷格的逻辑演算4命题演算和谓词演算系统的完善目录

莱布尼茨的逻辑的数学化构想1.1

1.1莱布尼茨的逻辑的数学化构想1.1.1科学的数学化年代大约从15世纪开始，世界科学与数学中心逐步移至文艺复兴时期的欧洲。在此之前，古希腊演绎几何和东方算法精神传入欧洲。16世纪之后,欧洲人在代数研究方面开始获得了超过前人的数学成就。《古今数学思想》指出:“截至1600年，欧洲的科学无疑注意到数学在自然科学研究中的重要性.Descartes和Galilei两人针对科学活动的基本性质,进行革命化,他们选定科学应