Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.lang.c++ > #86858
| From | Tim Rentsch <tr.17687@z991.linuxsc.com> |
|---|---|
| Newsgroups | comp.lang.c++ |
| Subject | Re: Simulating halt deciders refute the halting theorem |
| Date | 2022-10-10 09:31 -0700 |
| Organization | A noiseless patient Spider |
| Message-ID | <864jwbiqt2.fsf@linuxsc.com> (permalink) |
| References | <tht411$9s6g$1@dont-email.me> <thuib6$gidb$1@dont-email.me> <thv7k3$h9v6$14@dont-email.me> <20221009131628.275@kylheku.com> |
Kaz Kylheku <864-117-4973@kylheku.com> writes: > On 2022-10-09, olcott <polcott2@gmail.com> wrote: > >> The halting theorem prevents any serious funding of termination analysis >> research https://en.wikipedia.org/wiki/Termination_analysis > > Even if so, you're not making the best of use of the self-funding you > have; your research goes in circles. > > If you were funded, and they found out you just post volumes on > Usenet without going anywhere, it's likely the funding would be > swiftly cut off. > > It's not a probelm of money. The problem here is you, responding to this idiot instead of just ignoring him like all sensible people do. And cross-posting only makes it worse.
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