ENGLISH

Logicism, intuitionism, and formalism : what has become of them?

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

Book information

Publisher
Springer
Year
2009
ISBN
978-1-4020-8925-1, 1402089252, 978-1-4020-8926-8, 1402089260
DOI
10.1007/978-1-4020-8926-8
Language
english
Format
PDF
Filesize
2 MB (2311604 bytes)
Series
Synthese library 341
Pages
512\524
Time added
2016-01-18 05:00:00
Mathematical Logic and Foundations; Logic; Philoso

Description

This anthology reviews the programmes in the foundations of mathematics from the classical period and assesses their possible relevance for contemporary philosophy of mathematics. A special section is concerned with constructive mathematics.

Similar books