Natural language to formal language is not a matter of implementation details, it’s a matter of ambiguity where the definition of a term is contextual. Formalis

Natural language to formal language is not a matter of implementation details, it’s a matter of ambiguity where the definition of a term is contextual. Formalism is removing the dependency on context so that the semantic of a term or a proposition is embedded in itself. Formalism is so essential that we we use it to create spontaneous form of programming language (that we call pseudocode) to express some idea clearly.