ゴットフリート・ライプニッツ

法律家、外交官、ハノーファーの司書、そして数学者。ニュートンと並行して微積分を創り、先取権争いには数学ではなく政治で敗れたが、結局最後に笑ったのは彼で、dxと積分記号は彼のものである。1673年にはロンドンの王立協会で段付き計算機を披露した。四則演算すべてをこなす最初の歯車式計算機で、その段付きドラムは20世紀に入っても市販の計算機に使われ続けた。

1703年には『二進算術の解説』を発表し、すべてを0と1で表した。しかも中国の易経の卦が同じ方式に見えることを喜んで書き添えている。ただ、それで何かを作ることはなかった。二進法は手計算には向かず、ちょうど2つの状態だけを区別できるものが計算を肩代わりして初めて役に立つからだ。より大きな野望である「普遍記号法」は、議論を計算で決着させられる形式言語だった。これは未解決のままだが、ブールやフレーゲがその糸を引き継いだ。