structural:scholar_edition, information:highlighting
In technology

In digital technology, data is represented by binary code, i.e., a base -2 numeral system with numbers represented by a sequence of 1s and 0s. Digitised data is represented in physical devices, such as computers, as pulses of electricity through switching devices such as transistors or logic gates where "1" represents the value for "on". As such, the numerical value of true is equal to 1 in many programming languages. In lambda calculus and computability theory, natural numbers are represented by Church encoding as functions, where the Church numeral for 1 is represented by the function f {\displaystyle f} applied to an argument x {\displaystyle x} once (1 f x = f x {\displaystyle fx=fx}).