constructive mathematics, realizability, computability
propositions as types, proofs as programs, computational trinitarianism
A binary digit, or bit, is either or .
The set of binary digits is the boolean domain .
As a unit of information, a bit is the amount of information needed to specify which of the possibilities a given binary digit is. In natural units, a bit is .
See also
Last revised on November 15, 2023 at 17:38:32. See the history of this page for a list of all contributions to it.