Notes

Chapter 4: Systems Based on Numbers

Section 5: Mathematical Constants


Nested radicals

Given a list of integers acting like digits one can consider representing numbers in the form Fold[Sqrt[#1+#2]&,0,Reverse[list]]. A sequence of identical digits d then corresponds to the number (1+Sqrt[4d+1])/2. (Note that Nest[Sqrt[# + 2] &, 0, n]==2 Cos[Pi/2^(n+1)].) Repeats of a digit block b give numbers that solve Fold[(#1^2 - #2) &, x, b] == x. It appears that digits 0, 1, 2 are sufficient to represent uniquely all numbers between 1 and 2. For any number x the first n digits are given by

Ceiling[NestList[(2 - Mod[-#, 1])^2 &, x^2, n-1] - 2]

Even rational numbers such as 3/2 do not yield simple digit sequences. For random x, digits 0, 1, 2 appear to occur with limiting frequencies Sqrt[2 + d] - Sqrt[1 + d].


From Stephen Wolfram: A New Kind of Science [citation]