bookmarks math
type theory
- Type theory
- Yoneda embedding
- Morphism
- Calculus of constructions
- Completed infinity
- Constructive mathematics
- Martin-Löf type theory
- Total function
- Category theory
- Axiom of choice
- Well-order
- Dependent type#Comparison of languages with dependent types
- Ackermann function
- Large numbers#Systematically creating ever-faster-increasing sequences
logic
geometry
- One-dimensional space
- Affine space
- Coordinate rotation
- A Guide to the Classification Theorem for Compact Surfaces
- Rotation system
- Erlangen Program
group theory
topology
calculus
wolfram
- https://writings.stephenwolfram.com/2020/04/how-we-got-here-the-backstory-of-the-wolfram-physics-project/
- https://www.wolframphysics.org/technical-introduction/the-updating-process-for-string-substitution-systems/generational-evolution/
- https://writings.stephenwolfram.com/2019/05/what-weve-built-is-a-computational-language-and-thats-very-important/
- https://writings.stephenwolfram.com/2020/12/combinators-a-centennial-view/
- https://writings.stephenwolfram.com/2019/05/what-weve-built-is-a-computational-language-and-thats-very-important/
- https://writings.stephenwolfram.com/2018/11/logic-explainability-and-the-future-of-understanding/
- https://writings.stephenwolfram.com/2020/12/combinators-and-the-story-of-computation/
- https://writings.stephenwolfram.com/2020/12/where-did-combinators-come-from-hunting-the-story-of-moses-schonfinkel/
- https://writings.stephenwolfram.com/2016/04/who-was-ramanujan/
- https://writings.stephenwolfram.com/2019/06/testifying-at-the-senate-about-a-i-selected-content-on-the-internet/
- https://writings.stephenwolfram.com/2016/10/computational-law-symbolic-discourse-and-the-ai-constitution/
- https://writings.stephenwolfram.com/2019/05/a-world-run-with-code/
- https://writings.stephenwolfram.com/2020/09/the-empirical-metamathematics-of-euclid-and-beyond/
- https://writings.stephenwolfram.com/2019/07/mitchell-feigenbaum-1944-2019-4-66920160910299067185320382/
- https://writings.stephenwolfram.com/2012/05/living-a-paradigm-shift-looking-back-on-reactions-to-a-new-kind-of-science/
- https://writings.stephenwolfram.com/2021/03/after-100-years-can-we-finally-crack-posts-problem-of-tag-a-story-of-computational-irreducibility-and-more/
- https://www.wolframscience.com/prizes/tm23/turingmachine.html
- https://blog.wolfram.com/2013/06/06/there-was-a-time-before-mathematica/
- https://www.wolframphysics.org/bulletins/2020/08/a-candidate-geometrical-formalism-for-the-foundations-of-mathematics-and-physics/
- https://writings.stephenwolfram.com/2013/06/there-was-a-time-before-mathematica/#addendum
misc
- 〔Surprises in Logic By John Baez. At https://math.ucr.edu/home/baez/surprises.html〕