Xah Talk Show 2021-05-06 Wolfram Language Typesetting, TeX, Problems of Traditional Math Notation, Syntax and Proof Systems
- https://youtu.be/xEv8fB3lXDA
- Xah Talk Show 2021-05-06 Wolfram Language Typesetting, TeX, Problems of Traditional Math Notation, Syntax and Proof Systems
Links mentioned:
- The TeX Pestilence: Why TeX LaTeX Sucks (2004)
- The Problems of Traditional Math Notation
- The design of notation or syntax is critical and non-trivial. They are deeply tied to foundation of math, proof theories, and theoretical computation. For example, formal languages, lambda calculus, combinators, they are all essentially string replacement systems.
- Formal languages also relates to parsers and regular expressions.
- Wikipedia Curry-Howard Isomorphism
- Elisp: Regex Tutorial
- Python: Regular Expression (regex) tutorial
- Python: Regex. Index
- JS: Regular Expression Tutorial
- JS: Regular Expression Functions
- JS: Regular Expression Syntax
- Ergonomic Keyboards ⌨
- Wolfram: Download Wolfram Engine