# nLab binary digit

Contents

### Context

#### Computation

intuitionistic mathematics

# Contents

## Idea

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$.