The Analysis in Leibniz: Calculus, Contingency and Natural Machines. A Heuristic Parallel With Turing's Work