Re: Did I encode Sipser correctly? (it seemed too easy)

From	André G. Isaak <agisaak@gm.invalid>
Newsgroups	comp.theory, sci.logic, sci.math, comp.software-eng
Subject	Re: Did I encode Sipser correctly? (it seemed too easy)
Date	2022-07-09 15:34 -0600
Organization	Christians and Atheists United Against Creeping Agnosticism
Message-ID	<tacs8d$15373$1@dont-email.me> (permalink)
References	(5 earlier) <pomdnedR5ulWdVT_nZ2dnUU7_8zNnZ2d@giganews.com> <tacqei$14ttq$1@dont-email.me> <FLCdndE-T7YCcFT_nZ2dnUU7_8xh4p2d@giganews.com> <tacqvi$14vrs$1@dont-email.me> <U42dnYFcnbexbFT_nZ2dnUU7_83NnZ2d@giganews.com>

Cross-posted to 4 groups.

Show all headers | View raw

On 2022-07-09 15:20, olcott wrote:
> On 7/9/2022 4:12 PM, André G. Isaak wrote:
>> On 2022-07-09 15:05, olcott wrote:
>>> On 7/9/2022 4:03 PM, André G. Isaak wrote:
>>
>>>> You said you were talking about the "diagonal argument of the 
>>>> halting theorem", so I assumed you were talking about Sipser's proof 
>>>> of the halting theorem. The diagonalization argument you are 
>>>> discussing here doesn't deal directly with the halting problem 
>>>> (though it is closely related to it). That proof demonstrates that 
>>>> not all languages are decidable.
>>>>
>>>> André
>>>>
>>>>
>>>
>>> So you also never noticed the title of the post?
>>> Did I encode Sipser correctly?
>>
>> "Sipser" is the name of an individual and/or book, not of a proof. 
>> Sipser gives many proofs.
>>
> 
> And I provided the whole proof that I was referring to.
> 
>> It was perfectly reasonably of me to assume 
> 
> It is always totally unreasonable to ever assume anything contrary to 
> what was explicitly specified.
> 
> I need to carefully analyze the diagonal argument and when I did this 
> with Kaz it was obvious that it is not the same as Linz.
> 
> L15: Proof by Diagonalization that ATM (Halting Problem) is Not Decidable
> https://www.youtube.com/watch?v=jM6osxSX9GA

ATM as described in both the textbook and the above video is *not* the 
halting problem.

André


-- 
To email remove 'invalid' & replace 'gm' with well known Google mail 
service.

Thread

