Cargando…
Concepts of proof in mathematics, philosophy, and computer science /
This book provides the reader with research arising from the Humboldt-Kolleg 'Proof' held in Bern in fall 2013, which gathered leading experts actively involved with the concept 'proof' in philosophy, mathematics and computer science. This volume aims to do justice to the breadth...
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Berlin :
De Gruyter,
[2016]
|
| Colección: | Ontos mathematical logic ;
v. 6. |
| Temas: | |
| Acceso en línea: | Texto completo |
| Sumario: | This book provides the reader with research arising from the Humboldt-Kolleg 'Proof' held in Bern in fall 2013, which gathered leading experts actively involved with the concept 'proof' in philosophy, mathematics and computer science. This volume aims to do justice to the breadth and depth of the subject and presents relevant current conceptions and technical advances featuring 'proof' in those fields. |
|---|---|
| Descripción Física: | 1 online resource (x, 374 pages .) |
| Bibliografía: | Includes bibliographical references. |
| ISBN: | 150150262X 9781501502620 9781501502644 1501502646 |
| ISSN: | 2198-2341 ; |