Cargando…
The argument of mathematics
This book presents a comprehensive investigation into the relationship between argumentation theory and the philosophy of mathematical practice. It offers large array of examples ranging from the history of mathematics to formal proof verification.
| Autores principales: | , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Springer
2014
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/2278817 |
| _version_ | 1780955397087035392 |
|---|---|
| author | Aberdein, Andrew Dove, Ian J |
| author_facet | Aberdein, Andrew Dove, Ian J |
| author_sort | Aberdein, Andrew |
| collection | CERN |
| description | This book presents a comprehensive investigation into the relationship between argumentation theory and the philosophy of mathematical practice. It offers large array of examples ranging from the history of mathematics to formal proof verification. |
| id | cern-2278817 |
| institution | Organización Europea para la Investigación Nuclear |
| language | eng |
| publishDate | 2014 |
| publisher | Springer |
| record_format | invenio |
| spelling | cern-22788172021-04-21T19:06:55Zhttp://cds.cern.ch/record/2278817engAberdein, AndrewDove, Ian JThe argument of mathematicsMathematical Physics and MathematicsThis book presents a comprehensive investigation into the relationship between argumentation theory and the philosophy of mathematical practice. It offers large array of examples ranging from the history of mathematics to formal proof verification.Springer oai:cds.cern.ch:22788172014 |
| spellingShingle | Mathematical Physics and Mathematics Aberdein, Andrew Dove, Ian J The argument of mathematics |
| title | The argument of mathematics |
| title_full | The argument of mathematics |
| title_fullStr | The argument of mathematics |
| title_full_unstemmed | The argument of mathematics |
| title_short | The argument of mathematics |
| title_sort | argument of mathematics |
| topic | Mathematical Physics and Mathematics |
| url | http://cds.cern.ch/record/2278817 |
| work_keys_str_mv | AT aberdeinandrew theargumentofmathematics AT doveianj theargumentofmathematics AT aberdeinandrew argumentofmathematics AT doveianj argumentofmathematics |