From a3fa456e28a8fc9b0720e230039083c3f8e3f7b8 Mon Sep 17 00:00:00 2001
From: Preston Pan <preston@nullring.xyz>
Date: Wed, 14 Jun 2023 16:30:24 -0700
Subject: add content to journal and mindmap

---
 mindmap/mathematics.org | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 mindmap/mathematics.org

(limited to 'mindmap/mathematics.org')

diff --git a/mindmap/mathematics.org b/mindmap/mathematics.org
new file mode 100644
index 0000000..55c3dc5
--- /dev/null
+++ b/mindmap/mathematics.org
@@ -0,0 +1,15 @@
+:PROPERTIES:
+:ID:       a6bc601a-7910-44bb-afd5-dffa5bc869b1
+:END:
+#+title: mathematics
+#+author: Preston Pan
+#+html_head: <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+#+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).
-- 
cgit