Groups | Search | Server Info | Login | Register

Groups > comp.theory > #139178

Re: is the ct-thesis cooked?

Subject Re: is the ct-thesis cooked?
Newsgroups comp.theory
References (23 earlier) <10kgk13$2ofeb$1@dont-email.me> <lkSaR.79353$68Za.42798@fx09.iad> <10kh2nm$2tq2h$2@dont-email.me> <tBVaR.3768$Al3.572@fx20.iad> <10khcnv$2nl2r$6@dont-email.me>
From Richard Damon <Richard@Damon-Family.org>
Message-ID <YNWaR.3772$Al3.563@fx20.iad> (permalink)
Organization Forte - www.forteinc.com
Date 2026-01-17 20:35 -0500

Show all headers | View raw

On 1/17/26 8:24 PM, dart200 wrote:
> On 1/17/26 4:14 PM, Richard Damon wrote:
>> On 1/17/26 5:33 PM, Tristan Wibberley wrote:
>>> On 17/01/2026 20:31, Richard Damon wrote:
>>>> If his RTMs can only be run with an enhanced UTM, then it isn't 
>>>> really a
>>>> new type of machine, and by necessity can't do more than a TM.
>>>
>>> yes, you've got it.
>>>
>>> It's also obvious that many people will consider it as a strategy to a
>>> solution and dart200's successful investigation will make it easier to
>>> show those people that it isn't. A fact which you haven't got.
>>>
>>>
>>
>> No, because if a "UTM" can run the representation, then, since a UTM 
>> is a TM, it shows that his RTM can't do anything that a TM couldn't do.
>>
>> The truth is that all his RTMs do is limit the input that the caller 
>> can give to the sub-computation, which means it limits what questions 
>> you can actually ask.
>>
>> This means that the use of the facility only REDUCES the capability of 
>> the machine, because it limits the quesstion that such a machine can 
>> be asked.
>>
>> In other words, it tries to solve the halting problem by making the 
>> halting problem not a valid question, but it fails a that, as the 
>> question is still valid.
>>
>>
> 
> unanswerable question do not increase your "power" in asking question...
> 
> it's pretty fucking insane that u'd think that tbh
> 
> đŸ€ĄđŸŒŽ
> 

Better to be able to ask a question and be able to be told you can't get 
an answer for it then to be prevented from even asking the question in 
the first place. After all, at least with the "impossible to answer" 
questions, we can still answer it for many of the possible cases. Better 
than not being able to ask about it at all, even for the simple cases 
that do have answers.

The Halting problem is about being able to ask about the behavior of 
running a given program. Even with context-aware programs. that would 
then need to ask about running a program in a given context.

IF you restrict the context we can ask about to just our own context, 
then you are just prohibiting asking the full question, thus your API is 
just broken.

Of course, if we give the halt decider both the program and the context 
it runs in, then the answer doesn't depend on the context the question 
is made from. and thus the halt decider shouldn't be "context-aware" of 
the context of the requestor.

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

Thread