Did I encode Sipser correctly? (it seemed too easy) olcott <NoOne@NoWhere.com> - 2022-07-09 13:08 -0500
  Re: Did I encode Sipser correctly? (it seemed too easy) Richard Damon <Richard@Damon-Family.org> - 2022-07-09 14:41 -0400
  Re: Did I encode Sipser correctly? (it seemed too easy) olcott <NoOne@NoWhere.com> - 2022-07-09 14:26 -0500
    Re: Did I encode Sipser correctly? (it seemed too easy) André G. Isaak <agisaak@gm.invalid> - 2022-07-09 13:45 -0600
      Re: Did I encode Sipser correctly? (it seemed too easy) olcott <NoOne@NoWhere.com> - 2022-07-09 14:51 -0500
        Re: Did I encode Sipser correctly? (it seemed too easy) André G. Isaak <agisaak@gm.invalid> - 2022-07-09 14:03 -0600
          Re: Did I encode Sipser correctly? (it seemed too easy) olcott <NoOne@NoWhere.com> - 2022-07-09 15:44 -0500
            Re: Did I encode Sipser correctly? (it seemed too easy) André G. Isaak <agisaak@gm.invalid> - 2022-07-09 15:03 -0600
              Re: Did I encode Sipser correctly? (it seemed too easy) olcott <NoOne@NoWhere.com> - 2022-07-09 16:05 -0500
                Re: Did I encode Sipser correctly? (it seemed too easy) André G. Isaak <agisaak@gm.invalid> - 2022-07-09 15:12 -0600
                Re: Did I encode Sipser correctly? (it seemed too easy) olcott <NoOne@NoWhere.com> - 2022-07-09 16:20 -0500
                Re: Did I encode Sipser correctly? (it seemed too easy) André G. Isaak <agisaak@gm.invalid> - 2022-07-09 15:34 -0600
                Re: Did I encode Sipser correctly? (it seemed too easy) olcott <NoOne@NoWhere.com> - 2022-07-09 16:41 -0500
                Re: Did I encode Sipser correctly? (it seemed too easy) André G. Isaak <agisaak@gm.invalid> - 2022-07-09 15:51 -0600
                Re: Did I encode Sipser correctly? (it seemed too easy) olcott <NoOne@NoWhere.com> - 2022-07-09 17:05 -0500
                Re: Did I encode Sipser correctly? (it seemed too easy) André G. Isaak <agisaak@gm.invalid> - 2022-07-09 16:24 -0600
                Re: Did I encode Sipser correctly? (it seemed too easy) olcott <NoOne@NoWhere.com> - 2022-07-09 16:44 -0500
                Re: Did I encode Sipser correctly? (it seemed too easy) olcott <NoOne@NoWhere.com> - 2022-07-09 16:33 -0500
        Re: Did I encode Sipser correctly? (it seemed too easy) Richard Damon <Richard@Damon-Family.org> - 2022-07-09 16:11 -0400
          Re: Did I encode Sipser correctly? (it seemed too easy) André G. Isaak <agisaak@gm.invalid> - 2022-07-09 14:14 -0600
            Re: Did I encode Sipser correctly? (it seemed too easy) Richard Damon <Richard@Damon-Family.org> - 2022-07-09 16:26 -0400
              Re: Did I encode Sipser correctly? (it seemed too easy) Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2022-07-09 22:50 +0100
                Re: Did I encode Sipser correctly? (it seemed too easy) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2022-07-10 00:04 +0100
                Re: Did I encode Sipser correctly? (it seemed too easy) olcott <NoOne@NoWhere.com> - 2022-07-09 18:36 -0500
                Re: Did I encode Sipser correctly? (it seemed too easy) André G. Isaak <agisaak@gm.invalid> - 2022-07-09 17:49 -0600
                Re: Did I encode Sipser correctly? (it seemed too easy) olcott <NoOne@NoWhere.com> - 2022-07-09 19:08 -0500
                Re: Did I encode Sipser correctly? (it seemed too easy) André G. Isaak <agisaak@gm.invalid> - 2022-07-09 19:04 -0600
                Re: Did I encode Sipser correctly? (it seemed too easy) olcott <NoOne@NoWhere.com> - 2022-07-09 20:41 -0500
                Re: Did I encode Sipser correctly? (it seemed too easy) Richard Damon <Richard@Damon-Family.org> - 2022-07-09 21:56 -0400
                Re: Did I encode Sipser correctly? (it seemed too easy) André G. Isaak <agisaak@gm.invalid> - 2022-07-09 20:04 -0600
                Re: Did I encode Sipser correctly? (it seemed too easy) olcott <NoOne@NoWhere.com> - 2022-07-09 21:21 -0500
                Re: Did I encode Sipser correctly? (it seemed too easy) Richard Damon <Richard@Damon-Family.org> - 2022-07-09 22:50 -0400
                Re: Did I encode Sipser correctly? (it seemed too easy) "dklei...@gmail.com" <dkleinecke@gmail.com> - 2022-07-09 19:20 -0700
                Re: Did I encode Sipser correctly? (it seemed too easy) olcott <NoOne@NoWhere.com> - 2022-07-09 21:34 -0500
                Re: Did I encode Sipser correctly? (it seemed too easy) André G. Isaak <agisaak@gm.invalid> - 2022-07-09 20:46 -0600
                Re: Did I encode Sipser correctly? (it seemed too easy) olcott <NoOne@NoWhere.com> - 2022-07-09 22:48 -0500
                Re: Did I encode Sipser correctly? (it seemed too easy) Richard Damon <Richard@Damon-Family.org> - 2022-07-10 07:15 -0400
                Re: Did I encode Sipser correctly? (it seemed too easy) Richard Damon <Richard@Damon-Family.org> - 2022-07-09 23:00 -0400
                Re: Did I encode Sipser correctly? (it seemed too easy) Richard Damon <Richard@Damon-Family.org> - 2022-07-09 20:42 -0400
                Re: Did I encode Sipser correctly? (it seemed too easy) André G. Isaak <agisaak@gm.invalid> - 2022-07-09 18:57 -0600
                Re: Did I encode Sipser correctly? (it seemed too easy) Richard Damon <Richard@Damon-Family.org> - 2022-07-09 21:39 -0400
                Re: Did I encode Sipser correctly? (it seemed too easy) André G. Isaak <agisaak@gm.invalid> - 2022-07-09 20:15 -0600
                Re: Did I encode Sipser correctly? (it seemed too easy) olcott <NoOne@NoWhere.com> - 2022-07-09 21:23 -0500
              Re: Did I encode Sipser correctly? (it seemed too easy) André G. Isaak <agisaak@gm.invalid> - 2022-07-09 15:59 -0600
                Re: Did I encode Sipser correctly? (it seemed too easy) Richard Damon <Richard@Damon-Family.org> - 2022-07-09 18:37 -0400
                Re: Did I encode Sipser correctly? (it seemed too easy) André G. Isaak <agisaak@gm.invalid> - 2022-07-09 16:48 -0600
                Re: Did I encode Sipser correctly? (it seemed too easy) Richard Damon <Richard@Damon-Family.org> - 2022-07-09 19:11 -0400
            Re: Did I encode Sipser correctly? (it seemed too easy) olcott <NoOne@NoWhere.com> - 2022-07-09 15:51 -0500
              Re: Did I encode Sipser correctly? (it seemed too easy) Richard Damon <Richard@Damon-Family.org> - 2022-07-09 17:40 -0400
            Re: Did I encode Sipser correctly? (it seemed too easy) [wrong source code corrected] olcott <NoOne@NoWhere.com> - 2022-07-09 15:54 -0500
      Re: Did I encode Sipser correctly? (it seemed too easy) olcott <NoOne@NoWhere.com> - 2022-07-09 14:57 -0500
  Re: Did I encode Sipser correctly? (it seemed too easy) Mikko <mikko.levanto@iki.fi> - 2022-07-10 15:26 +0300
    Re: Did I encode Sipser correctly? (it seemed too easy) olcott <NoOne@NoWhere.com> - 2022-07-10 08:34 -0500
      Re: Did I encode Sipser correctly? (it seemed too easy) Richard Damon <Richard@Damon-Family.org> - 2022-07-10 17:30 -0400
      Re: Did I encode Sipser correctly? (it seemed too easy) Mikko <mikko.levanto@iki.fi> - 2022-07-12 16:09 +0300
        Re: Did I encode Sipser correctly? (it seemed too easy) olcott <NoOne@NoWhere.com> - 2022-07-12 08:13 -0500
          Re: Did I encode Sipser correctly? (it seemed too easy) Richard Damon <Richard@Damon-Family.org> - 2022-07-12 19:03 -0400
        Re: Did I encode Sipser correctly? (it seemed too easy) olcott <polcott2@gmail.com> - 2022-07-13 07:45 -0500
          Re: Did I encode Sipser correctly? (it seemed too easy) Mikko <mikko.levanto@iki.fi> - 2022-07-13 16:47 +0300
            Re: Did I encode Sipser correctly? (it seemed too easy) olcott <NoOne@NoWhere.com> - 2022-07-13 09:49 -0500
              Re: Did I encode Sipser correctly? (it seemed too easy) Richard Damon <Richard@Damon-Family.org> - 2022-07-13 18:47 -0400
          Re: Did I encode Sipser correctly? (it seemed too easy) Richard Damon <Richard@Damon-Family.org> - 2022-07-13 18:43 -0400
  Re: Did I encode Sipser correctly? (it seemed too easy) Mikko <mikko.levanto@iki.fi> - 2022-07-20 10:48 +0300
    Re: Did I encode Sipser correctly? (it seemed too easy) Richard Damon <Richard@Damon-Family.org> - 2022-07-20 07:16 -0400
      Re: Did I encode Sipser correctly? (it seemed too easy) Mikko <mikko.levanto@iki.fi> - 2022-07-20 17:33 +0300
        Re: Did I encode Sipser correctly? (it seemed too easy) Richard Damon <Richard@Damon-Family.org> - 2022-07-20 18:50 -0400

csiph-web