Re: Proving the: Simulating termination analyzer Principle

From	Tim Rentsch <tr.17687@z991.linuxsc.com>
Newsgroups	comp.lang.c
Subject	Re: Proving the: Simulating termination analyzer Principle
Date	2025-04-06 03:25 -0700
Organization	A noiseless patient Spider
Message-ID	<86tt71fuxh.fsf@linuxsc.com> (permalink)
References	(1 earlier) <vss91c$3b1no$1@dont-email.me> <vssabb$3aqnp$2@dont-email.me> <vssavl$3b2j0$3@dont-email.me> <20250405153728.395@kylheku.com> <vsse5t$3gbj1$1@dont-email.me>

Show all headers | View raw

Richard Heathfield <rjh@cpax.org.uk> writes:

> On 05/04/2025 23:42, Kaz Kylheku wrote:
>
>> On 2025-04-05, Richard Heathfield <rjh@cpax.org.uk> wrote:
>>
>>> On 05/04/2025 23:20, olcott wrote:
>>>
>>>> ...
>>>
>>> The difference between us is that I know it and you don't.
>>
>> Olcott resides in a fortress he built out of bricks that were
>> specially ordered from Dunning and Kruger's website.
>> You're not getting through.
>
> Well, no.  On the other hand, the discussion has in places driven
> me to the literature and has thus in its own way been
> educational.  For example, I was surprised to discover that
> although Turing's 1936 paper does deal with the Halting Problem,
> he doesn't actually use that term, which didn't surface until
> 1952.  I also stumbled on a 1972 paper on incomputability by Tony
> Hoare and Donald Allison - well worth the read, and I was amused
> by its somewhat prescient opening paragraph: "[...] programmers
> have been known to attempt solutions to problems which are
> probably unsolvable;  the existence of such problems should be of
> interest to all programmers."  Clearly, 53 years ago, they already
> had Olcott nailed.

I agree these discoveries are interesting, but the subject still
isn't one that is suitable for comp.lang.c.  A good way to avoid
these long pointless discussions is not to respond to postings
that are not suitable to comp.lang.c, except to point out that
they are not suitable to comp.lang.c.  And for any given poster,
don't respond to unsuitable postings more often than once a month.

Back to comp.lang.c | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

