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.
Introduction: 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
Harm Of Bad Terminologies In Computing Languages
Harm of Mixing Concept of Syntax and Formatting
Applications of Regular Syntax
blog comments powered by