数理逻辑奠基时期 逻辑演算的建立和发展一Frege (1848-1925,德) Peano的符号体系 罗素(B.Russell,1872-1970,英)的 逻辑演算和罗素悖论 ■逻辑主义学派(Russell) n 直觉主义学派 (Brower) ■形式主义学派(Hilbert) 1212 数理逻辑奠基时期 n 逻辑演算的建立和发展——Frege （1848-1925，德） n Peano的符号体系 n 罗素（B.Russell, 1872-1970, 英）的 逻辑演算和罗素悖论 n 逻辑主义学派（Russell） n 直觉主义学派（Brower） n 形式主义学派（Hilbert）