Logicism, Intuitionism, and Formalism
数理逻辑与数学基础The period in the foundations of mathematics that started in 1879 with the publication of Frege 's Begriffsschrift and ended in 1931 with G del 's ber formal unentscheidbare S tze der Principia Mathematica und verwandter Systeme I can reasonably be called the classical period. It saw the development of three major foundational programmes: the logicism of Frege, Russell and Whitehead, the intuitionism of Brouwer, and Hilbert 's formalist and proof-theoretic programme. In this period, there were also lively exchanges between the