ThmDex – An index of mathematical definitions, results, and conjectures.

ThmDex – An index of mathematical definitions, results, and conjectures.

Formulation F11281 on R4825: Bit entropy of a standard bernoulli number is one bit

F11281

Formulation 0

Let $X \in \text{Bernoulli}(1/2)$ be a D3999: Standard Bernoulli random boolean number.

Then \begin{equation} H_2(X) = 1 \end{equation}