Review of Symbolic Logic 3 (1):119-144 (2010)
| Authors |
|
| Abstract |
Finitism is given an interpretation based on two ideas about strings (sequences of symbols): a replacement principle extracted from Hilberts class 2 can be justified by means of an additional finitistic choice principle, thus obtaining a second equational theory . It is unknown whether is strictly stronger than since 2 may coincide with the class of lower elementary functions
|
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.1017/s1755020309990323 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
From Brouwer to Hilbert: The Debate on the Foundations of Mathematics in the 1920s.Paolo Mancosu (ed.) - 1998 - Oxford University Press.
View all 32 references / Add more references
Citations of this work BETA
Strict Finitism, Feasibility, and the Sorites.Walter Dean - 2018 - Review of Symbolic Logic 11 (2):295-346.
Finitistic Arithmetic and Classical Logic.Mihai Ganea - 2014 - Philosophia Mathematica 22 (2):167-197.
Similar books and articles
Dummett's Intuitionism is Not Strict Finitism.Samuel William Mitchell - 1992 - Synthese 90 (3):437 - 458.
Do the Right Thing! Rule Finitism, Rule Scepticism and Rule Following.Wes Sharrock & Graham Button - 1999 - Human Studies 22 (2-4):193-210.
Strict Finitism and the Happy Sorites.Ofra Magidor - 2012 - Journal of Philosophical Logic 41 (2):471-491.
Gödel on Intuition and on Hilbert's Finitism.W. W. Tait - 2010 - In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Kurt Gödel: Essays for His Centennial. Association for Symbolic Logic.
Strict Finitism Refuted?Ofra Magidor - 2007 - Proceedings of the Aristotelian Society 107 (1pt3):403-411.
Analytics
Added to PP index
2010-02-07
Total views
106 ( #92,345 of 2,403,033 )
Recent downloads (6 months)
1 ( #552,435 of 2,403,033 )
2010-02-07
Total views
106 ( #92,345 of 2,403,033 )
Recent downloads (6 months)
1 ( #552,435 of 2,403,033 )
How can I increase my downloads?
Downloads
