1682 Càlcul, determinants, teorema multinomial, lògica simbòlica, notació, màquines de computar (Leibniz)