From: Thomas Walker Lynch <eknp9n@reasoningtechnology.com>
Date: Sat, 4 Jul 2026 04:39:11 +0000 (+0000)
Subject: stating the obvious next step
X-Git-Url: https://git.reasoningtechnology.com/%28%5B%5E?a=commitdiff_plain;h=ec5fc5e9470004e0ecc11c90986661f72e5f6964;p=TM-2026

stating the obvious next step
---

diff --git a/document/TM-2026.html b/document/TM-2026.html
index c20a394..fca2f9d 100644
--- a/document/TM-2026.html
+++ b/document/TM-2026.html
@@ -1040,6 +1040,10 @@
         With this language it is possible to restate every statement ever made by any mathematician; the mere fact that a mathematician was able to state it qualifies its membership into Zermelo's S set.
       </p>
 
+      <p>
+        Of course, those among us who believe the human brain to be a computational device, or at least the subset of it involved in working on mathematics, are already computational naturalists.
+      </p>
+
       <RT·chapter>Addresses and cells</RT·chapter>
 
       <h2>Natural Number, address</h2>