ALGORITHM From Leibniz’s algorithms to AI logic In the 17th century, the philosopher Gottfried Wilhelm Leibniz imagined the Characteristica Universalis: a universal language capable of reducing every reasoning to a calculable operation. “Calculemus!”, he said: instead…