From ec5fc5e9470004e0ecc11c90986661f72e5f6964 Mon Sep 17 00:00:00 2001
From: Thomas Walker Lynch <eknp9n@reasoningtechnology.com>
Date: Sat, 4 Jul 2026 04:39:11 +0000
Subject: [PATCH] stating the obvious next step

---
 document/TM-2026.html | 4 ++++
 1 file changed, 4 insertions(+)

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>
-- 
2.20.1