Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.lang.c++ > #86858
| Path | csiph.com!news.mixmin.net!eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail |
|---|---|
| From | Tim Rentsch <tr.17687@z991.linuxsc.com> |
| Newsgroups | comp.lang.c++ |
| Subject | Re: Simulating halt deciders refute the halting theorem |
| Date | Mon, 10 Oct 2022 09:31:05 -0700 |
| Organization | A noiseless patient Spider |
| Lines | 19 |
| 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> |
| MIME-Version | 1.0 |
| Content-Type | text/plain; charset=us-ascii |
| Injection-Info | reader01.eternal-september.org; posting-host="3c67835d7e1bd6fce16ecef79276b22a"; logging-data="900710"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+rCnzRT/oqbXgyMBwm6HC7R9Lax/Ijyck=" |
| User-Agent | Gnus/5.11 (Gnus v5.11) Emacs/22.4 (gnu/linux) |
| Cancel-Lock | sha1:FGi8m0E0xGyim572ncaXyDUf+gg= sha1:rG0Y3ekdvzhJsdpn5Qvihw693iE= |
| Xref | csiph.com comp.lang.c++:86858 |
Show key headers only | View raw
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