Cargando…
Logicism, intuitionism, and formalism
Aims to review the programmes in the foundations of mathematics from the classical period and to assess their possible relevance for contemporary philosophy of mathematics. This work is suitable for researchers and graduate students of philosophy, logic, mathematics and theoretical computer science.
| Autores principales: | , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Springer
2008
|
| Materias: | |
| Acceso en línea: | https://dx.doi.org/10.1007/978-1-4020-8926-8 http://cds.cern.ch/record/1621559 |
| Sumario: | Aims to review the programmes in the foundations of mathematics from the classical period and to assess their possible relevance for contemporary philosophy of mathematics. This work is suitable for researchers and graduate students of philosophy, logic, mathematics and theoretical computer science. |
|---|