[handfuloflight]

> Every scientific discipline moves away from natural language as soon as possible.

Have you seen a scientific paper that only had mathematics?

Natural language is still necessary for scaffolding, exposition, contextualization.

[skydhash]

Mathematics is not the only formal languages. Every profession soon invents its own jargon because natural language are too ambiguous. For some that’s enough. But science require more formalism.

Boole’s Laws of Thought or Church’s The Calculi of Lambda-Conversion are mostly describing how to be so precise that the description of the problem equates its solution. But formal languages have their own issues.