home bbs files messages ]

Forums before death by AOL, social media and spammers... "We can't have nice things"

   sci.logic      Logic -- math, philosophy & computationa      262,912 messages   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]

   Message 262,053 of 262,912   
   olcott to Richard Damon   
   Re: The primary first principle of all T   
   20 Dec 25 17:45:29   
   
   XPost: comp.theory, sci.math   
   From: polcott333@gmail.com   
      
   On 12/20/2025 5:32 PM, Richard Damon wrote:   
   > On 12/20/25 6:25 PM, olcott wrote:   
   >> On 12/20/2025 4:57 PM, Tristan Wibberley wrote:   
   >>> On 20/12/2025 13:12, olcott wrote:   
   >>>> On 12/20/2025 7:01 AM, Tristan Wibberley wrote:   
   >>>>> On 19/12/2025 23:01, olcott wrote:   
   >>>>>> Deciders: Transform finite strings by finite string   
   >>>>>> transformation rules into {Accept, Reject}.   
   >>>>>   
   >>>>> I continue to Reject your asymmetric and functionally-loaded labels   
   >>>>> for   
   >>>>> the classes.   
   >>>>>   
   >>>>>   
   >>>>   
   >>>> That is not any sort of actual rebuttal   
   >>>> it is merely a dogmatic assertion. Actual   
   >>>> rebuttals (even incorrect ones) require reasoning.   
   >>>   
   >>> I gave it to you before, I think.   
   >>>   
   >>   
   >> It is categorically impossible for this to be   
   >> incorrect:   
   >>   
   >> Deciders: Transform finite string inputs by finite   
   >> string transformation rules into {Accept, Reject}.   
   >> They are not accountable for anything else.   
   >>   
   >>   
   >   
   > No, you are categorically incorrect. While they may only USE a finite   
   > string transformation, they are accoutable to the function they are   
   > supposed to be computing.   
   >   
      
   They cannot be held accountable for any behavior   
   outside the scope of deciders as I have carefully   
   defined them. They cannot be required to bake   
   birthday cakes or use any psychic ability.   
      
   All that they can be required to do is transform   
   input finite strings into values.   
      
   --   
   Copyright 2025 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)   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]


(c) 1994,  bbs@darkrealms.ca