Probst / Schuster Concepts of Proof in Mathematics, Philosophy, and Computer Science

1. Auflage 2016
ISBN: 978-1-5015-0262-0
Verlag: De Gruyter
Format: PDF
Kopierschutz: 1 - PDF Watermark

E-Book, Englisch, Band 6, 384 Seiten

Reihe: Ontos Mathematical LogicISSN

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.

Autoren/Hrsg.

Probst, Dieter

Schuster, Peter

Fachgebiete

• Geisteswissenschaften Philosophie Philosophische Logik, Argumentationstheorie
• Geisteswissenschaften Philosophie Philosophie der Mathematik, Philosophie der Physik
• Mathematik | Informatik Mathematik Mathematik Allgemein Philosophie der Mathematik

Über Autor(innen)

Dieter Probst, Inst. of Computer Science, U. Bern, Switzerland.
Peter Schuster, Dept. of Computer Science, U. Verona, Italy.