Using archival letters and reports, this paper shows that Weyl endorsed Lorenzen's predicative mathematics in 1955, while Gödel opposed Lorenzen's invitation to Princeton.
Review of silva97
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.HO 1years
2024 1verdicts
ACCEPT 1representative citing papers
citing papers explorer
-
In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl
Using archival letters and reports, this paper shows that Weyl endorsed Lorenzen's predicative mathematics in 1955, while Gödel opposed Lorenzen's invitation to Princeton.