summary refs log tree commit diff stats
path: root/article
diff options
context:
space:
mode:
authorAndrew <andrew@andrewyu.org>2022-11-12 14:51:26 +0800
committerAutomatic Merge <andrew+automerge@andrewyu.org>2023-07-15 00:29:33 +0800
commit7f15dd904597abd8af06b3ea39c8b6db92464502 (patch)
tree5137df12238e1fe52213d8c81f5f2f58c09dd444 /article
parentf5ace6c8bf6d4ea2231cc27caa90b9452206435c (diff)
downloadwww-7f15dd904597abd8af06b3ea39c8b6db92464502.tar.gz
Redact names
Diffstat (limited to 'article')
-rw-r--r--article/math-science-and-philosophy.html4
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