Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.lang.c++ > #80016
| 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 08:14 +0200 |
| Organization | A noiseless patient Spider |
| Message-ID | <s91usb$v0o$1@dont-email.me> (permalink) |
| References | (4 earlier) <5u6dnc49d9tscC79nZ2dnUU78WvNnZ2d@giganews.com> <s91o3b$e0p$2@dont-email.me> <lL2dnQQqP7v97Sn9nZ2dnUU7-VPNnZ2d@giganews.com> <s91rva$hei$1@dont-email.me> <0u-dneZ5P8tZ6Cn9nZ2dnUU7-a_NnZ2d@giganews.com> |
Cross-posted to 3 groups.
>>>>> 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. >>>> 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. > Kaz suggested that I study diagonalization and now I can easily refute > this much simpler proof. My refutation is on page 1 and Sipser's whole > proof is on page 2. So far the only critiques have been about punctuation. > https://www.researchgate.net/publication/351947980_Refutation_of_Halting_Problem_Diagonalization_Argument Are you stupid ? It's no matter what Kaz said. HERE IS THE WRONG PLACE !
Back to comp.lang.c++ | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll 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? 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
csiph-web