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.
A Programing Language that Does: Math Notation (Mathematica, TeX), Proof System (Coq, HOL), Computer Algebra System Notations, Syntax, Logicism, Symbols
The Codification of Mathematics
What is the Difference of Symbolic Logic System, Hilbert's Formalism, Russell's Logicism, Axiomatic System?
State of Theorem Proving Systems 2008
Math ＆ Code: the Case for Formal Verification
Logical Operators, Truth Table, Unicode
What's Function, What's Operator?
Pattern Matching vs Lexical Grammar Specification
What's the Difference Between BNF, EBNF, ABNF?
Fundamental Problems of Lisp (see section 1, on the importance for regularity of syntax)
The Concepts and Confusions of Prefix, Infix, Postfix and Fully Functional Notations Unicode
Harm Of Bad Terminologies In Computing Languages
Harm of Mixing Concept of Syntax and Formatting
Applications of Regular Syntax
blog comments powered by