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 261,850 of 262,912    |
|    Chris M. Thomasson to Richard Damon    |
|    Re: Proof of halting problem category er    |
|    12 Dec 25 15:30:18    |
      XPost: comp.theory, comp.ai.philosophy       From: chris.m.thomasson.1@gmail.com              On 12/12/2025 3:08 PM, Richard Damon wrote:       > On 12/12/25 6:02 PM, polcott wrote:       >> On 12/12/2025 4:56 PM, Richard Damon wrote:       >>> On 12/12/25 5:36 PM, olcott wrote:       >>>> On 12/12/2025 4:22 PM, Richard Damon wrote:       >>>>> On 12/12/25 5:07 PM, polcott wrote:       >>>>>> On 12/12/2025 3:59 PM, Richard Damon wrote:       >>>>>>> On 12/12/25 4:33 PM, olcott wrote:       >>>>>>>> On 12/12/2025 3:09 PM, Richard Damon wrote:       >>>>>>>>> On 12/12/25 3:55 PM, polcott wrote:       >>>>>>>>>> On 12/12/2025 1:47 PM, Richard Damon wrote:       >>>>>>>>>>> On 12/12/25 2:35 PM, polcott wrote:       >>>>>>>>>>>> The input to a Turing machine halt decider has always       >>>>>>>>>>>> been a finite string that SPECIFIES (in its encoding)       >>>>>>>>>>>> an exact sequence of steps. The decider only has what       >>>>>>>>>>>> this finite string encodes as its only basis.       >>>>>>>>>>>>       >>>>>>>>>>>       >>>>>>>>>>> The string does not specify the steps, it specifies the       >>>>>>>>>>> algorthm used to generate those steps.       >>>>>>>>>>>       >>>>>>>>>>       >>>>>>>>>> Counter-factual.       >>>>>>>>>> The string encoding directly specifies       >>>>>>>>>> an exact sequence of steps within the       >>>>>>>>>> model of computation.       >>>>>>>>>>       >>>>>>>>>>       >>>>>>>>>       >>>>>>>>> Where do you get that? More of your zero-principle logic?       >>>>>>>>>       >>>>>>>>> If it was, how can you say your C code is a valid input? that       >>>>>>>>> doesn't specify what steps happen, it specifies the logic used       >>>>>>>>> to generate the steps.       >>>>>>>>>       >>>>>>>>       >>>>>>>> It is a string of bytes that specifies an       >>>>>>>> exact sequence of steps within a model of       >>>>>>>> computation.       >>>>>>>>       >>>>>>>>       >>>>>>>>       >>>>>>>       >>>>>>> HOW??? Your input isn't that, so I guess you are just admitting       >>>>>>> you are just a liar.       >>>>>>>       >>>>>>> If it is, then how is C code or x86 instrutions code a valid       >>>>>>> input. Those are not a "exact sequence of steps" that the machine       >>>>>>> goes through.       >>>>>>>       >>>>>>       >>>>>> You must keep forgetting the details that       >>>>>> I have already provided.       >>>>>>       >>>>>       >>>>> Then remind me, because it seems you are just showing that you       >>>>> logic is broken.       >>>>>       >>>>       >>>> If you can't remind me then it seems that the       >>>> issue is you own lack of attention span. Feel       >>>> free to go back through what I said. If you       >>>> can't even go back through what I said then it       >>>> is definitely your own attention span.       >>>>       >>>       >>> But I DO repeat my reasoning,       >> If you can't remind me what I said even by       >> going back through my messages then the issue       >> is your attention span and nothing else.       >>       >>       >       > In other words, you are admitting you never said it, as you would       > normally love to prove me wrong,       >       > Also, apparently you are convinced there is a teapot in the asteroid       > belt, as no one has proven it isn't there.       >       > Sorry, you are just proving that you can't answer the basic question of       > why your input doesn't meet the rules you now want to require of the input.       >       > The only reason is you can't tell the difference between facts and       > imagination because nothing has real meaning to you.       >       > Was this insanity the reason you didn't go to jail for the kiddie porn?              Almost has to be?              --- 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