Concepts of Proof in Mathematics, Philosophy, and Computer Science

ISBN-13: 9781501510809 / Angielski / Twarda / 2016 / 384 str.

Opis

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. "

O autorze

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