On the occasion of the retirement of Wolfram Pohlers the Institut fur Mathematische Logik und Grundlagenforschung of the University of Munster organized a colloquium and a workshop which took place July 17 - 19, 2008. This event brought together proof theorists from many parts of the world who have been acting as teachers, students and collaborators of Wolfram Pohlers and who have been shaping the field of proof theory over the years. The present volume collects papers by the speakers of the colloquium and workshop; and they produce a documentation of the state of the art of contemporary...
On the occasion of the retirement of Wolfram Pohlers the Institut fur Mathematische Logik und Grundlagenforschung of the University of Munster orga...
Church's Thesis (CT) was first published by Alonzo Church in 1935. CT is a proposition that identifies two notions: an intuitive notion of a effectively computable function defined in natural numbers with the notion of a recursive function. Despite of the many efforts of prominent scientists, Church's Thesis has never been falsified. There exists a vast literature concerning the thesis. The aim of the book is to provide one volume summary of the state of research on Church's Thesis. These include the following: different formulations of CT, CT and intuitionism, CT and intensional...
Church's Thesis (CT) was first published by Alonzo Church in 1935. CT is a proposition that identifies two notions: an intuitive notion of a effect...
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 active...
