36 citations · 55 across the 9 of their papers we have counts for
Showing math.HOShow all
2 papers · 1 filter
math.HO2024★ 1 cited
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…
math.HO2020★ 7 cited
Lorenzen's proof of consistency for elementary number theory [with an edition and translation of "Ein halbordnungstheoretischer Widerspruchsfreiheitsbeweis'']
Thierry Coquand, Stefan Neuwirth
We present a manuscript of Paul Lorenzen that provides a proof of consistency for elementary number theory as an application of the construction of the free countably complete pseu…