Review of Symbolic Logic 3 (1):119-144 (2010)

Authors
Mihai Ganea
University of Toronto, St. George Campus
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
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 55,935
Through your library

References found in this work BETA

From Frege to Gödel.Jean Van Heijenoort (ed.) - 1967 - Cambridge: Harvard University Press.
Mathematical Thought and its Objects.Charles Parsons - 2007 - Cambridge University Press.
Collected Works.Kurt Gödel - 1986 - 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.
On the Concept of Finitism.Luca Incurvati - 2015 - Synthese 192 (8):2413-2436.
Finitistic Arithmetic and Classical Logic.Mihai Ganea - 2014 - Philosophia Mathematica 22 (2):167-197.

Add more citations

Similar books and articles

Varieties of Finitism.Manuel Bremer - 2007 - Metaphysica 8 (2):131-148.
A Defense of Strict Finitism.J. P. Bendegem - 2012 - Constructivist Foundations 7 (2):141-149.
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.
Wittgenstein and Finitism.Mathieu Marion - 1995 - Synthese 105 (2):141 - 176.

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 )

How can I increase my downloads?

Downloads

My notes