XPost: sci.math, sci.logic, comp.theory   
   XPost: sci.lang   
   From: polcott333@gmail.com   
      
   On 1/2/2026 4:30 PM, Thomas 'PointedEars' Lahn wrote:   
   > olcott wrote:   
   >> The philosophy of math says maybe we have   
   >> been thinking about this stuff all wrong.   
   >   
   > Says who, you?   
   >   
   > Mathematics is an exact structural _science_; hence "*sci*.math".   
   >   
   >> Math says of course we haven't been thinking   
   >> about this stuff all wrong everyone knows   
   >> that math is infallible.   
   >   
   > /Ex nonsenso quodlibet./   
   >   
   > Why do you write about things that you know nothing about?   
   >   
      
   "true on the basis of meaning expressed in language"   
   is fully computable entirely on the basis of finite   
   string manipulation rules applied to finite strings.   
      
   In the philosophy of mathematics, formalism is the   
   view that holds that statements of mathematics   
   and logic can be considered to be statements about   
   the consequences of the manipulation of strings   
   (alphanumeric sequences of symbols, usually as   
   equations) using established manipulation rules.   
      
   https://en.wikipedia.org/wiki/Formalism_(philosophy_of_mathematics)   
      
      
      
   --   
   Copyright 2026 Olcott

   
      
   My 28 year goal has been to make 
   
   "true on the basis of meaning expressed in language"
   
   reliably computable.

   
      
   This required establishing a new foundation
   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)