Re: Proof that the halting problem itself is a category error Oleksiy Gapotchenko <alex.s.gap@gmail.com> - 2026-01-06 01:24 +0100
  Re: Proof that the halting problem itself is a category error olcott <polcott333@gmail.com> - 2026-01-05 18:39 -0600
  is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-05 23:47 -0800
    Re: is the ct-thesis cooked? olcott <polcott333@gmail.com> - 2026-01-06 19:26 -0600
      Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-06 19:03 -0800
        Re: is the ct-thesis cooked? olcott <polcott333@gmail.com> - 2026-01-06 22:33 -0600
          Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-07 00:56 -0800
            yes/no questions lacking a correct yes/no answer are incorrect questions olcott <polcott333@gmail.com> - 2026-01-07 05:50 -0600
          Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-01-12 07:12 -0500
        Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-01-12 07:06 -0500
          Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-12 14:09 -0800
            Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-01-12 22:16 -0500
              Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-12 20:21 -0800
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-01-13 07:09 -0500
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-13 12:33 -0800
                Re: is the ct-thesis cooked? Ben Bacarisse <ben@bsb.me.uk> - 2026-01-14 02:41 +0000
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-13 19:38 -0800
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-01-14 22:43 -0500
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-15 04:23 -0800
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-01-15 22:28 -0500
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-16 01:08 -0800
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-01-16 11:46 -0500
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-16 14:21 -0800
                The essence of all Computation generically defined olcott <polcott333@gmail.com> - 2026-01-16 16:58 -0600
                Re: The essence of all Computation generically defined Richard Damon <Richard@Damon-Family.org> - 2026-01-16 18:21 -0500
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-01-16 18:21 -0500
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-16 16:43 -0800
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-01-16 22:24 -0500
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-16 23:23 -0800
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-01-17 07:33 -0500
                Re: is the ct-thesis cooked? Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-01-17 18:22 +0000
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-01-17 15:31 -0500
                Re: is the ct-thesis cooked? Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-01-17 22:33 +0000
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-01-17 19:14 -0500
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-17 17:24 -0800
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-01-17 20:35 -0500
                Re: is the ct-thesis cooked? Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-01-18 04:44 +0000
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-17 22:37 -0800
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-01-18 06:45 -0500
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-18 10:24 -0800
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-01-18 15:55 -0500
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-18 13:38 -0800
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-01-18 19:28 -0500
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-18 21:11 -0800
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-01-20 00:29 -0500
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-19 23:55 -0800
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-01-20 07:59 -0500
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-20 18:30 -0800
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-01-23 20:36 -0500
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-24 00:03 -0800
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-01-24 07:17 -0500
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-24 08:45 -0800
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-01-24 12:26 -0500
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-24 10:33 -0800
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-01-24 14:52 -0500
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-24 12:56 -0800
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-01-24 17:25 -0500
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-24 14:31 -0800
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-01-24 19:52 -0500
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-24 18:10 -0800
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-01-25 13:20 -0500
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-25 13:05 -0800
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-01-25 16:14 -0500
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-25 13:28 -0800
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-01-26 15:50 -0500
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-26 21:48 -0800
                Re: is the ct-thesis cooked? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-01-27 13:59 -0800
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-27 18:31 -0800
                Re: is the ct-thesis cooked? Richard Damon <news.x.richarddamon@xoxy.net> - 2026-01-28 07:34 -0500
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-28 10:33 -0800
                Re: is the ct-thesis cooked? Richard Damon <news.x.richarddamon@xoxy.net> - 2026-02-01 07:33 -0500
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-02-02 10:11 -0800
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-02-02 18:44 -0500
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-02-02 23:53 -0800
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-02-03 07:20 -0500
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-02-03 11:33 -0800
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-02-03 21:33 -0500
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-02-04 07:30 -0800
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-02-04 21:29 -0500
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-02-04 18:41 -0800
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-02-05 07:13 -0500
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-02-05 10:05 -0800
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-02-05 19:40 -0500
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-02-05 18:47 -0800
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-26 01:59 -0800
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-01-26 11:17 -0500
                Re: is the ct-thesis cooked? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-01-24 13:42 -0800
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-24 14:20 -0800
                Re: is the ct-thesis cooked? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-01-25 13:04 -0800
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-25 13:09 -0800
                Re: is the ct-thesis cooked? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-01-25 13:10 -0800
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-25 13:11 -0800
                Re: is the ct-thesis cooked? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-01-28 12:43 -0800
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-28 13:16 -0800
                Re: is the ct-thesis cooked? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-01-28 13:26 -0800
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-28 13:44 -0800
                Re: is the ct-thesis cooked? Richard Damon <news.x.richarddamon@xoxy.net> - 2026-02-01 07:33 -0500
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-01-18 06:37 -0500
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-17 16:42 -0800
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-01-17 20:17 -0500
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-17 18:40 -0800
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-01-17 22:29 -0500
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-17 22:12 -0800
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-01-18 07:03 -0500
                Re: is the ct-thesis cooked? Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-01-18 15:08 +0000
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-01-18 12:55 -0500
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-18 10:44 -0800
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-01-18 15:56 -0500
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-18 23:09 -0800
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-01-20 00:29 -0500
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-19 22:46 -0800
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-01-20 07:59 -0500
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-20 17:36 -0800
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-01-23 20:52 -0500
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-24 14:29 -0800
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-01-24 19:52 -0500
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-24 19:30 -0800
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-01-25 13:20 -0500
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-25 13:08 -0800
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-01-25 17:24 -0500
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-25 20:01 -0800
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-01-26 11:21 -0500
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-26 11:43 -0800
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-17 19:14 -0800
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-01-17 22:28 -0500
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-17 22:05 -0800
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-01-18 07:05 -0500
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-18 10:15 -0800
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-01-18 15:56 -0500
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-18 13:50 -0800
                Re: is the ct-thesis cooked? Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-01-18 22:27 +0000
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-18 15:01 -0800
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-01-18 19:28 -0500
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-18 20:30 -0800
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-01-20 00:29 -0500
                Re: is the ct-thesis cooked? Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-01-18 22:28 +0000
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-01-18 19:28 -0500
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-18 20:51 -0800
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-01-20 00:29 -0500
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-19 22:18 -0800
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-01-20 07:59 -0500
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-20 17:55 -0800
                Re: is the ct-thesis cooked? Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-01-21 20:07 +0000
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-01-24 09:44 -0500
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-24 14:36 -0800
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-01-24 19:52 -0500
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-24 18:24 -0800
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-01-25 13:21 -0500
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-25 13:05 -0800
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-01-25 17:36 -0500
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-25 21:56 -0800
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-01-26 11:39 -0500
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-26 11:43 -0800
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-01-26 17:17 -0500
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-26 14:29 -0800
                Re: is the ct-thesis cooked? Dude <punditster@gmail.com> - 2026-01-27 13:31 -0800
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-28 01:12 -0800
                Re: is the ct-thesis cooked? Dude <punditster@gmail.com> - 2026-01-28 13:29 -0800
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-28 13:37 -0800
                Re: is the ct-thesis cooked? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-01-27 14:07 -0800
                Re: is the ct-thesis cooked? Richard Damon <news.x.richarddamon@xoxy.net> - 2026-01-28 07:23 -0500
                Re: is the ct-thesis cooked? Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-01-21 19:57 +0000
                Re: is the ct-thesis cooked? Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-01-18 22:21 +0000
                Re: is the ct-thesis cooked? Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-01-17 12:17 +0000
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-01-17 08:15 -0500
                Re: is the ct-thesis cooked? Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-01-17 18:27 +0000
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-01-17 15:31 -0500
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-17 09:47 -0800
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-01-17 15:31 -0500
                The essence of all Computation generically defined olcott <polcott333@gmail.com> - 2026-01-16 18:35 -0600
                Re: is the ct-thesis cooked? Ben Bacarisse <ben@bsb.me.uk> - 2026-01-17 01:28 +0000
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-17 10:52 -0800
                Re: is the ct-thesis cooked? Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-01-17 22:45 +0000
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-17 17:20 -0800
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-01-17 20:30 -0500
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-17 18:23 -0800
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-01-17 22:47 -0500
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-18 00:28 -0800
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-01-18 07:28 -0500
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-18 10:10 -0800
                Re: is the ct-thesis cooked? Richard Damon <Richard@Damon-Family.org> - 2026-01-18 15:56 -0500
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-18 14:55 -0800
                Re: is the ct-thesis cooked? Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-01-18 11:03 +0000
                Re: is the ct-thesis cooked? Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-01-18 10:59 +0000
                Re: is the ct-thesis cooked? Ben Bacarisse <ben@bsb.me.uk> - 2026-01-18 02:49 +0000
                Re: is the ct-thesis cooked? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-17 19:15 -0800
                Re: is the ct-thesis cooked? Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-01-18 11:12 +0000
                Re: is the ct-thesis cooked? Ben Bacarisse <ben@bsb.me.uk> - 2026-01-20 00:50 +0000
                Re: is the ct-thesis cooked? Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-01-21 20:10 +0000
                Re: is the ct-thesis cooked? Ben Bacarisse <ben@bsb.me.uk> - 2026-01-23 01:40 +0000
    Re: is the ct-thesis cooked? Mikko <mikko.levanto@iki.fi> - 2026-01-07 14:05 +0200
      is the ct-thesis cooked, really? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-07 12:20 -0800
        Re: is the ct-thesis cooked, really? Mikko <mikko.levanto@iki.fi> - 2026-01-08 12:11 +0200
          Re: is the ct-thesis cooked, really? dart200 <user7160@newsgrouper.org.invalid> - 2026-01-10 11:04 -0800
      Exactly what are deciders in the theory of computation? olcott <polcott333@gmail.com> - 2026-01-07 15:29 -0600
    Re: is the ct-thesis cooked? PLO olcott <polcott333@gmail.com> - 2026-01-24 17:06 -0600
      Re: is the ct-thesis cooked? PLO Richard Damon <Richard@Damon-Family.org> - 2026-01-24 19:52 -0500
        Re: is the ct-thesis cooked? PLO dart200 <user7160@newsgrouper.org.invalid> - 2026-01-24 18:05 -0800
          Re: is the ct-thesis cooked? PLO Richard Damon <Richard@Damon-Family.org> - 2026-01-25 13:23 -0500
            Re: is the ct-thesis cooked? PLO dart200 <user7160@newsgrouper.org.invalid> - 2026-01-25 13:04 -0800
              Re: is the ct-thesis cooked? PLO Richard Damon <Richard@Damon-Family.org> - 2026-01-25 17:40 -0500
                Re: is the ct-thesis cooked? PLO dart200 <user7160@newsgrouper.org.invalid> - 2026-01-25 22:50 -0800
                Re: is the ct-thesis cooked? PLO dart200 <user7160@newsgrouper.org.invalid> - 2026-01-26 01:35 -0800
                Re: is the ct-thesis cooked? PLO Richard Damon <Richard@Damon-Family.org> - 2026-01-26 11:43 -0500
                Re: is the ct-thesis cooked? PLO dart200 <user7160@newsgrouper.org.invalid> - 2026-01-26 11:45 -0800
                Re: is the ct-thesis cooked? PLO Richard Damon <Richard@Damon-Family.org> - 2026-01-26 17:28 -0500
                Re: is the ct-thesis cooked? PLO dart200 <user7160@newsgrouper.org.invalid> - 2026-01-27 00:00 -0800
        Re: is the ct-thesis cooked? PLO olcott <polcott333@gmail.com> - 2026-01-24 20:35 -0600
          Re: is the ct-thesis cooked? PLO dart200 <user7160@newsgrouper.org.invalid> - 2026-01-24 18:38 -0800
            Re: is the ct-thesis cooked? PLO olcott <polcott333@gmail.com> - 2026-01-24 20:53 -0600
              Re: is the ct-thesis cooked? PLO dart200 <user7160@newsgrouper.org.invalid> - 2026-01-24 19:12 -0800
                Re: is the ct-thesis cooked? PLO olcott <polcott333@gmail.com> - 2026-01-24 21:42 -0600
                Re: is the ct-thesis cooked? PLO dart200 <user7160@newsgrouper.org.invalid> - 2026-01-24 20:03 -0800
                Re: is the ct-thesis cooked? PLO olcott <polcott333@gmail.com> - 2026-01-24 22:06 -0600
                Re: is the ct-thesis cooked? PLO dart200 <user7160@newsgrouper.org.invalid> - 2026-01-24 21:45 -0800
  Re: Proof that the halting problem itself is a category error Mikko <mikko.levanto@iki.fi> - 2026-01-06 15:23 +0200
    Boiling Gödel's 1931 Incompleteness proof down to its barest essence olcott <polcott333@gmail.com> - 2026-01-06 08:02 -0600
      Re: Boiling Gödel's 1931 Incompleteness proof down to its barest essence Mikko <mikko.levanto@iki.fi> - 2026-01-07 14:10 +0200
        Re: Boiling Gödel's 1931 Incompleteness proof down to its barest essence olcott <polcott333@gmail.com> - 2026-01-07 07:06 -0600
          Re: Boiling Gödel's 1931 Incompleteness proof down to its barest essence Mikko <mikko.levanto@iki.fi> - 2026-01-08 12:21 +0200
            Re: Boiling Gödel's 1931 Incompleteness proof down to its barest essence olcott <polcott333@gmail.com> - 2026-01-08 08:18 -0600
              Re: Boiling Gödel's 1931 Incompleteness proof down to its barest essence Mikko <mikko.levanto@iki.fi> - 2026-01-10 11:25 +0200
                Re: Boiling Gödel's 1931 Incompleteness proof down to its barest essence olcott <polcott333@gmail.com> - 2026-01-10 10:19 -0600
                Re: Boiling Gödel's 1931 Incompleteness proof down to its barest essence Richard Damon <news.x.richarddamon@xoxy.net> - 2026-01-10 18:19 -0500
                Re: Boiling Gödel's 1931 Incompleteness proof down to its barest essence olcott <polcott333@gmail.com> - 2026-01-10 18:16 -0600
                Re: Boiling Gödel's 1931 Incompleteness proof down to its barest essence Richard Damon <news.x.richarddamon@xoxy.net> - 2026-01-10 19:35 -0500
                Re: Boiling Gödel's 1931 Incompleteness proof down to its barest essence olcott <polcott333@gmail.com> - 2026-01-10 19:59 -0600
                Re: Boiling Gödel's 1931 Incompleteness proof down to its barest essence Richard Damon <Richard@Damon-Family.org> - 2026-01-11 07:28 -0500
                Re: Boiling Gödel's 1931 Incompleteness proof down to its barest essence Mikko <mikko.levanto@iki.fi> - 2026-01-11 12:34 +0200

csiph-web