Gottfried Wilhelm Leibniz
ゴットフリート・ライプニッツは、1678年に、真の命題を自動的に生ずる演算をするだろう性格の語彙を作ることを狙う『一般言語』("lingua generalis")を作った。その副産物として彼は二進記数法を開発した。