diff options
| author | Preston Pan <preston@nullring.xyz> | 2023-07-13 22:58:59 +0800 |
|---|---|---|
| committer | Preston Pan <preston@nullring.xyz> | 2023-07-13 22:58:59 +0800 |
| commit | c335c05f511a373681d8644500d7750a519f58fa (patch) | |
| tree | a1fa2737bc88c52ed8d0b894af772b6c41009462 /mindmap/mathematics.org | |
| parent | 5362e381bcf1b1fe212ff3d550f61c9d55cd18e6 (diff) | |
add a lot of things
Diffstat (limited to 'mindmap/mathematics.org')
| -rw-r--r-- | mindmap/mathematics.org | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/mindmap/mathematics.org b/mindmap/mathematics.org index 55c3dc5..d6d7065 100644 --- a/mindmap/mathematics.org +++ b/mindmap/mathematics.org @@ -12,4 +12,16 @@ With a couple of set theory axioms. One might describe it as an extrapolation framework without grounding (i.e. a set of implications; if p then q, but never specifying if p is a property -of a real system or not). +of a real system or not). Therefore, mathematics +is suitable for modeling other things if we believe +those other things have some rules and are logically +consistent. + +There are many subfields in math, ranging from group theory +to complex analysis. However, much of the time we are able to find +morphisms between these different fields in mathematics, which we +model using category theory. + +** Mathematical Models +*** [[id:ece8bf94-4e3c-4939-a77a-9949c1ec0dc6][Physics]] +This is a stub. |