数理逻辑

亦称符号逻辑，数学和逻辑学之间的边缘学科。是用数学方法研究推理、证明等逻辑问题的科学。19世纪中叶，英国数学家布尔创立布尔代数，奠定了数理逻辑的理论基础。19世纪末20世纪初，德国数学家弗雷格等人完善了命题演算和谓词演算。策梅罗和希尔伯特等人创立并发展了公理集合论和证明论。20世纪30年代，奥地利数学家哥德尔证明了谓词演算的完全性和形式算术系统的不完全性，并创立和发展了能行性理论。20世纪50年代，波兰数学家塔尔斯基等人发展了模型论。现今，数理逻辑研究已成为数学领域中最活跃的方向之一。