works on
definitional inversion 1dependent type theory 1domain theory 1injectivity 1non-normalising systems 1

From the 1 of 10 linked papers with an AI index.

activity
20242026
collaborators
Showing math.HOShow all

1 paper · 1 filter

math.HO2024

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl

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…