Constructivist Foundations 7 (2):126-130 (2012)
AbstractContext: The infinite has long been an area of philosophical and mathematical investigation. There are many puzzles and paradoxes that involve the infinite. Problem: The goal of this paper is to answer the question: Which objects are the infinite numbers (when order is taken into account)? Though not currently considered a problem, I believe that it is of primary importance to identify properly the infinite numbers. Method: The main method that I employ is conceptual analysis. In particular, I argue that the infinite numbers should be as much like the finite numbers as possible. Results: Using finite numbers as our guide to the infinite numbers, it follows that infinite numbers are of the structure w + (w* + w) a + w*. This same structure also arises when a large finite number is under investigation. Implications: A first implication of the paper is that infinite numbers may be large finite numbers that have not been investigated fully. A second implication is that there is no number of finite numbers. Third, a number of paradoxes of the infinite are resolved. One change that should occur as a result of these findings is that “infinitely many” should refer to structures of the form w + (w* + w) a + w*; in contrast, there are “indefinitely many” natural numbers. Constructivist content: The constructivist perspective of the paper is a form of strict finitism
Similar books and articles
Counting Systems and the First Hilbert Problem.Yaroslav Sergeyev - 2010 - Nonlinear Analysis Series A 72 (3-4):1701-1708.
A New Applied Approach for Executing Computations with Infinite and Infinitesimal Quantities.Yaroslav D. Sergeyev - 2008 - Informatica 19 (4):567-596.
Infinite Chains and Antichains in Computable Partial Orderings.E. Herrmann - 2001 - Journal of Symbolic Logic 66 (2):923-934.
Negative, Infinite, and Hotter Than Infinite Temperatures.Philip Ehrlich - 1982 - Synthese 50 (2):233 - 277.
Numerical Computations and Mathematical Modelling with Infinite and Infinitesimal Numbers.Yaroslav Sergeyev - 2009 - Journal of Applied Mathematics and Computing 29:177-195.
Added to PP
Historical graph of downloads
References found in this work
Existence and Feasibility in Arithmetic.Rohit Parikh - 1971 - Journal of Symbolic Logic 36 (3):494-508.
The Collected Papers of Bertrand Russell: The McMaster University Edition. Cambridge Essays 1888-99. Vol. 1.Bertrand Russell - 1983 - G. Allen & Unwin.
The Foundations of Mathematics in the Theory of Sets.John P. Mayberry - 2000 - Cambridge University Press.