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 October 27, 2022 at 14:47:38. See the history of this page for a list of all contributions to it.