Logic List Mailing Archive

Wolfram Pohlers (1943-2024)

The eminent proof theorist Wolfram Pohlers (26 August 1943-19 December
2024) passed away last month.

He obtained his PhD in proof theory in Munich in 1973 under supervision of 
Kurt Sch�tte and was Professor of Mathematical Logic at the Westf�lisch
e Wilhelms-Universit�t M�nster from 1985 to his retirement in 2008. He 
published many papers in proof theory, the textbook "Proof Theory", and pla
yed a crucial role at the University and in the wider academic community.

A short obituary in German can be found here:

https://www.dvmlg.de/dokumente/
   --> Nachruf Wolfram Pohlers (26. August 1943-19. Dezember 2024)
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php