Zooming in on infinitesimal 1–.9.. in a post-triumvirate era

The view of infinity as a metaphor, a basic premise of modern cognitive theory of embodied knowledge, suggests in particular that there may be alternative ways in which one could formalize mathematical ideas about infinity. We discuss the key ideas about infinitesimals via a proceptual analysis of the meaning of the ellipsis “...” in the real formula $\hbox{.999\ldots = 1}$. Infinitesimal-enriched number systems accommodate quantities in the half-open interval [0,1) whose extended decimal expansion starts with an unlimited number of repeated digits 9. Do such quantities pose a challenge to the unital evaluation of the symbol “.999...”? We present some non-standard thoughts on the ambiguity of the ellipsis in the context of the cognitive concept of generic limit of B. Cornu and D. Tall. We analyze the vigorous debates among mathematicians concerning the idea of infinitesimals.

[1]  R. Ely.  Nonstandard Student Conceptions About Infinitesimals , 2010 .

[2]  R. Courant.  Differential and Integral Calculus , 1935 .

[3]  David Tall.  Elementary Axioms and Pictures for Infinitesimal Calculus , 1982 .

[4]  H. Jahnke.  History of mathematics and education : ideas and experiences , 1996 .

[5]  David Tall,et al.  Conflicts in the Learning of Real Numbers and Limits. , 1978 .

[6]  R. Goodstein,et al.  Differential and Integral Calculus , 1947 .

[7]  John Monaghan.  Young Peoples' Ideas of Infinity , 2001 .

[8]  Errett Bishop,et al.  Review: H. Jerome Keisler, Elementary calculus , 1977 .

[9]  Joseph R. Shoenfield,et al.  Mathematical logic , 1967 .

[10]  F. B.,et al.  The Concepts of the Calculus , 1939, Nature.

[11]  D. Tall,et al.  Duality, Ambiguity and Flexibility in Successful Mathematical Thinking , 1991 .

[12]  Robert Goldblatt,et al.  Lectures on the hyperreals , 1998 .

[13]  Imre Lakatos,et al.  Cauchy and the continuum , 1978 .

[14]  Henk J. M. Bos,et al.  Differentials, higher-order differentials and the derivative in the Leibnizian calculus , 1974 .

[15]  H. Keisler.  Elementary Calculus: An Infinitesimal Approach , 1976 .

[16]  K. Sullivan.  The Teaching of Elementary Calculus Using the Nonstandard Analysis Approach. , 1976 .

[17]  Abraham Robinson.  Concerning Progress In The Philosophy Of Mathematics , 1975 .

[18]  David Tall,et al.  The Psychology of Advanced Mathematical Thinking , 2002 .

[19]  F. A. Medvedev.  Nonstandard analysis and the history of classical analysis , 1998 .

[20]  Paul R. Halmos,et al.  I Want to Be A Mathematician: An Automathography , 1986 .

[21]  L. Parker.  The Annotated Flatland: A Romance of Many Dimensions , 2008 .

[22]  Karin U. Katz,et al.  When is .999... less than 1? , 2010, The Mathematics Enthusiast.

[23]  G. Lakoff,et al.  Where mathematics comes from : how the embodied mind brings mathematics into being , 2002 .

[24]  Solomon Feferman,et al.  Relationships between Constructive, Predicative and Classical Systems of Analysis , 2000 .

[25]  D. Jesseph.  Leibniz on the Foundations of the Calculus: The Question of the Reality of Infinitesimal Magnitudes , 1998, Perspectives on Science.

[26]  Kyeong Hah Roh.  Students’ images and their understanding of definitions of the limit of a sequence , 2008 .

[27]  W. A. J. Luxemburg,et al.  Non-Standard Analysis: Lectures on A. Robinson's Theory of Infinitesimals and Infinitely Large Numbers , 1966 .

[28]  Gert Schubring,et al.  Conflicts between Generalization, Rigor and Intuition. Number Concepts Underlying the Development of Analysis in 17th-19th Century France and Germany , 2005 .

[29]  Philip Ehrlich,et al.  The Rise of non-Archimedean Mathematics and the Roots of a Misconception I: The Emergence of non-Archimedean Systems of Magnitudes , 2006 .

[30]  A. Robinson.  Numbers and Models , Standard and Nonstandard , 2010 .

[31]  S. S. Demidov,et al.  Two Letters by N. N. Luzin to M. Ya. Vygodskiĭ , 2000, Am. Math. Mon..

[32]  David Tall,et al.  Dynamic mathematics and the blending of knowledge structures in the calculus , 2009 .

[33]  Erich H. Reck,et al.  "Clarifying the Nature of the Infinite": the Development of Metamathematics and Proof Theory , 2001 .

[34]  Errett Bishop.  The crisis in contemporary mathematics , 1975 .

[35]  R. Goldblatt.  Lectures on the hyperreals : an introduction to nonstandard analysis , 1998 .

[36]  A. Robinson.  Non-standard analysis , 1966 .

[37]  D. Tall.  Looking at graphs through infinitesimal microscopes, windows and telescopes , 1980, The Mathematical Gazette.

[38]  Carl B. Boyer,et al.  The Concepts of the Calculus , 1940 .

[39]  Abraham Robinson.  Selected papers of Abraham Robinson , 1978 .

[40]  Paul R. Halmos,et al.  I Want to be a Mathematician , 1985 .

[41]  Lígia Arantes Sad,et al.  Cauchy and the problem of point-wise convergence , 2001 .