Book contents
- Frontmatter
- Preface
- Contents
- PART I PROOF THEORETIC ANALYSIS
- PART II LOGIC AND COMPUTATION
- PART III APPLICATIVE AND SELF-APPLICATIVE THEORIES
- PART IV PHILOSOPHY OF MODERN MATHEMATICAL AND LOGICAL THOUGHT
- On the constructivity of proofs. A debate among Behmann, Bernays, Gödel, and Kaufmann
- Realism and the debate on impredicativity, 1917-1944*
- Calculations by man and machine: conceptual analysis*
- Remarks on finitism
- Logical constants: the variable fortunes of an elusive notion
- Symposium program
- References
Remarks on finitism
from PART IV - PHILOSOPHY OF MODERN MATHEMATICAL AND LOGICAL THOUGHT
Published online by Cambridge University Press: 31 March 2017
- Frontmatter
- Preface
- Contents
- PART I PROOF THEORETIC ANALYSIS
- PART II LOGIC AND COMPUTATION
- PART III APPLICATIVE AND SELF-APPLICATIVE THEORIES
- PART IV PHILOSOPHY OF MODERN MATHEMATICAL AND LOGICAL THOUGHT
- On the constructivity of proofs. A debate among Behmann, Bernays, Gödel, and Kaufmann
- Realism and the debate on impredicativity, 1917-1944*
- Calculations by man and machine: conceptual analysis*
- Remarks on finitism
- Logical constants: the variable fortunes of an elusive notion
- Symposium program
- References
Summary
![Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'](https://static.cambridge.org/content/id/urn%3Acambridge.org%3Aid%3Abook%3A9781316755983/resource/name/firstPage-9781316755983c19_p410-419_CBO.jpg)
- Type
- Chapter
- Information
- Reflections on the Foundations of MathematicsEssays in Honor of Solomon Feferman, pp. 410 - 419Publisher: Cambridge University PressPrint publication year: 2002
References
- 6
- Cited by