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 |
| _version_ | 1780933189596872704 |
|---|---|
| author | Symons, John Dalen, Dirk |
| author_facet | Symons, John Dalen, Dirk |
| author_sort | Symons, John |
| collection | CERN |
| description | 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. |
| id | cern-1621559 |
| institution | Organización Europea para la Investigación Nuclear |
| language | eng |
| publishDate | 2008 |
| publisher | Springer |
| record_format | invenio |
| spelling | cern-16215592021-04-21T21:51:15Zdoi:10.1007/978-1-4020-8926-8http://cds.cern.ch/record/1621559engSymons, JohnDalen, DirkLogicism, intuitionism, and formalismMathematical Physics and MathematicsAims 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.Springeroai:cds.cern.ch:16215592008 |
| spellingShingle | Mathematical Physics and Mathematics Symons, John Dalen, Dirk Logicism, intuitionism, and formalism |
| title | Logicism, intuitionism, and formalism |
| title_full | Logicism, intuitionism, and formalism |
| title_fullStr | Logicism, intuitionism, and formalism |
| title_full_unstemmed | Logicism, intuitionism, and formalism |
| title_short | Logicism, intuitionism, and formalism |
| title_sort | logicism, intuitionism, and formalism |
| topic | Mathematical Physics and Mathematics |
| url | https://dx.doi.org/10.1007/978-1-4020-8926-8 http://cds.cern.ch/record/1621559 |
| work_keys_str_mv | AT symonsjohn logicismintuitionismandformalism AT dalendirk logicismintuitionismandformalism |