Logicism, Intuitionism, and Formalism: What Has Become of Them? (Synthese Library, Volume 341)

Logicism, Intuitionism, and Formalism: What Has Become of Them? (Synthese Library, Volume 341)

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


- comprises essays by means of world-leading specialists within the philosophy and foundations of arithmetic, describing present advancements within the foundations of arithmetic in a ancient perspective

- Analyses the classical philosophical and foundational perspectives of Frege, Brouwer, Hilbert, Gödel and Tarski and examines their relevance for present developments

- offers an in-depth research of assorted sorts of neologicist philosophies of mathematics

- includes a accomplished part on mathematical intuitionism and optimistic mathematics

- deals large discussions, by means of a number of authors, of the proof-theoretic programme of Hilbert and Bernays

Show sample text content

Download sample