From 7f15dd904597abd8af06b3ea39c8b6db92464502 Mon Sep 17 00:00:00 2001 From: Andrew Date: Sat, 12 Nov 2022 14:51:26 +0800 Subject: Redact names --- article/math-science-and-philosophy.html | 4 ++-- 1 file 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">A (i. e. physics is squishy) is both true and false. Thus, A = 1 and A = 0 are both true. Then, take a random statement B -(let's say ``Joey likes humanities''). Thus we have A + B = 1 where + is a boolean ``or'' operator because A = 1 and B must be 1 (if B is zero, then 0 + 0 = 0). 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 -- cgit 1.4.1-2-gfad0