Friedrich Ludwig Gottlob Frege (1848 - 1925) ドイツ人、フリードリヒ・ルートヴィヒ・ゴットロープ・フレーゲ。述語論理の発案者。まず変数の量化を発案し、その後公理的な述語論理の体系を完成させた。 この記事では、数学を理解するために最低限必要な…

Gottfried Wilhelm Leibniz (1646 - 1716) ドイツ人、ゴットフリート・ウィルヘルム・ライプニッツ。「calculus ratiocinator」の研究において、おそらく初めて形式的な論理とその演算について考察した人物。このことから彼は、現在の命題論理の体系の父と目…