home bbs files messages ]

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

   comp.ai.philosophy      Perhaps we should ask SkyNet about this      59,235 messages   

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

   Message 59,209 of 59,235   
   dart200 to Richard Damon   
   Re: is the ct-thesis cooked? (1/2)   
   25 Jan 26 13:05:16   
   
   XPost: comp.theory, comp.software-eng   
   From: user7160@newsgrouper.org.invalid   
      
   On 1/25/26 10:21 AM, Richard Damon wrote:   
   > On 1/24/26 9:24 PM, dart200 wrote:   
   >> On 1/24/26 4:52 PM, Richard Damon wrote:   
   >>> On 1/24/26 5:36 PM, dart200 wrote:   
   >>>> On 1/24/26 6:44 AM, Richard Damon wrote:   
   >>>>> On 1/20/26 8:55 PM, dart200 wrote:   
   >>>>>> On 1/20/26 4:59 AM, Richard Damon wrote:   
   >>>>>>> On 1/20/26 1:18 AM, dart200 wrote:   
   >>>>>>>> On 1/19/26 9:29 PM, Richard Damon wrote:   
   >>>>>>>>> On 1/18/26 11:51 PM, dart200 wrote:   
   >>>>>>>>>> On 1/18/26 4:28 PM, Richard Damon wrote:   
   >>>>>>>>>>> On 1/18/26 4:50 PM, dart200 wrote:   
   >>>>>>>>>>>> On 1/18/26 12:56 PM, Richard Damon wrote:   
   >>>>>>>>>>>>> On 1/18/26 1:15 PM, dart200 wrote:   
   >>>>>>>>>>>>>> On 1/18/26 4:05 AM, Richard Damon wrote:   
   >>>>>>>>>>>>>>> On 1/18/26 1:05 AM, dart200 wrote:   
   >>>>>>>>>>>>>>>> On 1/17/26 7:28 PM, Richard Damon wrote:   
   >>>>>>>>>>>>>>>>> On 1/17/26 10:14 PM, dart200 wrote:   
   >>>>>>>>>>>>>>>>>   
   >>>>>>>>>>>>>>>>> Good luck starving to death when your money runs out.   
   >>>>>>>>>>>>>>>>   
   >>>>>>>>>>>>>>>> one can only hope for so much sometimes 🙏   
   >>>>>>>>>>>>>>>>   
   >>>>>>>>>>>>>>>>>   
   >>>>>>>>>>>>>>>>>>   
   >>>>>>>>>>>>>>>>>>>   
   >>>>>>>>>>>>>>>>>>> I guess you don't understand the rules of logic.   
   >>>>>>>>>>>>>>>>>>   
   >>>>>>>>>>>>>>>>>> also not an argument   
   >>>>>>>>>>>>>>>>>   
   >>>>>>>>>>>>>>>>> Again, YOUR PROBLEM.   
   >>>>>>>>>>>>>>>>>   
   >>>>>>>>>>>>>>>>>   
   >>>>>>>>>>>>>>>>>>   
   >>>>>>>>>>>>>>>>>>>   
   >>>>>>>>>>>>>>>>>>>>   
   >>>>>>>>>>>>>>>>>>>> it's pretty crazy i can produce a machine (even if u   
   >>>>>>>>>>>>>>>>>>>> haven't understood it yet) that produces a   
   >>>>>>>>>>>>>>>>>>>> consistent deterministic result that is "not a   
   >>>>>>>>>>>>>>>>>>>> computation".   
   >>>>>>>>>>>>>>>>>>>   
   >>>>>>>>>>>>>>>>>>> Because you get that result only by equivocating on   
   >>>>>>>>>>>>>>>>>>> your definitions.   
   >>>>>>>>>>>>>>>>>>>   
   >>>>>>>>>>>>>>>>>>> If the context is part of the inpt to make the output   
   >>>>>>>>>>>>>>>>>>> determistic from the input, then they fail to be   
   >>>>>>>>>>>>>>>>>>> usable as sub- computations as we can't control that   
   >>>>>>>>>>>>>>>>>>> context part of the input.   
   >>>>>>>>>>>>>>>>>>>   
   >>>>>>>>>>>>>>>>>>> When we look at just the controllable input for a   
   >>>>>>>>>>>>>>>>>>> sub- computation, the output is NOT a deterministic   
   >>>>>>>>>>>>>>>>>>> function of that inut.   
   >>>>>>>>>>>>>>>>>>>   
   >>>>>>>>>>>>>>>>>>>>   
   >>>>>>>>>>>>>>>>>>>> not sure what the fuck it's doing if it's not a   
   >>>>>>>>>>>>>>>>>>>> computation   
   >>>>>>>>>>>>>>>>>>>   
   >>>>>>>>>>>>>>>>>>> Its using hidden inputs that the caller can't control.   
   >>>>>>>>>>>>>>>>>>   
   >>>>>>>>>>>>>>>>>> which we do all the time in normal programming,   
   >>>>>>>>>>>>>>>>>> something which apparently u think the tHeOrY oF   
   >>>>>>>>>>>>>>>>>> CoMpUtInG fails to encapsulate   
   >>>>>>>>>>>>>>>>>   
   >>>>>>>>>>>>>>>>> Right, but that isn't about computations.   
   >>>>>>>>>>>>>>>>>   
   >>>>>>>>>>>>>>>>>>   
   >>>>>>>>>>>>>>>>>> pretty crazy we do a bunch "non-computating" in the   
   >>>>>>>>>>>>>>>>>> normal act of programming computers   
   >>>>>>>>>>>>>>>>>   
   >>>>>>>>>>>>>>>>> Why?   
   >>>>>>>>>>>>>>>>>   
   >>>>>>>>>>>>>>>>> As I have said, "Computatations" is NOT about how   
   >>>>>>>>>>>>>>>>> modern computers work.   
   >>>>>>>>>>>>>>>>>   
   >>>>>>>>>>>>>>>>> I guess you are just showing that you fundamentally   
   >>>>>>>>>>>>>>>>> don't understand the problem field you are betting your   
   >>>>>>>>>>>>>>>>> life on.   
   >>>>>>>>>>>>>>>>   
   >>>>>>>>>>>>>>>> one would presume the fundamental theory of computing   
   >>>>>>>>>>>>>>>> would be general enough to encapsulate everything   
   >>>>>>>>>>>>>>>> computed by real world computers, no???   
   >>>>>>>>>>>>>>>   
   >>>>>>>>>>>>>>> Why?   
   >>>>>>>>>>>>>>>   
   >>>>>>>>>>>>>>> Remember, the fundamental theory of Computing PREDATES   
   >>>>>>>>>>>>>>> the computer as you know it.   
   >>>>>>>>>>>>>>   
   >>>>>>>>>>>>>> so ur saying it's outdated and needs updating in regards   
   >>>>>>>>>>>>>> to new things we do with computers that apparently turing   
   >>>>>>>>>>>>>> machines as a model don't have variations of ...   
   >>>>>>>>>>>>>   
   >>>>>>>>>>>>> No, it still handles that which it was developed for.   
   >>>>>>>>>>>>   
   >>>>>>>>>>>> well it was developed to be a general theory of computing,   
   >>>>>>>>>>>> and apparently modern computing has transcended that theory ...   
   >>>>>>>>>>>   
   >>>>>>>>>>> Not really.   
   >>>>>>>>>>>   
   >>>>>>>>>>> THe way modern processors work, "sub-routines" can fail to be   
   >>>>>>>>>>> computations, but whole programs will tend to be. Sub-   
   >>>>>>>>>>> routines CAN be built with care to fall under its guidance.   
   >>>>>>>>>>   
   >>>>>>>>>> lol, what are they even if not "computations"???   
   >>>>>>>>>   
   >>>>>>>>> not-computations   
   >>>>>>>>   
   >>>>>>>> great, a set of deterministic steps that produces a result but   
   >>>>>>>> is somehow not a compution!   
   >>>>>>>   
   >>>>>>> Because it isn't deterministically based on the INPUT,   
   >>>>>>   
   >>>>>> no it's just a series of steps to produce some output.   
   >>>>>   
   >>>>> Nope, not in the formulation of the theory.   
   >>>>   
   >>>> again: YOU HAVE NOT PROVEN THAT TURING MACHINES, OR ANY EQUIVALENT   
   >>>> THEORY, ENCOMPASS ALL POSSIBLE COMPUTATIONS   
   >>>>   
   >>>> like holy fuck, how many times will i need to repeat that???   
   >>>>   
   >>>> it's a ct-THESIS not a ct-LAW   
   >>>   
   >>> But I can say that Computations as defined, are all that they can do.   
   >>   
   >> i will never care about you complaining about the fact the   
   >> computations i'm talking about don't fit within the particular box you   
   >> call a "Computation", because i just doesn't mean anything,   
   >   
   > In other words, you are just saying you don't care about computation   
   > theory, and thus why are you complaining about what it says about   
   > computations.   
      
   no i'm saying i don't care about ur particular definition, richard   
      
   do better that trying to "define" me as wrong. meaning: put in the work   
   to demonstrate actual contradictions   
      
   >   
   >   
   >>   
   >> u and the entire field can be wrong about how u specified "Computation",   
   >   
   > No, you just don't understand the WHY of computation theory.   
      
   u don't give a why u stupid fucking retarded faggot, and u never will   
   because the ct-thesis isn't proven, and u've already gone down the   
   moronic hole of "maybe my favorite truth isn't even provable!!!??"   
      
   >   
   >>   
   >> and that potential is well codified by the fact the ct-thesis is still   
   >> a thesis and not a law.   
   >   
   > It might just be a thesis, because it IS an unprovable truth.   
      
   lookie u just accepting things as "muh unprovable truths". holy fucking   
   hypocritical fucking faggot   
      
   imagine if i pulled that argument out on you wildly unfair irrational   
   bastard??   
      
   u make a complete mockery of reason with the disgustingly idiot dogshit   
   u post over and over again...   
      
   holy fuck you dude eat a bag of dicks   
      
   >   
   >>   
      
   [continued in next message]   
      
   --- 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