Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.lang.c++ > #86844
| From | Muttley@dastardlyhq.com |
|---|---|
| Newsgroups | comp.theory, comp.lang.c, comp.lang.c++ |
| Subject | Re: Simulating halt deciders refute the halting theorem |
| Date | 2022-10-09 09:23 +0000 |
| Organization | Aioe.org NNTP Server |
| Message-ID | <thu3tn$i15$1@gioia.aioe.org> (permalink) |
| References | <tht411$9s6g$1@dont-email.me> |
Cross-posted to 3 groups.
On Sat, 8 Oct 2022 19:18:40 -0500 olcott <polcott2@gmail.com> wrote: >Once one accepts the notion of a simulating halt decider that continues >to correctly simulate its input until it correctly determines that the Oh, its you again. Haven't you found another esoteric hobby horse to bore everyone with by now?
Back to comp.lang.c++ | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
Simulating halt deciders refute the halting theorem olcott <polcott2@gmail.com> - 2022-10-08 19:18 -0500
Re: Simulating halt deciders refute the halting theorem Muttley@dastardlyhq.com - 2022-10-09 09:23 +0000
Re: Simulating halt deciders refute the halting theorem Bonita Montero <Bonita.Montero@gmail.com> - 2022-10-09 15:29 +0200
Re: Simulating halt deciders refute the halting theorem olcott <polcott2@gmail.com> - 2022-10-09 14:32 -0500
Re: Simulating halt deciders refute the halting theorem Kaz Kylheku <864-117-4973@kylheku.com> - 2022-10-09 20:43 +0000
Re: Simulating halt deciders refute the halting theorem Tim Rentsch <tr.17687@z991.linuxsc.com> - 2022-10-10 09:31 -0700
Re: Simulating halt deciders refute the halting theorem olcott <polcott2@gmail.com> - 2022-10-10 12:05 -0500
csiph-web