blob: 55c3dc52f1e01f17c8a94e1c96ede1ae72f23779 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
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).
|
