XPost: sci.math, sci.logic, comp.theory   
   XPost: sci.lang   
   From: PointedEars@web.de   
      
   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?   
      
   > 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.   
      
   --   
   PointedEars   
      
   Twitter: @PointedEars2   
   Please do not cc me. / Bitte keine Kopien per E-Mail.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)