1 paper · 1 filter
Stefan Neuwirth, Henri Lombardi, Thierry Coquand
In 1955, Paul Lorenzen is a mathematician who devotes all his research to foundations of mathematics, on a par with Hans Hermes, but his academic background is algebra in the tradi…