Thanks for great write-up, fun to read! I only notices one tiny typo: "when apples are a fruit, then bananas or applies implies bananas or fruits" - "applies" should be "apples" I guess.
> These symbols map closely to the logical statements we are used too in programming.
too => to
> Hofstadter’s “I’m a Stange Loop”
Stange => Strange