The authors have written an introduction to logic taking Godel's incompleteness theorem as a starting point. The book should interest everyone from mathematicians to philosophers and readers who wish to understand the foundations and limitations of rational thinking. It is used …
Ways of Proof Theory
On the occasion of the retirement of Wolfram Pohlers the Institut für Mathematische Logik und Grundlagenforschung of the University of Münster organized a colloquium and a workshop which took place July 17 - 19, 2008. This event brought together proof theorists from many parts o…
On the occasion of the retirement of Wolfram Pohlers the Institut für Mathematische Logik und Grundlagenforschung of the University of Münster organized a colloquium and a workshop which took place July 17 - 19, 2008. This event brought together proof theorists from many parts o…
