Synthese 101 (1):1 - 14 (1994)
Hilbert's programme is shown to have been inspired in part by what we can call Kronecker's programme in the foundations of an arithmetic theory of algebraic quantities.While finitism stays within the bounds of intuitive finite arithmetic, metamathematics goes beyond in the hope of recovering classical logic. The leap into the transfinite proved to be hazardous, not only from the perspective of Gödel's results, but also from a Kroneckerian point of view.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Between Russell and Hilbert: Behmann on the Foundations of Mathematics.Paolo Mancosu - 1999 - Bulletin of Symbolic Logic 5 (3):303-330.
Hilbert's 'Verunglückter Beweis', the First Epsilon Theorem, and Consistency Proofs.Richard Zach - 2004 - History and Philosophy of Logic 25 (2):79-94.
A Variant to Hilbert's Theory of the Foundations of Arithmetic.G. Kreisel - 1953 - British Journal for the Philosophy of Science 4 (14):107-129.
Mathematical Logic and the Foundations of Mathematics: An Introductory Survey.G. T. Kneebone - 1963 - Dover Publications.
Proof-Theoretic Reduction as a Philosopher's Tool.Thomas Hofweber - 2000 - Erkenntnis 53 (1-2):127-146.
Hilberts Logik. Von der Axiomatik zur Beweistheorie.Volker Peckhaus - 1995 - NTM International Journal of History and Ethics of Natural Sciences, Technology and Medicine 3 (1):65-86.
Added to index2009-01-28
Total downloads25 ( #202,862 of 2,168,151 )
Recent downloads (6 months)4 ( #82,720 of 2,168,151 )
How can I increase my downloads?