Ways of Proof Theory

به مناسبت بازنشستگی ولفرام پولرز، مؤسسه منطق ریاضی و تحقیقات پایه در دانشگاه مونستر یک کنفرانس و کارگاه تئوری اثبات ترتیب داد. این رویداد نظریه پردازان اثبات را از بسیاری از نقاط جهان گرد هم آورد که به عنوان معلم، دانش آموز و همکاران Wolfram Pohlers عمل کرده اند و در طول سال ها زمینه تئوری اثبات را شکل داده اند. جلد حاضر مقالات سخنرانان را جمع آوری می کند و اسناد مکتوب در مورد هنر نظریه اثبات معاصر ارائه می کند.

On the occasion of the retirement of Wolfram Pohlers, the Institute for Mathematical Logic and Basic Research at the University of Münster organized a proof theory colloquium and workshop. 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 and presents written documentation about the art of contemporary proof theory.