Concepts of Proof in Mathematics, Philosophy, and Computer Science
Dieter Probst, Peter Schuster (eds)
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.
Categories:
Year:
2016
Publisher:
De Gruyter
Language:
english
Pages:
374
ISBN 10:
1501510800
ISBN 13:
9781501510809
Series:
Ontos Mathematical Logic, Volume 6
File:
PDF, 10.74 MB
IPFS:
,
english, 2016