Logicism, intuitionism, and formalism

by Sten Lindström, Erik Palmgren, Krister Segerberg, Viggo Stoltenberg-Hansen

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 Math…