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 Schtte and was Professor of Mathematical Logic at the Westflisch
e Wilhelms-Universitt Mnster 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