A statement, that I made in October 2009 in Wikipedia , Talk:tetration

order of indexes in nested exponentials and infinite iterated exponentialsI'd like to repeat my criticism against the usual notation of indexes for the mentioned operations.



We find in the article: 
note the inverse indexing scheme




where it should be 




The adaption of the order of indexes seems so natural to me, that I'm afraid I'm overlooking some special reason for that current use. For instance, the order of indexes which I claim to be wrong, can be found in Gennadi Bachman, "Convergence of infinite exponentials" (and in many more places. In the article of Ernst Schröder "Über iterirte Funktionen" (1871, Math Annalen) he begins his text with a recursive definition which suggests the noninverted indexing scheme). However I cannot imagine one reason for this common (apparent inverse) indexingscheme. So let me state my concern again. We begin the operation at the toplevel, so that should have index 1. ALternatively it should contain an initial value x from where the iterated operation starts (in the case of iterated exponentials, for tetration we assume x=1). While this notational difference may be seen as neglectable for the finite case, this is not neglectable in the infinite case of iterated exponentiation. If the toplevel is the dotted continuation, then there is no initial value x different from the iterated base a from where the operation could have started. If the toplevel has x, and going to the bottom I assign an exponential base a to the previous value then I can eventually formally write the dots to the bottom, indicating, that I mean the infinite continuation of appending exponential bases. Second: from this I'm tending to not to talk of "powertowers" here, but of "exponentialtowers", since "powertowers" sounds more that I start with a value x, raise it to a power a, raise that to a power a and so on. While in tetration/iterated exponentiation I start with a value x, give it an exponential base a, give that an exponential base a and so on. Schröder:Über iterirte Funktionen




Gottfried Helms, Kassel