二進法

とは、底を2とする位取り記数法および命数法である。二進法によって表された数をと呼ぶ。二進法において、位は順に底2の冪（）ごとに取り、位の値は 0 または 1 を取る（例：十進数の は二進法で 、 は と表される）。
記数法.
二を底とする位取り記数法を二進記数法または単に二進法と呼ぶ。二進法による数の表示は、一の位を とし添字 で位の位置を表し、位の値を で表せば、以下のように書ける：
これは以下の総和の略記と見なせる：
例えば十進法における は二進法において、
と表される（添字の 2 は二進表記であることを示す）。負の数は一般的な記数法と同じく、負号をつけて表す（例：）。
十進法など一般の位取り記数法と同様に、二進法においても小数部が有限の長さとなる数は一部の有理数に限られ、また円周率のような無理数を厳密に表すことはできない。二進法の場合、有理数を表す既約分数について、分母が2の冪ならば有限小数として書けるが、そうでないならば有限小数としては書けない。例えば十進法では を有限小数 で表せるが、二進法では循環小数 で表さなければならない。
デジタル機器での使用.
電子式コンピュータの電子回路などのデジタル回路（デジタル論理回路）、磁気ディスク等の記憶メディアでは、電圧の高低、磁極の N/S など、物理現象を二状態のみに縮退して扱う（離散化などと言う）ので、それに、真と偽の2つの値（2値の真理値）のみを使用する二値論理（しばしば、電子的には H と L、論理的には T と F という記号が使われる）をマッピングする。更にそこで数値を扱うには、それに「0 と 1」の二進法をマッピングするのが最適である。
多くの応用で見られるように桁数が有限の場合は、数学的に言うなら「有理数の部分集合」が表現されているわけであるが、通常は「有限精度の実数」が表現されていると解釈される。このため、コンピュータやデジタル機器は二進数が使用される。
また、八進法や十六進法や三十二進法は同じく2の冪を底とするためしばしば利用される。
負数の扱い.
ビット列によって負の数の値を表すため広く用いられる方法の一つとして、2の補数表現がある。2の補数表現は、 桁のビット列の最上位ビットの重みを ではなく とするものである。2の補数表現は、そのビットパターンが、加減(及び、乗)の演算において特別な処理が不要なものになる、という特長を持つ。ただし、溢れ（オーバーフロー）の扱いが違ってくる（これは、例えばx86プロセッサにおける、キャリーフラグとオーバフローフラグの違いのことである（ステータスレジスタ#キャリーとオーバーフローを参照））。
他のN進法から二進法への変換方法.
「十進法から二進法への変換方法」などといったものを考える必要はない。どちらも数の「表現法」に過ぎないのだから、単に「表現法 → 数 → 表現法」といったようにして変換すれば良いのである。
命数法.
二進命数法とは、2 を底とする命数法である。
通常、二進法の数詞を持つとされるものは二つ組で数える体系であり、乗算が含まれない。以下にパプアニューギニアの南キワイ語 (Southern Kiwai) およびシッサノ語 (Sissano) の数詞を示す。
現代日本における万進、あるいは十二進法体系であるダース・グロスなどのように、2倍ごとに新しい単位が命名される体系は、自然言語では、パプアニューギニアのメルパ語 (Melpa) でのみ知られている。
歴史.
中国には古くから易の八卦や六十四卦があり、それぞれ 3 ビットと 6 ビットに相当している。易経の六十四卦の配列は対応する整数の順になっていて、それらを 1→2→4→8→16→32→64 と進展させる｢加一倍の法｣を11世紀の儒学者邵雍が考案した。ただし、彼らがそれを整数（ないし、数）に対応するとして理解していたという証拠はない。その配列はそれぞれが二種類の値をとる要素の 6 タプルを辞書式順序に並べたものと見ることもできる。
インドの学者ピンガラ (, 紀元前200年頃) は韻律を数学的に表現する方法を考案し、それが現在知られている最古の二進法の記述の一つとされている。
同様の二進法的組合せの使用は、アフリカのヨルバ人が行っていた占い にもあり、中世ヨーロッパやアフリカのジオマンシーにも見られる。2 を底とする体系はサハラ以南のアフリカでジオマンシーに長く使われていた。
1605年、フランシス・ベーコンはアルファベットの文字を2種の記号の列で表す体系を論じ、任意の無作為なテキストで微かに判別可能なフォントの変化に符号化できるとした。一般理論として彼が指摘した重要な点は、同じ方法をあらゆる物に適用できるという点であり、「2種類の異なる状態をそれらの物で表現できればよく、鐘、トランペット、光、松明、マスケット銃など同様の性質があればどんなものでもよい」とした。これをと呼ぶ。
数学的に二進法を確立したのは17世紀のゴットフリート・ライプニッツで、"Explication de l'Arithmétique Binaire" という論文も発表している。ライプニッツは現代の二進法と同じく、1 と 0 を使って二進法を表した。ライプニッツは中国愛好家でもあり、後に「易経」を知って、その八卦に 000 から 111 を対応させ、彼の賞賛してきた中国の哲学的数学の偉大な成果の証拠だとした。
1800年代中頃、イギリスの数学者ジョージ・ブールがブール代数（ブール論理）により、二進的な数（ここで言う「数」は、数学的な広義の意味であり、普通の二進法の対象である、数値という意味ではない）の代数による命題論理の形式化を示した。
1936-1937年の中嶋章と榛沢正男による「継電器回路に於ける単部分路の等価変換の理論」、1937年のクロード・シャノンによる "A Symbolic Analysis of Relay and Switching Circuits" により相次いで、リレーのようなスイッチング素子による回路（ディジタル回路）の設計がブール代数によって行えることが示され、1940年代に始まり今日まで続くコンピュータの理論の基礎のひとつとなっている。