**constructive mathematics**, **realizability**, **computability**

propositions as types, proofs as programs, computational trinitarianism

A **binary digit**, or **bit**, is either $0$ or $1$.

The set of binary digits is the **boolean domain** $\mathbb{B}$.

As a unit of information, a **bit** is the amount of information needed to specify which of the $2$ possibilities a given binary digit is. In natural units, a bit is $ln 2$.

See also

- Wikipedia,
*Bit*

Last revised on November 15, 2023 at 17:38:32. See the history of this page for a list of all contributions to it.