Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.theory > #34307

Re: Would D ever stop if simulating halt decider H never stopped simulating it?

From Bonita Montero <Bonita.Montero@gmail.com>
Newsgroups comp.theory, comp.lang.c++, comp.lang.c
Subject Re: Would D ever stop if simulating halt decider H never stopped simulating it?
Date 2021-05-31 07:24 +0200
Organization A noiseless patient Spider
Message-ID <s91rva$hei$1@dont-email.me> (permalink)
References (2 earlier) <s90nha$gt1$1@redfloyd.dont-email.me> <20210530121731.691@kylheku.com> <5u6dnc49d9tscC79nZ2dnUU78WvNnZ2d@giganews.com> <s91o3b$e0p$2@dont-email.me> <lL2dnQQqP7v97Sn9nZ2dnUU7-VPNnZ2d@giganews.com>

Cross-posted to 3 groups.

Show all headers | View raw

>>> By suggesting that they kill-file then unnecessary chatter is reduced.
>>> This seems to be the final draft of the diagonalization argument's 
>>> error. I am very very happy that you suggested that I look into that. 
>>> I was able to completely abolish the contradiction.
>>> https://www.researchgate.net/publication/351947980_Refutation_of_Halting_Problem_Diagonalization_Argument 

>> Your stop-problem-issues are interesting no one here.
>> They're generic to any language, so they're off-topic here.

> Kaz was my best reviewer.

Then Kaz made the same mistake like you.

Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

Would D ever stop if simulating halt decider H never stopped simulating it? olcott <NoOne@NoWhere.com> - 2021-05-29 18:32 -0500
  Re: Would D ever stop if simulating halt decider H never stopped simulating it? Bonita Montero <Bonita.Montero@gmail.com> - 2021-05-30 05:15 +0200
    Re: Would D ever stop if simulating halt decider H never stopped simulating it? red floyd <no.spam.here@its.invalid> - 2021-05-30 12:03 -0700
      Re: Would D ever stop if simulating halt decider H never stopped simulating it? olcott <NoOne@NoWhere.com> - 2021-05-30 14:56 -0500
        Re: Would D ever stop if simulating halt decider H never stopped simulating it? Bonita Montero <Bonita.Montero@gmail.com> - 2021-05-31 06:18 +0200
          Re: Would D ever stop if simulating halt decider H never stopped simulating it? olcott <NoOne@NoWhere.com> - 2021-05-31 00:12 -0500
            Re: Would D ever stop if simulating halt decider H never stopped simulating it? Bonita Montero <Bonita.Montero@gmail.com> - 2021-05-31 07:24 +0200
              Re: Would D ever stop if simulating halt decider H never stopped simulating it? olcott <NoOne@NoWhere.com> - 2021-05-31 00:35 -0500
                Re: Would D ever stop if simulating halt decider H never stopped simulating it? Bonita Montero <Bonita.Montero@gmail.com> - 2021-05-31 08:14 +0200
                Re: Would D ever stop if simulating halt decider H never stopped simulating it? olcott <NoOne@NoWhere.com> - 2021-05-31 01:34 -0500
                Re: Would D ever stop if simulating halt decider H never stopped simulating it? Bonita Montero <Bonita.Montero@gmail.com> - 2021-05-31 09:33 +0200
                Re: Would D ever stop if simulating halt decider H never stopped simulating it? Real Troll <real.troll@trolls.com> - 2021-05-31 18:00 +0100
  Re: Would D ever stop if simulating halt decider H never stopped simulating it? Guillaume <message@bottle.org> - 2021-05-31 17:00 +0200
    Re: Would D ever stop if simulating halt decider H never stopped simulating it? olcott <NoOne@NoWhere.com> - 2021-05-31 10:12 -0500
  Re: Would D ever stop if simulating halt decider H never stopped simulating it? Skybuck Flying <skybuck2000@hotmail.com> - 2021-06-13 16:15 +0200
    Re: Would P ever stop if simulating halt decider H never stopped simulating it?(gist of my proof) olcott <NoOne@NoWhere.com> - 2021-06-13 09:50 -0500
    Re: Would D ever stop if simulating halt decider H never stopped simulating it? Richard Damon <Richard@Damon-Family.org> - 2021-06-13 17:09 -0400

csiph-web