Re: Simulating halt deciders defeat the halting theorem

From	Jeff Barnett <jbb@notatt.com>
Newsgroups	sci.logic, comp.theory
Subject	Re: Simulating halt deciders defeat the halting theorem
Date	2023-02-16 12:26 -0700
Organization	A noiseless patient Spider
Message-ID	<tsm013$3b6d2$1@dont-email.me> (permalink)
References	(4 earlier) <87y1oyr4wx.fsf@bsb.me.uk> <9c9780f5-d4cd-4bf2-a291-fc1193c33d06n@googlegroups.com> <874jrmqt2o.fsf@bsb.me.uk> <tslt33$3aode$1@dont-email.me> <tslvf7$3aqrv$1@dont-email.me>

Cross-posted to 2 groups.

Show all headers | View raw

On 2/16/2023 12:16 PM, olcott wrote:
> On 2/16/2023 12:36 PM, Jeff Barnett wrote:
>> On 2/15/2023 6: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!
>>
>> See 
>> https://www.mayoclinic.org/diseases-conditions/narcissistic-personality-disorder/symptoms-causes/syc-20366662 for a list of NPD symptoms and compare to various articles by PO in these forums. It would seem that Dr. Ben nailed the diagnoses.
> Everyone here knows that any Ad Hominem attack that is used instead of 
> reasoning is an act of intentional deception.
This is not an Ad Hominem attack. It includes a reference to an article 
posted by one of the USA's leading medical groups - both research and 
treatment. It simply compares the personality traits you choose to 
display here to a list of NPD symptoms discussed in that article. There 
is an almost exact match. In brief, this IS an application of scientific 
reasoning. Unfortunately, you don't seem to recognize it as such but I'm 
not really surprised.
-- 
Jeff Barnett

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