Paul Lorenzen -- Mathematician and Logician