Is there a real number, that is proven to be normal in every base, whose digits can be enumerated by an algorithm? To clarify, I mean every natural number base $b$ where $b \geq 2$. If so, what is the algorithm to generate the number (and what is the number, if it has a name)?
Wikipedia reveals that the answer is yes, citing the paper "An example of a computable absolutely normal number" by Becher and Figueira (Theoretical Computer Science 270(1-2), 2002).
Wikipedia reveals that the answer is yes, citing the paper "An example of a computable absolutely normal number" by Becher and Figueira (Theoretical Computer Science 270(1-2), 2002).