stating the obvious next step
authorThomas Walker Lynch <eknp9n@reasoningtechnology.com>
Sat, 4 Jul 2026 04:39:11 +0000 (04:39 +0000)
committerThomas Walker Lynch <eknp9n@reasoningtechnology.com>
Sat, 4 Jul 2026 04:39:11 +0000 (04:39 +0000)
document/TM-2026.html

index c20a394..fca2f9d 100644 (file)
         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>