Math

orbitmines · Jun 7, 2024 · 80d9011 · 80d9011
1 parent 45f79dd
commit 80d9011
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/orbitmines.com/src/routes/papers/2024.AUniversalLanguage.tsx b/orbitmines.com/src/routes/papers/2024.AUniversalLanguage.tsx
@@ -398,6 +398,13 @@ const AUniversalLanguage = () => {
           </Block>
 
 
+          <TODO>
+            I suspect that all these moduli-type questions become computable problems. And it should become obvious that all these moduli-type questions are only answerable if you already have access to some other moduli space.
+          </TODO>
+          <TODO>
+            And you can probably setup ways where you can switch between discrete/infinitary stuctures at will. - Of course this doesn't mean it's easily tractable. But more that these problems become computable searchspaces.
+          </TODO>
+
         </Section>
       </Arc>