Two (or three) notions of finitism

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

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

Categories

Keywords

Reprint years

DOI

10.1017/s1755020309990323

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,846

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Varieties of Finitism.Manuel Bremer - 2007 - Metaphysica 8 (2):131-148.
Dummett's intuitionism is not strict finitism.Samuel William Mitchell - 1992 - Synthese 90 (3):437 - 458.
A Defense of Strict Finitism.J. P. Bendegem - 2012 - Constructivist Foundations 7 (2):141-149.
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.
Remarks on finitism.William Tait - manuscript
The philosophy of strict finitism.Ernest J. Welti - 1987 - Theoria 2 (2):575-582.
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
2010-02-07

Downloads
147 (#127,653)

6 months
28 (#109,130)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Mihai Ganea
University of Toronto, St. George Campus

Citations of this work

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.
Gödel mathematics versus Hilbert mathematics. I. The Gödel incompleteness (1931) statement: axiom or theorem?Vasil Penchev - 2022 - Logic and Philosophy of Mathematics eJournal (Elsevier: SSRN) 14 (9):1-56.
Finitistic Arithmetic and Classical Logic.Mihai Ganea - 2014 - Philosophia Mathematica 22 (2):167-197.

Add more citations

References found in this work

Constructivism in mathematics: an introduction.A. S. Troelstra - 1988 - New York, N.Y.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.. Edited by D. van Dalen.
From Frege to Gödel.Jean Van Heijenoort (ed.) - 1967 - Cambridge,: Harvard University Press.
Mathematical Thought and its Objects.Charles Parsons - 2007 - New York: Cambridge University Press.
Collected works.Kurt Gödel - 1986 - New York: Oxford University Press. Edited by Solomon Feferman.

View all 32 references / Add more references