Proving the: Simulating termination analyzer Principle olcott <polcott333@gmail.com> - 2025-04-05 15:52 -0500
  Re: Proving the: Simulating termination analyzer Principle dbush <dbush.mobile@gmail.com> - 2025-04-05 17:15 -0400
    Re: Proving the: Simulating termination analyzer Principle olcott <polcott333@gmail.com> - 2025-04-05 16:29 -0500
      Re: Proving the: Simulating termination analyzer Principle dbush <dbush.mobile@gmail.com> - 2025-04-05 17:31 -0400
        Re: Proving the: Simulating termination analyzer Principle Richard Heathfield <rjh@cpax.org.uk> - 2025-04-05 23:18 +0100
          Re: Proving the: Simulating termination analyzer Principle dbush <dbush.mobile@gmail.com> - 2025-04-05 18:27 -0400
            Re: Proving the: Simulating termination analyzer Principle olcott <polcott333@gmail.com> - 2025-04-05 19:30 -0500
              Re: Proving the: Simulating termination analyzer Principle dbush <dbush.mobile@gmail.com> - 2025-04-05 20:34 -0400
                Re: Proving the: Simulating termination analyzer Principle olcott <polcott333@gmail.com> - 2025-04-05 19:43 -0500
                Re: Proving the: Simulating termination analyzer Principle Richard Heathfield <rjh@cpax.org.uk> - 2025-04-06 02:21 +0100
                Re: Proving the: Simulating termination analyzer Principle olcott <polcott333@gmail.com> - 2025-04-05 22:30 -0500
                Re: Proving the: Simulating termination analyzer Principle dbush <dbush.mobile@gmail.com> - 2025-04-05 21:22 -0400
              Re: Proving the: Simulating termination analyzer Principle Richard Heathfield <rjh@cpax.org.uk> - 2025-04-06 01:52 +0100
                Re: Proving the: Simulating termination analyzer Principle olcott <polcott333@gmail.com> - 2025-04-05 20:22 -0500
                Re: Proving the: Simulating termination analyzer Principle Richard Heathfield <rjh@cpax.org.uk> - 2025-04-06 02:37 +0100
                Re: Proving the: Simulating termination analyzer Principle olcott <polcott333@gmail.com> - 2025-04-05 20:42 -0500
          Re: Proving the: Simulating termination analyzer Principle olcott <polcott333@gmail.com> - 2025-04-05 18:18 -0500
            Re: Proving the: Simulating termination analyzer Principle dbush <dbush.mobile@gmail.com> - 2025-04-05 19:20 -0400
              Re: Proving the: Simulating termination analyzer Principle olcott <polcott333@gmail.com> - 2025-04-05 19:36 -0500
                Re: Proving the: Simulating termination analyzer Principle Richard Heathfield <rjh@cpax.org.uk> - 2025-04-06 02:03 +0100
                Re: Proving the: Simulating termination analyzer Principle olcott <polcott333@gmail.com> - 2025-04-05 22:34 -0500
                Re: Proving the: Simulating termination analyzer Principle dbush <dbush.mobile@gmail.com> - 2025-04-05 21:19 -0400
                Re: Proving the: Simulating termination analyzer Principle olcott <polcott333@gmail.com> - 2025-04-05 20:49 -0500
            Re: Proving the: Simulating termination analyzer Principle Richard Heathfield <rjh@cpax.org.uk> - 2025-04-06 00:45 +0100
            Re: Proving the: Simulating termination analyzer Principle James Kuyper <jameskuyper@alumni.caltech.edu> - 2025-04-05 20:54 -0400
              Re: Proving the: Simulating termination analyzer Principle olcott <polcott333@gmail.com> - 2025-04-05 20:09 -0500
                Re: Proving the: Simulating termination analyzer Principle Richard Heathfield <rjh@cpax.org.uk> - 2025-04-06 02:31 +0100
      Re: Proving the: Simulating termination analyzer Principle "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-04-05 14:32 -0700
  Re: Proving the: Simulating termination analyzer Principle Richard Heathfield <rjh@cpax.org.uk> - 2025-04-05 22:58 +0100
    Re: Proving the: Simulating termination analyzer Principle olcott <polcott333@gmail.com> - 2025-04-05 17:20 -0500
      Re: Proving the: Simulating termination analyzer Principle Richard Heathfield <rjh@cpax.org.uk> - 2025-04-05 23:31 +0100
        Re: Proving the: Simulating termination analyzer Principle Kaz Kylheku <643-408-1753@kylheku.com> - 2025-04-05 22:42 +0000
          Re: Proving the: Simulating termination analyzer Principle Richard Heathfield <rjh@cpax.org.uk> - 2025-04-06 00:25 +0100
            Re: Proving the: Simulating termination analyzer Principle Tim Rentsch <tr.17687@z991.linuxsc.com> - 2025-04-06 03:25 -0700
              Re: Proving the: Simulating termination analyzer Principle Richard Heathfield <rjh@cpax.org.uk> - 2025-04-06 11:34 +0100
              Re: Proving the: Simulating termination analyzer Principle olcott <polcott333@gmail.com> - 2025-04-06 10:37 -0500
                Re: Proving the: Simulating termination analyzer Principle Tim Rentsch <tr.17687@z991.linuxsc.com> - 2025-04-06 19:37 -0700
                Re: Proving the: Simulating termination analyzer Principle olcott <polcott333@gmail.com> - 2025-04-06 23:23 -0500
                Re: Proving the: Simulating termination analyzer Principle Tim Rentsch <tr.17687@z991.linuxsc.com> - 2025-04-07 05:46 -0700
                Re: Proving the: Simulating termination analyzer Principle Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2025-04-07 14:04 -0700
                Re: Proving the: Simulating termination analyzer Principle olcott <polcott333@gmail.com> - 2025-04-07 16:54 -0500
                Re: Proving the: Simulating termination analyzer Principle Tim Rentsch <tr.17687@z991.linuxsc.com> - 2025-04-08 10:52 -0700
                Re: Proving the: Simulating termination analyzer Principle olcott <polcott333@gmail.com> - 2025-04-08 22:04 -0500
                Re: Proving the: Simulating termination analyzer Principle olcott <polcott333@gmail.com> - 2025-04-07 16:41 -0500
                Re: Proving the: Simulating termination analyzer Principle olcott <polcott333@gmail.com> - 2025-04-08 21:22 -0500
          Re: Proving the: Simulating termination analyzer Principle olcott <polcott333@gmail.com> - 2025-04-05 19:07 -0500
        Re: Proving the: Simulating termination analyzer Principle olcott <polcott333@gmail.com> - 2025-04-05 19:35 -0500
          Re: Proving the: Simulating termination analyzer Principle Richard Heathfield <rjh@cpax.org.uk> - 2025-04-06 01:59 +0100
            Re: Proving the: Simulating termination analyzer Principle olcott <polcott333@gmail.com> - 2025-04-05 22:26 -0500
              Re: Proving the: Simulating termination analyzer Principle "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-04-08 23:00 -0700
                Re: Proving the: Simulating termination analyzer Principle olcott <polcott333@gmail.com> - 2025-04-09 12:18 -0500
                Re: Proving the: Simulating termination analyzer Principle "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-04-09 16:39 -0700
                Re: Proving the: Simulating termination analyzer Principle olcott <polcott333@gmail.com> - 2025-04-09 21:02 -0500
                Re: Proving the: Simulating termination analyzer Principle "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-04-09 21:04 -0700
                Re: Proving the: Simulating termination analyzer Principle "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-04-09 21:10 -0700
                Re: Proving the: Simulating termination analyzer Principle olcott <polcott333@gmail.com> - 2025-04-10 17:53 -0500
                Re: Proving the: Simulating termination analyzer Principle "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-04-10 20:00 -0700
                Re: Proving the: Simulating termination analyzer Principle olcott <polcott333@gmail.com> - 2025-04-11 09:42 -0500
                Re: Proving the: Simulating termination analyzer Principle "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-04-11 13:00 -0700
                Re: Proving the: Simulating termination analyzer Principle Richard Heathfield <rjh@cpax.org.uk> - 2025-04-11 21:57 +0100
                Re: Proving the: Simulating termination analyzer Principle olcott <polcott333@gmail.com> - 2025-04-13 07:08 -0500
                Re: Proving the: Simulating termination analyzer Principle olcott <polcott333@gmail.com> - 2025-04-13 07:03 -0500
                Re: Proving the: Simulating termination analyzer Principle "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-04-13 12:38 -0700
                Re: Proving the: Simulating termination analyzer Principle olcott <polcott333@gmail.com> - 2025-04-13 14:56 -0500
                Re: Proving the: Simulating termination analyzer Principle "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-04-13 14:50 -0700
                Re: Proving the: Simulating termination analyzer Principle olcott <polcott333@gmail.com> - 2025-04-13 18:26 -0500

csiph-web