Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
| From | olcott <polcott2@gmail.com> |
|---|---|
| Newsgroups | sci.logic, comp.theory, comp.ai.philosophy, comp.software-eng |
| Subject | Re: Simulating halt deciders defeat the halting theorem |
| Date | 2023-02-15 21:28 -0600 |
| Organization | A noiseless patient Spider |
| Message-ID | <tsk7sf$31vt5$4@dont-email.me> (permalink) |
| References | (5 earlier) <9c9780f5-d4cd-4bf2-a291-fc1193c33d06n@googlegroups.com> <874jrmqt2o.fsf@bsb.me.uk> <tsk41n$31vt5$1@dont-email.me> <tsk51t$31vt5$2@dont-email.me> <tsk753$31vt5$3@dont-email.me> |
Cross-posted to 4 groups.
On 2/15/2023 9:15 PM, olcott wrote:
> On 2/15/2023 8:39 PM, olcott wrote:
>> On 2/15/2023 8:22 PM, olcott wrote:
>>> On 2/15/2023 7:47 PM, Ben Bacarisse wrote:
>>>> Fritz Feldhase <franz.fritschee.ff@gmail.com> writes:
>>>>
>>>>> On Wednesday, February 15, 2023 at 10:32:19 PM UTC+1, Ben Bacarisse
>>>>> wrote:
>>>>>
>>>>>> Me: do you still assert that H(P,P) == false is the "correct" answer
>>>>>> even though P(P) halts?
>>>>>>
>>>>>> PO: Yes that is the correct answer even though P(P) halts.
>>>>>
>>>>> Wow!
>>>>>
>>>>> So for PO H is a "correct halt decider" even if it states that a
>>>>> program P with input P _doesn't halt_, though it _halts_.
>>>>>
>>>>> Well, what can I say?
>>>>
>>>> What indeed. I think this is pretty much the only reply that should be
>>>> made to PO. He may, one day, admit that that was wrong and start to
>>>> build a new waffle mountain, but until then, its game over.
>>>>
>>>>> Seems that all cranks are more or less "the same" (in a certain
>>>>> sense): WM, PO, JG, AP, etc.
>>>>
>>>> In some way yes, but they all disagree with each other when the surface
>>>> is scratched because they all want to be the unique individual who as
>>>> seen clearly where everyone else was blind. I would not be
>>>> surprised if
>>>> they all had NPD.
>>>>
>>>>> See:
>>>>> https://context.reverso.net/%C3%BCbersetzung/spanisch-englisch/loco%2C+loco
>>>>
>>>> Possibly literally!
>>>>
>>>
>>> int D(int (*x)())
>>> {
>>> int Halt_Status = H(x, x);
>>> if (Halt_Status)
>>> HERE: goto HERE;
>>> return Halt_Status;
>>> }
>>>
>>> int main()
>>> {
>>> Output("Input_Halts = ", H(D,D));
>>> Output("Input_Halts = ", D(D));
>>> }
>>>
>>> None-the-less Ben will not lie about:
>>> *H correctly predicts that D correctly simulated by H would never halt*
>>> *H correctly predicts that D correctly simulated by H would never halt*
>>> *H correctly predicts that D correctly simulated by H would never halt*
>>
>> In other words because Ben is not a liar he implicitly affirms that
>> H(D,D) does correctly compute the mapping from its input to its reject
>> state on the above basis.
>>
>
> There are all kinds of way to weasel word around the above two verified
> facts that will fool the gullible.
>
> *None-the-less this verified fact remains irrefutable*
>
> H(D,D) does correctly compute the mapping from its input to its reject
> state on the basis that H correctly predicts that D correctly simulated
> by H would never halt.
*Finally a most important key point of agreement*
Now we are at the point where I said that I painted my house white and
people disagree on the basis that the can of paint said that the color
was eggshell.
--
Copyright 2023 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer
Back to sci.logic | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
Simulating halt deciders defeat the halting theorem olcott <polcott2@gmail.com> - 2023-02-14 18:57 -0600
Re: Simulating halt deciders defeat the halting theorem Richard Damon <Richard@Damon-Family.org> - 2023-02-14 21:03 -0500
Re: Simulating halt deciders defeat the halting theorem olcott <polcott2@gmail.com> - 2023-02-15 08:57 -0600
Re: Simulating halt deciders defeat the halting theorem Richard Damon <Richard@Damon-Family.org> - 2023-02-15 18:57 -0500
Re: Simulating halt deciders defeat the halting theorem Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-02-15 09:05 -0800
Re: Simulating halt deciders defeat the halting theorem olcott <polcott2@gmail.com> - 2023-02-15 13:25 -0600
Re: Simulating halt deciders defeat the halting theorem Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-02-15 12:46 -0800
Re: Simulating halt deciders defeat the halting theorem olcott <polcott2@gmail.com> - 2023-02-15 15:12 -0600
Re: Simulating halt deciders defeat the halting theorem Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-02-15 13:26 -0800
Re: Simulating halt deciders defeat the halting theorem olcott <polcott2@gmail.com> - 2023-02-15 16:12 -0600
Re: Simulating halt deciders defeat the halting theorem Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-02-15 15:55 -0800
Re: Simulating halt deciders defeat the halting theorem olcott <polcott2@gmail.com> - 2023-02-15 18:06 -0600
Re: Simulating halt deciders defeat the halting theorem Richard Damon <Richard@Damon-Family.org> - 2023-02-15 19:22 -0500
Re: Simulating halt deciders defeat the halting theorem Richard Damon <Richard@Damon-Family.org> - 2023-02-15 19:20 -0500
Re: Simulating halt deciders defeat the halting theorem Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-02-15 21:32 +0000
Re: Simulating halt deciders defeat the halting theorem olcott <polcott2@gmail.com> - 2023-02-15 16:13 -0600
Re: Simulating halt deciders defeat the halting theorem Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-02-15 15:51 -0800
Re: Simulating halt deciders defeat the halting theorem Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-02-16 01:47 +0000
Re: Simulating halt deciders defeat the halting theorem olcott <polcott2@gmail.com> - 2023-02-15 20:22 -0600
Re: Simulating halt deciders defeat the halting theorem Richard Damon <Richard@Damon-Family.org> - 2023-02-15 21:36 -0500
Re: Simulating halt deciders defeat the halting theorem olcott <polcott2@gmail.com> - 2023-02-15 20:39 -0600
Re: Simulating halt deciders defeat the halting theorem Richard Damon <Richard@Damon-Family.org> - 2023-02-15 21:55 -0500
Re: Simulating halt deciders defeat the halting theorem olcott <polcott2@gmail.com> - 2023-02-15 21:15 -0600
Re: Simulating halt deciders defeat the halting theorem Richard Damon <Richard@Damon-Family.org> - 2023-02-15 22:20 -0500
Re: Simulating halt deciders defeat the halting theorem olcott <polcott2@gmail.com> - 2023-02-15 21:28 -0600
Re: Simulating halt deciders defeat the halting theorem Richard Damon <Richard@Damon-Family.org> - 2023-02-15 22:42 -0500
Re: Simulating halt deciders defeat the halting theorem olcott <polcott2@gmail.com> - 2023-02-16 10:59 -0600
Re: Simulating halt deciders defeat the halting theorem Richard Damon <Richard@Damon-Family.org> - 2023-02-16 18:43 -0500
Re: Simulating halt deciders defeat the halting theorem Jeff Barnett <jbb@notatt.com> - 2023-02-16 11:36 -0700
Re: Simulating halt deciders defeat the halting theorem olcott <polcott2@gmail.com> - 2023-02-16 13:16 -0600
Re: Simulating halt deciders defeat the halting theorem Jeff Barnett <jbb@notatt.com> - 2023-02-16 12:26 -0700
Re: Simulating halt deciders defeat the halting theorem [ irrefutable ] olcott <polcott2@gmail.com> - 2023-02-16 13:41 -0600
Re: Simulating halt deciders defeat the halting theorem [ irrefutable ] Jeff Barnett <jbb@notatt.com> - 2023-02-16 15:24 -0700
Re: Simulating halt deciders defeat the halting theorem [ irrefutable ] olcott <polcott2@gmail.com> - 2023-02-16 16:45 -0600
Re: Simulating halt deciders defeat the halting theorem [ irrefutable ] Richard Damon <Richard@Damon-Family.org> - 2023-02-16 18:48 -0500
Re: Simulating halt deciders defeat the halting theorem Richard Damon <Richard@Damon-Family.org> - 2023-02-16 18:45 -0500
Re: Simulating halt deciders defeat the halting theorem olcott <polcott2@gmail.com> - 2023-02-24 15:31 -0600
Re: Simulating halt deciders defeat the halting theorem Richard Damon <Richard@Damon-Family.org> - 2023-02-24 20:11 -0500
Re: Simulating halt deciders defeat the halting theorem [ Ben will not lie about this ] olcott <polcott2@gmail.com> - 2023-02-16 17:01 -0600
Re: Simulating halt deciders defeat the halting theorem [ Ben will not lie about this ] Richard Damon <Richard@Damon-Family.org> - 2023-02-16 18:49 -0500
Re: Simulating halt deciders defeat the halting theorem olcott <polcott2@gmail.com> - 2023-02-24 15:31 -0600
Re: Simulating halt deciders defeat the halting theorem Richard Damon <Richard@Damon-Family.org> - 2023-02-24 20:11 -0500
Re: Simulating halt deciders defeat the halting theorem olcott <polcott2@gmail.com> - 2023-02-24 16:07 -0600
Re: Simulating halt deciders defeat the halting theorem Richard Damon <Richard@Damon-Family.org> - 2023-02-24 20:11 -0500
Re: Simulating halt deciders defeat the halting theorem olcott <polcott2@gmail.com> - 2023-02-24 16:08 -0600
Re: Simulating halt deciders defeat the halting theorem Richard Damon <Richard@Damon-Family.org> - 2023-02-24 20:11 -0500
Re: Simulating halt deciders defeat the halting theorem [-ONLY LIARS WILL DISAGREE-] olcott <polcott2@gmail.com> - 2023-02-26 14:01 -0600
Re: Simulating halt deciders defeat the halting theorem [-ONLY LIARS WILL DISAGREE-] Richard Damon <Richard@Damon-Family.org> - 2023-02-26 15:15 -0500
Re: Simulating halt deciders defeat the halting theorem [-ONLY LIARS WILL DISAGREE-] Mr Flibble <flibble@reddwarf.jmc.corp> - 2023-02-26 20:32 +0000
csiph-web