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
By
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
Summary
A summary is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.
- Type
- Chapter
- Information
- Reflections on the Foundations of MathematicsEssays in Honor of Solomon Feferman, pp. 410 - 419Publisher: Cambridge University PressPrint publication year: 2002
References
[1] , Die Philosophie der Mathematik und die Hilbertsche Beweistheorie, Blätter für deutsche Philosophie, vol. 4 (1930-31), pp. 326-367. Reprinted in [2]. A translation by appears in[22], pp. 234-265.Google Scholar
[2] , Abhandlungen zur philosophie der mathematik, Darmstadt: Wissenschaftliche Buchgesellschaft, 1976.
[3] , Die Widerspruchfreiheit der reinen Zahlentheorie, Mathematische Annalen, vol. 112 (1936), pp. 493-565.Google Scholar
[4] , Über formal unentscheidbare Satze der Principia Mathematica und verwandter Systeme I, Monatshefte für Mathematik und Physik, vol. 38 (1931), pp. 173-198.
[5] , The present situation in the foundations of mathematics, [11], *1933o.
[6] , Lecture at Zilsel's, [11], *1938a
[7] , Über eine bisher noch nicht benutzte Erweiterung des finiten Standpunktes, Dialectica, vol. 12 (1958), pp. 280-287. Reprinted with an Englsh translation in [10]. [8] is a revised version.Google Scholar
[8] , On an extension of finitary mathematics which has not yet been used, [10], 1972.Revised version of [7].Google Scholar
[9] , Collected works, vol. I, Oxford: Oxford University Press, 1986.
[10] , Collected works, vol. II, Oxford: Oxford University Press, 1990.
[11] , Collected works, vol. III, Oxford: Oxford University Press, 1995.
[12] , Über das Unendliche, Mathematische Annalen, vol. 95 (1926), pp. 161-90. Translated by Stefan Bauer-Mengelberg in [29, 367-92].Google Scholar
[13] , Die Grundlagen derMathematik, Abhandlungen aus dem mathematischen Seminar der Hamburgischen Universität 6 (1928), (1927). Translated in [29] pp. 464-479.
[14] , Die Grundlegung der elementaren Zahlenlehre, Mathematische Annalen, vol. 104 (1930), pp. 485-494. Reprinted in part in [15].Google Scholar
[15] , Gesammelte Abhandlungen, vol. 3, Berlin: Springer, 1935.
[16] and , Grundlagen derMathematik I, Berlin: Springer-Verlag, 1934, The second edition was published in 1968.
[17] , Grundlagen der Mathematik II, Berlin: Springer-Verlag, 1939, The second edition was published in 1970.
[18] , Hilbert's program and the omega rule, The Journal of Symbolic Logic, vol. 59 (1994), pp. 322-343.Google Scholar
[19] , , and (editors), Intuitionism and proof theory, Amsterdam: North- Holland, 1970.
[20] , Ordinal logics and the characterization of informal notions of proof, Proceedings of the International Congress of Mathematicians, Edinburgh, (1958), pp. 289-299.
[21] Principles of proof and ordinals implicit in given concepts, [19], (1970), pp. 489-516.
[22] (editor), From Brouwer to Hilbert: The debate on the foundations of mathematics in the 1920's, Oxford: Oxford University Press, 1998.
[23] and , Hilbert's finitism and the notion of infinity, [24], (1998), pp. 271-306.
[24] (editor), The philosophy of mathematics today, Oxford: Clareendon Press, 1998.
[25] , Calculations by man and machine, Technical report, Carnegie Mellon, 2000.
[27] , Constructive reasoning, [30], (1967), pp. 185-199.
[29] (editor), From Frege to Gödel: A source book in mathematical logic, Cambridge: Harvard University Press, 1967.
[30] and (editors), Logic, methodology and philosophy of science III, Amsterdam: North-Holland, 1968.
[31] , Numbers and functions in Hilbert's finitism, Taiwanese Journal for Philosophy and History of Science, vol. 10 (1998), pp. 33-60.Google Scholar
- 6
- Cited by