彼の重要な業績のもう一つの側面は、今日の論理学における形式言語に当たるものを初めて考案したことにある。

　ライプニッツによれば、それを用いることで、どんな推論も代数計算のように単純で機械的な作業に置き換えることができ、注意深く用いることで、誤った推論は原理的に起こり得ないようにすることができるという。

　彼は、優秀な頭脳を集めれば、数年のうちに実現すると考えていたが、現実にそれが実現できたのは、300年以上も先のことであった。

　ライプニッツは、二進法を研究したことでも知られる。彼は、独自の機械式計算機を考案しており、その死まで独自に改良を加え続けていたとされる。

　ライプニッツの主著は、『モナドロジー』、『形而上学叙説』、『人間知性新論』などである。（出典：ウイキペディア）

◆〔ライプニッツ〕のプロフィール。

◆ とても役立つ貴重な書籍や商品。