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 ...

(1) A programming language that uses symbols, or mnemonics, for expressing operations and operands. All modern programming languages are symbolic languages. (2) A language that manipulates symbols ...