Concepts of Proof in Mathematics, Philosophy, and Computer Science
Seiten
2016
De Gruyter
978-1-5015-0263-7 (ISBN)
De Gruyter
978-1-5015-0263-7 (ISBN)
- Titel wird leider nicht erscheinen
- Artikel merken
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 presents relevant conceptions and technical advances featuring 'proof' in those fields.
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.
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.
Dieter Probst, Inst. of Computer Science, U. Bern, Switzerland.Peter Schuster, Dept. of Computer Science, U. Verona, Italy.
| Erscheint lt. Verlag | 25.7.2016 |
|---|---|
| Reihe/Serie | Ontos Mathematical Logic ; 6 |
| Verlagsort | New York |
| Sprache | englisch |
| Maße | 155 x 230 mm |
| Themenwelt | Geisteswissenschaften ► Philosophie ► Erkenntnistheorie / Wissenschaftstheorie |
| Geisteswissenschaften ► Philosophie ► Logik | |
| Schlagworte | Mathematical Logic; Philosophy of Mathematics; Theoretical Computer Science |
| ISBN-10 | 1-5015-0263-8 / 1501502638 |
| ISBN-13 | 978-1-5015-0263-7 / 9781501502637 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
