aboutsummaryrefslogtreecommitdiff
path: root/mindmap/mathematics.org
diff options
context:
space:
mode:
authorPreston Pan <preston@nullring.xyz>2024-06-28 21:30:42 -0700
committerPreston Pan <preston@nullring.xyz>2024-06-28 21:30:42 -0700
commite7dd5245c35d2794f59bcf700a6a92009ec8c478 (patch)
tree0d0e81552f0426f8b715bd5bd3bdd0856058db2c /mindmap/mathematics.org
parent01ba01763b81a838dcbac4c08243804e068495b9 (diff)
stuff
Diffstat (limited to 'mindmap/mathematics.org')
-rw-r--r--mindmap/mathematics.org21
1 files changed, 8 insertions, 13 deletions
diff --git a/mindmap/mathematics.org b/mindmap/mathematics.org
index dc51536..3a5e1ec 100644
--- a/mindmap/mathematics.org
+++ b/mindmap/mathematics.org
@@ -7,22 +7,17 @@
#+html_head: <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
#+html_head: <link rel="stylesheet" type="text/css" href="../style.css" />
-* Mathematics is Logic
-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). Therefore, mathematics
-is suitable for modeling other things if we believe
-those other things have some rules and are logically
-consistent.
+* Mathematics is [[id:29ebc4f9-0fd8-4203-8bfe-84f8558e09cf][Logic]]
+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). 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
+There are many subfields in math, ranging from group theory to calculus.
+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
+There are many fields where mathematics is the main method of analysis.
*** [[id:ece8bf94-4e3c-4939-a77a-9949c1ec0dc6][Physics]]
Physics is the study of the natural world and its laws, usually resorting to a mathematical framework.