Gottfried Leibniz — who died 300 years ago this November — worked on many things. But a theme that recurred throughout his life was the goal of turning human law into an exercise in computation. Of ...