Wolfram Pohlers

Wolfram Pohlers (26 August 1943–19 December 2024) was a German mathematical logician and proof theorist. He earned his PhD in proof theory in Munich in 1973 under Kurt Schütte and later served as Professor of Mathematical Logic at the University of Münster from 1985 until his retirement in 2008. [1][2]