XPost: sci.math, comp.theory   
   From: polcott333@gmail.com   
      
   On 1/3/2026 3:20 PM, Thomas 'PointedEars' Lahn wrote:   
   > olcott wrote:   
   >> 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.   
   >   
   > Pseudoscientific word salad.   
   >   
   > Again: Why do you write about things that you know nothing about?   
   >   
      
   All deciders essentially: Transform finite string   
   inputs by finite string transformation rules into   
   {Accept, Reject} values.   
      
   Thus making   
   "true on the basis of meaning expressed in language"   
   inherently computable.   
      
   >> 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)   
   >   
   > That does not confirm your initial claim.   
   >   
   > Also, it should be noted that "the philosophy of (i.e. *about*) mathematics"   
   > is apparently a questionable concept to begin with, as one can see by the   
   > marker of "multiple issues" if one follows the link in that Wikipedia   
   article.   
   >   
   > You would do well to not continue this mindbogglingly stupid crosspost   
   > across 5 (!) newsgroups (F'up2 sci.math set), and to post to Usenet using   
   > your real name.   
   >   
   > But given your record, probably you are just trolling again.   
   >   
      
      
   --   
   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-DOS v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)