数理逻辑的若干结果、方法、意义和趋向

本文考察数理逻辑的若干重大的结果和某些基本方法,试图阐发它的重大意义和.探讨它的发展趋向。 一、若干重大结果 数理逻辑开始于莱布尼兹,经过布尔、施劳德、弗雷格、罗素、希尔伯特(David Hilbert,1862—1943)等人的工作,使它系统地研究了思维过程、数学概念和数学证明,创立了布