数理逻辑的产生和发展

本文较为简明扼要地介绍了数理逻辑发展史。从莱布尼兹始,经布尔、德·摩根,到弗雷格和罗素,后来又产生了康托尔的集合论,哥德尔的完备性定理与不完全性定理。近代数理逻辑也分成了若干流派,对相关问题的研究日益深入。