Ways of Proof Theory

1. Auflage 2010
ISBN: 978-3-11-032452-5
Verlag: De Gruyter

Buch, Englisch, 498 Seiten, Format (B × H): 153 mm x 216 mm, Gewicht: 748 g

Reihe: ISSN

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 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 proof theory.

Autoren/Hrsg.

Schindler, Ralf

Fachgebiete

• Interdisziplinäres Wissenschaften Wissenschaften: Allgemeines Wissenschaften: Theorie, Epistemologie, Methodik
• Geisteswissenschaften Philosophie Wissenschaftstheorie, Wissenschaftsphilosophie
• Mathematik | Informatik Mathematik Mathematik Allgemein Mathematische Logik
• Geisteswissenschaften Philosophie Philosophische Logik, Argumentationstheorie

Über Autor(innen)

Ralf Schindler studied Philosophy in Munich and did his Ph.D. in mathematics in Bonn. He held PostDoc positions in Berkeley and Vienna. Since 2003 he has been a professor for mathematical logic at the university of Münster.