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

しかし、それと同等か、あるいはそれ以上に重要な業績は今日の論理学における形式言語に当たるものを初めて考案したことである。彼によれば、それを用いることで、どんな推論も代数計算のように単純で機械的な作業に置き換えることができ、注意深く用いることで、誤った推論は原理的に起こり得ないようにすることができるというものであった。彼は、優秀な人材が何人かかかって取り組めば、それを実現するのに5年もかからないと信じていたようであったが、現実にはそれを実現するには300年以上を要した(論理学の適用できる範囲は限られているから、彼が考えたような理想には達していないと見るべきかもしれない)。彼は記号に取りつかれていた人物で、論理学以外にも、例えば幾何学について、記号を用いて機械的に証明をする構想を得ていた。

上記の事柄に含まれるが、2進法を研究したのも彼の業績である。