Let us calculate [calculemus], without further ado, to see who is right.
Gottfried Wilhelm Leibniz belived that human reasoning could be expressed as a calculation.  This belief was a precursor to symbolic logic.

posted : Thursday, March 26th, 2009

tags : leibniz