diff options
author | Andrew <andrew@andrewyu.org> | 2022-11-12 14:51:26 +0800 |
---|---|---|
committer | Automatic Merge <andrew+automerge@andrewyu.org> | 2023-07-15 00:29:33 +0800 |
commit | 7f15dd904597abd8af06b3ea39c8b6db92464502 (patch) | |
tree | 5137df12238e1fe52213d8c81f5f2f58c09dd444 | |
parent | f5ace6c8bf6d4ea2231cc27caa90b9452206435c (diff) | |
download | www-7f15dd904597abd8af06b3ea39c8b6db92464502.tar.gz |
Redact names
-rw-r--r-- | article/math-science-and-philosophy.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/article/math-science-and-philosophy.html b/article/math-science-and-philosophy.html index 4252fd9..d4d2240 100644 --- a/article/math-science-and-philosophy.html +++ b/article/math-science-and-philosophy.html @@ -159,7 +159,7 @@ class="math inline"><em>A</em></span> (i. e. physics is squishy) is both true and false. Thus, <span class="math inline"><em>A</em> = 1</span> and <span class="math inline"><em>A</em> = 0</span> are both true. Then, take a random statement <span class="math inline"><em>B</em></span> -(let's say ``Joey likes humanities''). Thus we have <span +(let's say ``my friend likes humanities''). Thus we have <span class="math inline"><em>A</em> + <em>B</em> = 1</span> where <span class="math inline">+</span> is a boolean ``or'' operator because <span class="math inline"><em>A</em> = 1</span> and <span @@ -171,7 +171,7 @@ class="math inline"><em>B</em></span> must be 1 (if <span class="math inline"><em>B</em></span> is zero, then <span class="math inline">0 + 0 = 0</span>). Thus, if we can prove that ``physics is squishy'' and ``physics is not squishy'' (without differences -in definition), then we can literally prove that ``Joey likes +in definition), then we can literally prove that ``my friend likes humanities''. Other from not defining subjective things like ``squishy'' and ``is'' (in terms of psychology), we can't get around this easily, and everything would be provable, which would not be fun for |