Math Notations, Computer Languages Syntax, and the “Form” in Formalism


This page is a index of essays on subjects of math notations, syntax, formalism, in programing languages and math. For example, calculational proofs and automated proof languages. For latest articles, subscribe: Xah Math Blog, Xah Programing Blog.

Main introduction of the issues: Math Notations, Computer Languages, and the “Form” in Formalism

Notations, Syntax, Logicism, Symbols




Harm Of Bad Terminologies In Computing Languages

Harm of Mixing Concept of Syntax and Formatting

Applications of Regular Syntax


blog comments powered by Disqus