Gottfried Wilhelm Leibniz

Chronicled events

1. March 15, 1679​·​Leibniz Dreams of Settling Arguments by Calculation
   #5864

   Write every idea in a universal language of symbols, and fixed rules for calculating with them, which a machine could follow, will settle any question that doesn’t turn on facts about the world. Then such disputes can be settled without arguing: the two sides can sit down and calculate.