Register to reply

Normal number

by Dragonfall
Tags: normal, number
Share this thread:
Apr2-14, 12:47 AM
Dragonfall's Avatar
P: 993
Wikipedia is not very clear on this. Is there a known computable normal number?

I found this paper:

But I'm not sure if it's been peer reviewed.
Phys.Org News Partner Mathematics news on
Professor quantifies how 'one thing leads to another'
Team announces construction of a formal computer-verified proof of the Kepler conjecture
Iranian is first woman to win 'Nobel Prize of maths' (Update)
Apr2-14, 12:51 AM
micromass's Avatar
P: 18,240
What do you mean with "computable"?

Anyway, consider the Campernowne constant. It is just


This is known to be normal (one of the very few explicit numbers known to be normal, although it is also known that "most" numbers are normal). And it will probably also satisfy your criterium of computability.

Now, your paper (which certainly is peer-reviewed and correct!) shows the existence not only of a computable normal number, but of an computable absolutely normal number. This means that it is normal in any integer base ##\geq 2##. Champernowne's constant is only known to be normal in base ##10##. I don't think any other examples of absolutely normal computable numbers are known, but I'm not an expert.
Apr2-14, 02:08 AM
Dragonfall's Avatar
P: 993
Yes, I meant "absolutely normal". Computable means digits are enumerable by a Turing machine or uniform family of circuits. That paper presents a super-exponential-time algorithm for computing Sierpinski's construction.

Is there a known polynomial-time computable normal number?

How many conjectures will the existence of such a number ruin?

Apr3-14, 07:58 AM
Sci Advisor
HW Helper
P: 2,537
Normal number

Quote Quote by Dragonfall View Post

How many conjectures will the existence of such a number ruin?
Very few of significance, I expect. (In fact, it's conjectured that most of the computable mathematical constants we're familiar with pi or Euler's number are absolutely normal.)
Apr3-14, 07:35 PM
Dragonfall's Avatar
P: 993
Good point.

Register to reply

Related Discussions
Is pi a normal number? General Math 29
Finding unit normal vectors and normal/tangent components of accelerat Calculus & Beyond Homework 5
Using normal/Poisson distribution to estimate P(most frequently rolled number is 6)? Set Theory, Logic, Probability, Statistics 0
Normal frequencies and normal modes of a multi-part system Advanced Physics Homework 1
Random number generator of 2 normal distributions partially correlated Set Theory, Logic, Probability, Statistics 1