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>
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

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.