Logicism, Intuitionism, and Formalism
Broschiertes Buch

Logicism, Intuitionism, and Formalism

What Has Become of Them?

Herausgegeben: Lindström, Sten; Palmgren, Erik; Segerberg, Krister; Stoltenberg-Hansen, Viggo
Versandkostenfrei!
Versandfertig in 1-2 Wochen
214,99 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
107 °P sammeln!
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 various schools culminating in the famous Hilbert-Brouwer controve...