Abstract
AbstractIn this article we give an overview, from a philosophical point of view, of Lorenzen’s construction of the natural and the real numbers. Particular emphasis is placed on Lorenzen’s classification in the tradition of predicative approaches that stretches from Poincaré to Feferman.
Publisher
Springer International Publishing
Reference44 articles.
1. Becker, O. (1956/57). Review of Paul Lorenzen: Einführung in die operative Logik und Mathematik. Kant-Studien, 48, 447–454.
2. Bernays, P. (1979). Bemerkungen zu Lorenzens Stellungnahme in der Philosophie der Mathematik. In K. Lorenz (Ed.), Konstruktionen versus Positionen: Beiträge zur Diskussion um die Konstruktive Wissenschaftstheorie (Paul Lorenzen zum 60. Geburtstag), volume i: Spezielle Wissenschaftstheorie (pp. 3–16). Berlin: De Gruyter.
3. Curry, H. B. (1951). Outlines of a formalist philosophy of mathematics. Amsterdam: North-Holland.
4. Dingler, H. (1913). Die Grundlagen der Naturphilosophie. Leipzig: Verlag Unesma (Darmstadt: Wissenschaftliche Buchgesellschaft, 1967).
5. Dingler, H. (1931). Philosophie der Logik und Arithmetik. Munich: Ernst Reinhardt.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献