Philosophia Mathematica 11 (1):53-66 (2003)
|Abstract||We discuss the philosophical status of the statement that (9n – 1) is divisible by 8 for various sizes of the number n. We argue that even this simple problem reveals deep tensions between truth and verification. Using Gillies's empiricist classification of theories into levels, we propose that statements in arithmetic should be classified into three different levels depending on the sizes of the numbers involved. We conclude by discussing the relationship between the real number system and the physical continuum.|
|Keywords||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
Peter Smith (2008). Ancestral Arithmetic and Isaacson's Thesis. Analysis 68 (297):1–10.
Charles Sayward (2005). Why Axiomatize Arithmetic? Sorites 16:54-61.
Gottlob Frege (1953/1968). The Foundations of Arithmetic. Evanston, Ill.,Northwestern University Press.
António M. Fernandes & Fernando Ferreira (2002). Groundwork for Weak Analysis. Journal of Symbolic Logic 67 (2):557-578.
C. Ward Henson, Matt Kaufmann & H. Jerome Keisler (1984). The Strength of Nonstandard Methods in Arithmetic. Journal of Symbolic Logic 49 (4):1039-1058.
Wojciech Krysztofiak (2012). Indexed Natural Numbers in Mind: A Formal Model of the Basic Mature Number Competence. Axiomathes 22 (4):433-456.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Total downloads5 ( #160,284 of 549,060 )
Recent downloads (6 months)0
How can I increase my downloads?