Concepts of proof in mathematics, philosophy, and computer science

This book provides the reader with research arising from the Humboldt-Kolleg {u2018}Proof{u2019} held in Bern in fall 2013, which gathered leading experts actively involved with the concept {u2018}proof{u2019} 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 {u2018}proof{u2019} in those fields.