Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.theory > #138332
| Subject | Re: on what are you even crying about rick? |
|---|---|
| Newsgroups | comp.theory |
| References | (25 earlier) <10i5pj2$1q4bv$1@dont-email.me> <Yzx1R.802$e72b.483@fx44.iad> <10i7ebg$295ij$2@dont-email.me> <10ii0qk$v887$3@dont-email.me> <10iih3p$1kuco$1@dont-email.me> |
| From | Richard Damon <Richard@Damon-Family.org> |
| Message-ID | <Hla3R.72$mUza.5@fx09.ams1> (permalink) |
| Organization | Forte - www.forteinc.com |
| Date | 2025-12-25 07:45 -0500 |
On 12/25/25 12:12 AM, dart200 wrote:
> On 12/24/25 4:34 PM, joes wrote:
>> Am Sat, 20 Dec 2025 16:17:52 -0800 schrieb dart200:
>>> On 12/20/25 5:32 AM, Richard Damon wrote:
>>>> On 12/20/25 4:17 AM, dart200 wrote:
>>>>> On 12/19/25 2:01 PM, Richard Damon wrote:
>>
>>>>>> Nope, as "undecidable" isn't a property of an instance, but of a
>>>>>
>>>>> well it's a property of hypothetical instances
>>>>
>>>> Nope. You clearly don't understand what "undecidable" means, and that
>>>> yo0u refuse to learn it.
>>>
>>> und = () -> {
>>> if ( halts(und) ) loop_forever()
>>> }
>>>
>>> und() is a hypothetical instance of a machine that is provably
>>> undecidable (given that halts() is a classic halting decider)
>>
>> No, und() is concrete and decidable, given halts(). That one
>> is hypothetical.
>
> therefore und() is hypothetical, given that halts() is hypothetical
In otherwords, you admit you don't understand how proof by contradiction
works.
EVERY "halts" that you want to try to claim to meet the specification,
turns out it can not, because we can show an input it gets wrong.
>
> given the real enumeration of machines, und() is not a concrete example
> of halting machine that cannot be proven functionally equivalent to
> other machines are functionally equivalent.
No, we get an infinite number of unds showing that the infinite number
of potential halt deciders are not halt deciders.
Your problem is you keep on thinking that "und()" is a single specific
machine independent of what halts() is, but that is a category error.
>
>>
>>> we can compute this semantic property with a simple algo:
>>>
>>> 1) inject in /true/ for halts(und):
>>> () -> if (true) loop_forever
>>> this runs forever
>>>
>>> 2) inject in /false/ for halts(und):
>>> () -> if (false) loop_forever
>>> this halts
>>>
>>> 3) compare the injected prediction with the result of the computation.
>>> if the semantic results from (1) and (2) diverge from the injected
>>> prediction, the hypothetical machine is undecidable.
>>
>> ...for this decider.
>>
>
>
Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
on what even is the limit to decidability? dart200 <user7160@newsgrouper.org.invalid> - 2025-12-04 00:22 -0800
Re: on what even is the limit to decidability? Mikko <mikko.levanto@iki.fi> - 2025-12-04 10:49 +0200
Re: on what even is the limit to decidability? dart200 <user7160@newsgrouper.org.invalid> - 2025-12-04 01:10 -0800
Re: on what even is the limit to decidability? Mikko <mikko.levanto@iki.fi> - 2025-12-05 12:26 +0200
Re: on what even is the limit to decidability? Richard Damon <Richard@Damon-Family.org> - 2025-12-05 20:31 -0500
Re: on what even is the limit to decidability? dart200 <user7160@newsgrouper.org.invalid> - 2025-12-05 23:34 -0800
I am first to have fully refuted the Halting Problem olcott <polcott333@gmail.com> - 2025-12-06 06:16 -0600
Re: I am first to have fully refuted the Halting Problem dart200 <user7160@newsgrouper.org.invalid> - 2025-12-06 08:41 -0800
Re: I am first to have fully refuted the Halting Problem olcott <polcott333@gmail.com> - 2025-12-06 11:00 -0600
Re: I am first to have fully refuted the Halting Problem Mikko <mikko.levanto@iki.fi> - 2025-12-07 14:07 +0200
Re: I am first to have fully refuted the Halting Problem Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-12-08 01:26 +0000
Re: I am first to have fully refuted the Halting Problem olcott <polcott333@gmail.com> - 2025-12-07 21:17 -0600
Re: I am first to have fully refuted the Halting Problem Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-12-08 06:36 +0000
Re: I am first to have fully refuted the Halting Problem olcott <polcott333@gmail.com> - 2025-12-08 10:25 -0600
Re: I am first to have fully refuted the Halting Problem olcott <polcott333@gmail.com> - 2025-12-06 11:29 -0600
Re: I am first to have fully refuted the Halting Problem Mikko <mikko.levanto@iki.fi> - 2025-12-07 13:28 +0200
Re: on what even is the limit to decidability? Richard Damon <Richard@Damon-Family.org> - 2025-12-06 13:44 -0500
Re: on what even is the limit to decidability? dart200 <user7160@newsgrouper.org.invalid> - 2025-12-06 13:22 -0800
Re: on what even is the limit to decidability? dart200 <user7160@newsgrouper.org.invalid> - 2025-12-06 13:41 -0800
Re: on what even is the limit to decidability? Richard Damon <Richard@Damon-Family.org> - 2025-12-06 17:21 -0500
Re: on what even is the limit to decidability? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-12-06 16:57 -0800
Re: on what even is the limit to decidability? Richard Damon <Richard@Damon-Family.org> - 2025-12-06 22:07 -0500
Re: on what even is the limit to decidability? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-12-07 13:32 -0800
Re: on what even is the limit to decidability? Richard Damon <Richard@Damon-Family.org> - 2025-12-07 17:48 -0500
Re: on what even is the limit to decidability? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-12-09 12:22 -0800
Re: on what even is the limit to decidability? wij <wyniijj5@gmail.com> - 2025-12-10 05:59 +0800
Re: on what even is the limit to decidability? polcott <polcott333@gmail.com> - 2025-12-09 16:25 -0600
Re: on what even is the limit to decidability? polcott <polcott333@gmail.com> - 2025-12-09 16:24 -0600
Re: on what even is the limit to decidability? Richard Damon <Richard@Damon-Family.org> - 2025-12-09 21:58 -0500
Re: on what even is the limit to decidability? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-12-09 20:31 -0800
Re: on what even is the limit to decidability? dart200 <user7160@newsgrouper.org.invalid> - 2025-12-07 13:59 -0800
Re: on what even is the limit to decidability? Richard Damon <Richard@Damon-Family.org> - 2025-12-07 17:41 -0500
on mathematical ghosts dart200 <user7160@newsgrouper.org.invalid> - 2025-12-07 15:21 -0800
Re: on mathematical ghosts Richard Damon <Richard@Damon-Family.org> - 2025-12-07 21:42 -0500
Re: on mathematical ghosts dart200 <user7160@newsgrouper.org.invalid> - 2025-12-07 20:28 -0800
Re: on mathematical ghosts Richard Damon <Richard@Damon-Family.org> - 2025-12-08 07:31 -0500
Re: on mathematical ghosts dart200 <user7160@newsgrouper.org.invalid> - 2025-12-08 11:51 -0800
Re: on mathematical ghosts Richard Damon <Richard@Damon-Family.org> - 2025-12-08 19:13 -0500
Re: on mathematical ghosts dart200 <user7160@newsgrouper.org.invalid> - 2025-12-08 17:30 -0800
Re: on mathematical ghosts Richard Damon <Richard@Damon-Family.org> - 2025-12-08 21:24 -0500
Re: on mathematical ghosts dart200 <user7160@newsgrouper.org.invalid> - 2025-12-08 19:06 -0800
Re: on mathematical ghosts Richard Damon <Richard@Damon-Family.org> - 2025-12-08 22:19 -0500
Re: on mathematical ghosts dart200 <user7160@newsgrouper.org.invalid> - 2025-12-08 19:38 -0800
Re: on mathematical ghosts --- PLO polcott <polcott333@gmail.com> - 2025-12-08 22:00 -0600
Re: on mathematical ghosts --- PLO Richard Damon <Richard@Damon-Family.org> - 2025-12-08 23:20 -0500
Re: on mathematical ghosts --- PLO polcott <polcott333@gmail.com> - 2025-12-08 22:33 -0600
Re: on mathematical ghosts --- PLO Richard Damon <Richard@Damon-Family.org> - 2025-12-09 07:42 -0500
Re: on mathematical ghosts --- PLO polcott <polcott333@gmail.com> - 2025-12-09 09:53 -0600
Re: on mathematical ghosts --- PLO Richard Damon <Richard@Damon-Family.org> - 2025-12-09 23:02 -0500
Re: on mathematical ghosts --- PLO polcott <polcott333@gmail.com> - 2025-12-08 22:51 -0600
Re: on mathematical ghosts --- PLO Richard Damon <Richard@Damon-Family.org> - 2025-12-09 07:42 -0500
Re: on mathematical ghosts --- PLO polcott <polcott333@gmail.com> - 2025-12-09 09:39 -0600
Re: on mathematical ghosts --- PLO Richard Damon <Richard@Damon-Family.org> - 2025-12-09 23:02 -0500
Re: on mathematical ghosts --- PLO dart200 <user7160@newsgrouper.org.invalid> - 2025-12-08 20:54 -0800
Re: on mathematical ghosts --- PLO polcott <polcott333@gmail.com> - 2025-12-08 23:02 -0600
Re: on mathematical ghosts Richard Damon <Richard@Damon-Family.org> - 2025-12-08 23:12 -0500
Re: on mathematical ghosts dart200 <user7160@newsgrouper.org.invalid> - 2025-12-08 21:23 -0800
Re: on mathematical ghosts Richard Damon <Richard@Damon-Family.org> - 2025-12-09 07:42 -0500
Re: on mathematical ghosts dart200 <user7160@newsgrouper.org.invalid> - 2025-12-09 10:55 -0800
Re: on mathematical ghosts wij <wyniijj5@gmail.com> - 2025-12-10 05:56 +0800
Re: on mathematical ghosts Richard Damon <Richard@Damon-Family.org> - 2025-12-09 23:02 -0500
Re: on mathematical ghosts dart200 <user7160@newsgrouper.org.invalid> - 2025-12-11 11:35 -0800
Re: on mathematical ghosts polcott <polcott333@gmail.com> - 2025-12-11 14:45 -0600
Re: on mathematical ghosts dart200 <user7160@newsgrouper.org.invalid> - 2025-12-11 13:02 -0800
Re: on mathematical ghosts polcott <polcott333@gmail.com> - 2025-12-11 15:20 -0600
Re: on mathematical ghosts dart200 <user7160@newsgrouper.org.invalid> - 2025-12-12 21:22 -0800
Re: on mathematical ghosts polcott <polcott333@gmail.com> - 2025-12-13 07:15 -0600
Re: on mathematical ghosts dart200 <user7160@newsgrouper.org.invalid> - 2025-12-13 08:01 -0800
Re: on mathematical ghosts olcott <polcott333@gmail.com> - 2025-12-13 10:22 -0600
Re: on mathematical ghosts Mikko <mikko.levanto@iki.fi> - 2025-12-15 11:48 +0200
Re: on mathematical ghosts olcott <polcott333@gmail.com> - 2025-12-15 09:42 -0600
Re: on mathematical ghosts Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-12-15 15:00 +0000
Re: on mathematical ghosts olcott <polcott333@gmail.com> - 2025-12-15 09:56 -0600
Re: on mathematical ghosts Mikko <mikko.levanto@iki.fi> - 2025-12-15 11:44 +0200
Re: on mathematical ghosts olcott <polcott333@gmail.com> - 2025-12-15 08:39 -0600
Re: on mathematical ghosts Mikko <mikko.levanto@iki.fi> - 2025-12-16 12:07 +0200
The most definitive measure of the behavior of the input to H(P) olcott <polcott333@gmail.com> - 2025-12-16 11:30 -0600
Re: The most definitive measure of the behavior of the input to H(P) Mikko <mikko.levanto@iki.fi> - 2025-12-17 12:01 +0200
Re: The most definitive measure of the behavior of the input to H(P) olcott <polcott333@gmail.com> - 2025-12-17 22:08 -0600
Re: The most definitive measure of the behavior of the input to H(P) Richard Damon <Richard@Damon-Family.org> - 2025-12-17 23:29 -0500
Re: The most definitive measure of the behavior of the input to H(P) olcott <polcott333@gmail.com> - 2025-12-17 22:49 -0600
Re: The most definitive measure of the behavior of the input to H(P) Richard Damon <Richard@Damon-Family.org> - 2025-12-17 23:53 -0500
Re: The most definitive measure of the behavior of the input to H(P) olcott <polcott333@gmail.com> - 2025-12-18 12:39 -0600
Re: The most definitive measure of the behavior of the input to H(P) Richard Damon <Richard@Damon-Family.org> - 2025-12-18 19:53 -0500
Re: The most definitive measure of the behavior of the input to H(P) Richard Damon <Richard@Damon-Family.org> - 2025-12-18 00:00 -0500
Re: The most definitive measure of the behavior of the input to H(P) olcott <polcott333@gmail.com> - 2025-12-18 02:38 -0600
Re: The most definitive measure of the behavior of the input to H(P) Richard Damon <Richard@Damon-Family.org> - 2025-12-18 07:22 -0500
Re: The most definitive measure of the behavior of the input to H(P) Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-12-19 22:07 +0000
Re: The most definitive measure of the behavior of the input to H(P) Richard Damon <Richard@Damon-Family.org> - 2025-12-19 17:55 -0500
Re: The most definitive measure of the behavior of the input to H(P) Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-12-20 12:54 +0000
Re: The most definitive measure of the behavior of the input to H(P) Richard Damon <Richard@Damon-Family.org> - 2025-12-20 08:32 -0500
Re: The most definitive measure of the behavior of the input to H(P) polcott <polcott333@gmail.com> - 2025-12-20 07:00 -0600
Re: The most definitive measure of the behavior of the input to H(P) Richard Damon <Richard@Damon-Family.org> - 2025-12-20 08:32 -0500
Re: The most definitive measure of the behavior of the input to H(P) olcott <polcott333@gmail.com> - 2025-12-20 08:07 -0600
Re: The most definitive measure of the behavior of the input to H(P) Richard Damon <Richard@Damon-Family.org> - 2025-12-20 09:41 -0500
Re: The most definitive measure of the behavior of the input to H(P) olcott <polcott333@gmail.com> - 2025-12-20 08:51 -0600
Re: The most definitive measure of the behavior of the input to H(P) Richard Damon <Richard@Damon-Family.org> - 2025-12-20 13:56 -0500
Re: The most definitive measure of the behavior of the input to H(P) Mikko <mikko.levanto@iki.fi> - 2025-12-18 13:03 +0200
Re: The most definitive measure of the behavior of the input to H(P) olcott <polcott333@gmail.com> - 2025-12-18 07:06 -0600
Re: The most definitive measure of the behavior of the input to H(P) Richard Damon <Richard@Damon-Family.org> - 2025-12-18 19:53 -0500
Re: The most definitive measure of the behavior of the input to H(P) Mikko <mikko.levanto@iki.fi> - 2025-12-19 12:02 +0200
Re: The most definitive measure of the behavior of the input to H(P) olcott <polcott333@gmail.com> - 2025-12-19 08:44 -0600
Re: The most definitive measure of the behavior of the input to H(P) Mikko <mikko.levanto@iki.fi> - 2025-12-20 12:05 +0200
Re: The most definitive measure of the behavior of the input to H(P) olcott <polcott333@gmail.com> - 2025-12-20 05:42 -0600
Re: The most definitive measure of the behavior of the input to H(P) Mikko <mikko.levanto@iki.fi> - 2025-12-21 12:29 +0200
Re: on mathematical ghosts Richard Damon <Richard@Damon-Family.org> - 2025-12-12 10:02 -0500
Re: on mathematical ghosts dart200 <user7160@newsgrouper.org.invalid> - 2025-12-12 21:18 -0800
Re: on mathematical ghosts Richard Damon <Richard@Damon-Family.org> - 2025-12-13 09:26 -0500
Re: on mathematical ghosts dart200 <user7160@newsgrouper.org.invalid> - 2025-12-13 17:17 -0800
Re: on mathematical ghosts Richard Damon <Richard@Damon-Family.org> - 2025-12-13 20:50 -0500
Re: on mathematical ghosts dart200 <user7160@newsgrouper.org.invalid> - 2025-12-14 10:46 -0800
Re: on mathematical ghosts Richard Damon <Richard@Damon-Family.org> - 2025-12-14 15:22 -0500
Re: on mathematical ghosts dart200 <user7160@newsgrouper.org.invalid> - 2025-12-15 11:13 -0800
Re: on mathematical ghosts Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-12-14 21:07 +0000
Re: on just search the literature bruh dart200 <user7160@newsgrouper.org.invalid> - 2025-12-15 11:32 -0800
Re: on just search the literature bruh olcott <polcott333@gmail.com> - 2025-12-15 14:42 -0600
Re: on just search the literature bruh dart200 <user7160@newsgrouper.org.invalid> - 2025-12-15 22:40 -0800
Re: on just search the literature bruh Richard Damon <Richard@Damon-Family.org> - 2025-12-16 07:04 -0500
Re: on just search the literature bruh "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-12-16 12:05 -0800
Re: on just search the literature bruh Richard Damon <Richard@Damon-Family.org> - 2025-12-16 21:47 -0500
Re: on what are you even crying about rick? dart200 <user7160@newsgrouper.org.invalid> - 2025-12-16 13:27 -0800
Re: on what are you even crying about rick? Richard Damon <Richard@Damon-Family.org> - 2025-12-16 21:47 -0500
Re: on what are you even crying about rick? dart200 <user7160@newsgrouper.org.invalid> - 2025-12-16 21:41 -0800
Re: on what are you even crying about rick? Richard Damon <Richard@Damon-Family.org> - 2025-12-17 07:31 -0500
Re: on what are you even crying about rick? dart200 <user7160@newsgrouper.org.invalid> - 2025-12-17 13:07 -0800
Re: on what are you even crying about rick? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-12-17 13:14 -0800
Re: on what are you even crying about rick? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-12-17 13:24 -0800
Re: on what are you even crying about rick? dart200 <user7160@newsgrouper.org.invalid> - 2025-12-17 13:54 -0800
Re: on what are you even crying about rick? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-12-17 14:09 -0800
Re: on what are you even crying about rick? dart200 <user7160@newsgrouper.org.invalid> - 2025-12-17 17:05 -0800
Re: on what are you even crying about rick? Richard Damon <Richard@Damon-Family.org> - 2025-12-17 23:30 -0500
Re: on what are you even crying about rick? dart200 <user7160@newsgrouper.org.invalid> - 2025-12-17 20:50 -0800
Re: on what are you even crying about rick? Richard Damon <Richard@Damon-Family.org> - 2025-12-18 00:06 -0500
Re: on what are you even crying about rick? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-12-17 22:04 -0800
Re: on what are you even crying about rick? dart200 <user7160@newsgrouper.org.invalid> - 2025-12-17 22:14 -0800
Re: on what are you even crying about rick? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-12-17 22:17 -0800
Re: on what are you even crying about rick? dart200 <user7160@newsgrouper.org.invalid> - 2025-12-17 23:13 -0800
Re: on what are you even crying about rick? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-12-18 16:35 -0800
Re: on what are you even crying about rick? dart200 <user7160@newsgrouper.org.invalid> - 2025-12-18 16:39 -0800
Re: on what are you even crying about rick? polcott <polcott333@gmail.com> - 2025-12-18 18:45 -0600
Re: on what are you even crying about rick? dart200 <user7160@newsgrouper.org.invalid> - 2025-12-18 16:54 -0800
Re: on what are you even crying about rick? olcott <polcott333@gmail.com> - 2025-12-18 19:06 -0600
Re: on what are you even crying about rick? Richard Damon <Richard@Damon-Family.org> - 2025-12-18 21:13 -0500
Re: on what are you even crying about rick? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-12-18 16:46 -0800
Re: on what are you even crying about rick? dart200 <user7160@newsgrouper.org.invalid> - 2025-12-18 20:57 -0800
Re: on what are you even crying about rick? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-12-19 14:09 -0800
Re: on what are you even crying about rick? Richard Damon <Richard@Damon-Family.org> - 2025-12-19 18:07 -0500
Re: on what are you even crying about rick? dart200 <user7160@newsgrouper.org.invalid> - 2025-12-19 19:33 -0800
Re: on what are you even crying about rick? Dude <punditster@gmail.com> - 2025-12-19 20:14 -0800
Re: on what are you even crying about rick? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-12-22 17:31 -0800
Re: on what are you even crying about rick? olcott <polcott333@gmail.com> - 2025-12-19 22:15 -0600
Re: on what are you even crying about rick? Richard Damon <Richard@Damon-Family.org> - 2025-12-18 07:22 -0500
Re: on what are you even crying about rick? dart200 <user7160@newsgrouper.org.invalid> - 2025-12-18 21:11 -0800
Re: on what are you even crying about rick? Richard Damon <Richard@Damon-Family.org> - 2025-12-19 10:11 -0500
Re: on what are you even crying about rick? dart200 <user7160@newsgrouper.org.invalid> - 2025-12-19 11:10 -0800
Re: on what are you even crying about rick? Richard Damon <Richard@Damon-Family.org> - 2025-12-19 17:01 -0500
Re: on what are you even crying about rick? dart200 <user7160@newsgrouper.org.invalid> - 2025-12-20 01:17 -0800
Re: on what are you even crying about rick? joes <noreply@example.org> - 2025-12-20 11:21 +0000
Re: on what are you even crying about rick? dart200 <user7160@newsgrouper.org.invalid> - 2025-12-20 11:32 -0800
Re: on what are you even crying about rick? Richard Damon <Richard@Damon-Family.org> - 2025-12-20 14:50 -0500
Re: on what are you even crying about rick? dart200 <user7160@newsgrouper.org.invalid> - 2025-12-20 13:16 -0800
Re: on what are you even crying about rick? Richard Damon <Richard@Damon-Family.org> - 2025-12-20 17:02 -0500
Re: on what are you even crying about rick? olcott <polcott333@gmail.com> - 2025-12-20 16:41 -0600
Re: on what are you even crying about rick? Richard Damon <Richard@Damon-Family.org> - 2025-12-20 18:11 -0500
Re: on what are you even crying about rick? olcott <polcott333@gmail.com> - 2025-12-20 17:30 -0600
Re: on what are you even crying about rick? Richard Damon <Richard@Damon-Family.org> - 2025-12-20 08:32 -0500
Re: on what are you even crying about rick? dart200 <user7160@newsgrouper.org.invalid> - 2025-12-20 16:17 -0800
Re: on what are you even crying about rick? Richard Damon <Richard@Damon-Family.org> - 2025-12-20 19:42 -0500
Re: on what are you even crying about rick? dart200 <user7160@newsgrouper.org.invalid> - 2025-12-20 17:21 -0800
Re: on what are you even crying about rick? Richard Damon <Richard@Damon-Family.org> - 2025-12-20 21:57 -0500
Re: on what are you even crying about rick? dart200 <user7160@newsgrouper.org.invalid> - 2025-12-20 19:31 -0800
Re: on what are you even crying about rick? Richard Damon <Richard@Damon-Family.org> - 2025-12-20 22:58 -0500
Re: on what are you even crying about rick? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-12-20 21:23 -0800
Re: on what are you even crying about rick? dart200 <user7160@newsgrouper.org.invalid> - 2025-12-20 21:52 -0800
Re: on what are you even crying about rick? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-12-21 12:07 -0800
Re: on what are you even crying about rick? dart200 <user7160@newsgrouper.org.invalid> - 2025-12-21 13:14 -0800
Re: on what are you even crying about rick? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-12-21 17:32 -0800
Re: on what are you even crying about rick? dart200 <user7160@newsgrouper.org.invalid> - 2025-12-21 17:40 -0800
Re: on what are you even crying about rick? dart200 <user7160@newsgrouper.org.invalid> - 2025-12-21 17:56 -0800
Re: on what are you even crying about rick? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-12-21 18:17 -0800
Re: on what are you even crying about rick? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-12-21 18:22 -0800
Re: on what are you even crying about rick? dart200 <user7160@newsgrouper.org.invalid> - 2025-12-22 00:18 -0800
Re: on what are you even crying about rick? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-12-22 13:27 -0800
Re: on what are you even crying about rick? dart200 <user7160@newsgrouper.org.invalid> - 2025-12-21 18:39 -0800
Re: on what are you even crying about rick? Richard Damon <Richard@Damon-Family.org> - 2025-12-21 21:54 -0500
Re: on what are you even crying about rick? dart200 <user7160@newsgrouper.org.invalid> - 2025-12-21 21:30 -0800
Re: on what are you even crying about rick? Richard Damon <Richard@Damon-Family.org> - 2025-12-22 10:10 -0500
Re: on what are you even crying about rick? dart200 <user7160@newsgrouper.org.invalid> - 2025-12-22 10:24 -0800
Re: on what are you even crying about rick? Richard Damon <Richard@Damon-Family.org> - 2025-12-22 13:33 -0500
Re: on what are you even crying about rick? dart200 <user7160@newsgrouper.org.invalid> - 2025-12-22 10:39 -0800
Re: on what are you even crying about rick? Richard Damon <Richard@Damon-Family.org> - 2025-12-22 13:49 -0500
Re: on what are you even crying about rick? dart200 <user7160@newsgrouper.org.invalid> - 2025-12-22 10:57 -0800
Re: on what are you even crying about rick? Richard Damon <Richard@Damon-Family.org> - 2025-12-22 14:02 -0500
Re: on what are you even crying about rick? dart200 <user7160@newsgrouper.org.invalid> - 2025-12-22 11:11 -0800
Re: on what are you even crying about rick? Richard Damon <Richard@Damon-Family.org> - 2025-12-22 14:45 -0500
Re: on what are you even crying about rick? dart200 <user7160@newsgrouper.org.invalid> - 2025-12-22 12:06 -0800
Re: on what are you even crying about rick? Richard Damon <Richard@Damon-Family.org> - 2025-12-22 15:37 -0500
Re: on what are you even crying about rick? dart200 <user7160@newsgrouper.org.invalid> - 2025-12-22 12:58 -0800
Re: on what are you even crying about rick? Richard Damon <Richard@Damon-Family.org> - 2025-12-22 16:26 -0500
Re: on what are you even crying about rick? dart200 <user7160@newsgrouper.org.invalid> - 2025-12-22 19:12 -0800
Re: on what are you even crying about rick? Richard Damon <Richard@Damon-Family.org> - 2025-12-22 22:16 -0500
Re: on what are you even crying about rick? dart200 <user7160@newsgrouper.org.invalid> - 2025-12-22 19:24 -0800
Re: on what are you even crying about rick? Richard Damon <Richard@Damon-Family.org> - 2025-12-22 22:43 -0500
Re: on what are you even crying about rick? dart200 <user7160@newsgrouper.org.invalid> - 2025-12-22 21:22 -0800
Re: on what are you even crying about rick? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-12-20 21:22 -0800
Re: on what are you even crying about rick? joes <noreply@example.org> - 2025-12-25 00:34 +0000
Re: on what are you even crying about rick? dart200 <user7160@newsgrouper.org.invalid> - 2025-12-24 21:12 -0800
Re: on what are you even crying about rick? dart200 <user7160@newsgrouper.org.invalid> - 2025-12-24 22:02 -0800
Re: on what are you even crying about rick? Richard Damon <Richard@Damon-Family.org> - 2025-12-25 07:45 -0500
Re: on what are you even crying about rick? Richard Damon <Richard@Damon-Family.org> - 2025-12-25 07:45 -0500
Re: on what are you even crying about rick? dart200 <user7160@newsgrouper.org.invalid> - 2025-12-17 22:12 -0800
Re: on what are you even crying about rick? joes <noreply@example.org> - 2025-12-18 12:33 +0000
Re: on what are you even crying about rick? olcott <polcott333@gmail.com> - 2025-12-18 07:03 -0600
Re: on what are you even crying about rick? Richard Damon <Richard@Damon-Family.org> - 2025-12-18 19:53 -0500
Re: on what are you even crying about rick? dart200 <user7160@newsgrouper.org.invalid> - 2025-12-18 16:16 -0800
Re: on what are you even crying about rick? olcott <polcott333@gmail.com> - 2025-12-18 18:19 -0600
Re: on what are you even crying about rick? dart200 <user7160@newsgrouper.org.invalid> - 2025-12-18 21:12 -0800
Re: on what are you even crying about rick? joes <noreply@example.org> - 2025-12-24 22:56 +0000
Re: on what are you even crying about rick? dart200 <user7160@newsgrouper.org.invalid> - 2025-12-24 15:48 -0800
Re: on what are you even crying about rick? Richard Damon <Richard@Damon-Family.org> - 2025-12-24 21:22 -0500
Re: on what are you even crying about rick? Richard Damon <Richard@Damon-Family.org> - 2025-12-17 23:30 -0500
Re: on just search the literature bruh olcott <polcott333@gmail.com> - 2025-12-16 11:00 -0600
Re: on just search the literature bruh Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-12-16 18:15 +0000
DD simulated by HHH specifies non-halting olcott <polcott333@gmail.com> - 2025-12-16 18:33 -0600
Re: DD simulated by HHH specifies non-halting Richard Damon <Richard@Damon-Family.org> - 2025-12-16 21:47 -0500
Re: DD simulated by HHH specifies non-halting Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-12-17 10:45 +0000
Re: DD simulated by HHH specifies non-halting olcott <polcott333@gmail.com> - 2025-12-17 07:48 -0600
Re: on just search the literature bruh Richard Damon <Richard@Damon-Family.org> - 2025-12-16 21:47 -0500
Re: on just search the literature bruh Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-12-15 23:16 +0000
Re: on just search the literature bruh polcott <polcott333@gmail.com> - 2025-12-15 17:23 -0600
Re: on just search the literature bruh Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-12-16 08:39 +0000
The most definitive measure of the behavior of the input to H(P) olcott <polcott333@gmail.com> - 2025-12-16 11:21 -0600
Re: The most definitive measure of the behavior of the input to H(P) Richard Damon <Richard@Damon-Family.org> - 2025-12-16 21:47 -0500
Re: on just search the literature bruh dart200 <user7160@newsgrouper.org.invalid> - 2025-12-15 22:47 -0800
Re: on just search the literature bruh Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-12-16 08:40 +0000
Re: on just search the literature bruh olcott <polcott333@gmail.com> - 2025-12-16 11:03 -0600
Re: on just search the literature bruh Richard Damon <Richard@Damon-Family.org> - 2025-12-16 21:47 -0500
Re: on mathematical ghosts Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-12-13 14:43 +0000
Re: on mathematical ghosts Richard Damon <Richard@Damon-Family.org> - 2025-12-13 13:41 -0500
Re: on what even is the limit to decidability? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-12-06 18:43 -0800
Re: on what even is the limit to decidability? Ben Bacarisse <ben@bsb.me.uk> - 2025-12-08 01:46 +0000
Re: on what even is the limit to decidability? dart200 <user7160@newsgrouper.org.invalid> - 2025-12-07 20:37 -0800
Re: on what even is the limit to decidability? Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-12-08 09:48 +0000
Re: on what even is the limit to decidability? dart200 <user7160@newsgrouper.org.invalid> - 2025-12-08 11:23 -0800
Re: on what even is the limit to decidability? Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-12-09 22:18 +0000
Re: on what even is the limit to decidability? dart200 <user7160@newsgrouper.org.invalid> - 2025-12-09 14:48 -0800
Re: on what even is the limit to decidability? polcott <polcott333@gmail.com> - 2025-12-09 16:54 -0600
Re: on what even is the limit to decidability? Richard Damon <Richard@Damon-Family.org> - 2025-12-08 07:35 -0500
Re: on what even is the limit to decidability? dart200 <user7160@newsgrouper.org.invalid> - 2025-12-08 13:02 -0800
Re: on what even is the limit to decidability? dart200 <user7160@newsgrouper.org.invalid> - 2025-12-08 13:03 -0800
Re: on what even is the limit to decidability? Richard Damon <Richard@Damon-Family.org> - 2025-12-08 18:49 -0500
Re: on what even is the limit to decidability? dart200 <user7160@newsgrouper.org.invalid> - 2025-12-08 17:52 -0800
Re: on what even is the limit to decidability? Richard Damon <Richard@Damon-Family.org> - 2025-12-08 21:24 -0500
csiph-web