Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.theory > #137967
| Subject | Re: on what are you even crying about rick? |
|---|---|
| Newsgroups | comp.theory, alt.buddha.short.fat.guy |
| References | (25 earlier) <10i2mqa$u4o8$1@dont-email.me> <2Xd1R.1607$i%aa.738@fx12.iad> <10i47ul$1cst5$1@dont-email.me> <PWj1R.96975$Pf33.65132@fx18.iad> <10i5pj2$1q4bv$1@dont-email.me> |
| From | Richard Damon <Richard@Damon-Family.org> |
| Message-ID | <Yzx1R.802$e72b.483@fx44.iad> (permalink) |
| Organization | Forte - www.forteinc.com |
| Date | 2025-12-20 08:32 -0500 |
Cross-posted to 2 groups.
On 12/20/25 4:17 AM, dart200 wrote: > On 12/19/25 2:01 PM, Richard Damon wrote: >> On 12/19/25 2:10 PM, dart200 wrote: >>> On 12/19/25 7:11 AM, Richard Damon wrote: >>>> On 12/19/25 12:11 AM, dart200 wrote: >>>>> On 12/18/25 4:22 AM, Richard Damon wrote: >>>>>> On 12/18/25 1:14 AM, dart200 wrote: >>>>>>> On 12/17/25 10:04 PM, Chris M. Thomasson wrote: >>>>>>>> On 12/17/2025 9:06 PM, Richard Damon wrote: >>>>>>>> [...] >>>>>>>>> While no halt deciders exist, the "inteface that they define" >>>>>>>>> does. >>>>>>>> >>>>>>>> For a given program, the creator can create a halting decider >>>>>>>> for its logic. Does this path halt or not, well, we know, we >>>>>>>> made the damn thing. But, there is no one universal decider... >>>>>>>> >>>>>>>> [...] >>>>>>> >>>>>>> how do we know that if there is no algo to compute that??? >>>>>>> >>>>>> >>>>>> Because we created a proof of it. >>>>>> >>>>>> If you don't beleive in the truth of logic, you aren't going to be >>>>>> able to get very far. >>>>>> >>>>>> The key point is that with logic, we can sometimes find >>>>>> "inductive" paths that let us look into the infinite that we can't >>>>>> evaluate all of individually, >>>>> >>>>> we're not doing any analysis that transcends computing >>>> >>>> Then you aren't doing any analysis. Computing is a purely mechanical >>>> operation, and thus isn't "analysis" in form. >>> >>> this is unbecoming semantic quibbling >> >> No, it is just being ACCURATE, and pointing out a fundamental error in >> your reasoning. > > this is doubling down on unbecoming semantic quibbling. for someone > who's had a career longer than i've been alive ... 🤡🌎 In other words, you are just saying it is ok to lie. THAT isn't quibbling, that is just a fact proven by your statements. You should respect those with far greater knowledge than you, rather than thinking they are unimportant. > >> >>> >>>> >>>>> >>>>> we're just intuitively creating directed graph models >>>>> representative of the computational flow, which we then use >>>>> internally to reckon about computations and create the discussions >>>>> we're having >>>>> >>>> >>>> Which isn't "Computing". >>>> >>>> The problem is that your "model" doesn't match how the theory works. >>>> >>>> The only "Graph" you can draw is of the state machine, which is >>>> dependent on the input on how you traverse it. >>> >>> 1) each branch in the machines graph selects between computable sets >>> of input, >> >> So, your "Node" are just computable modules. >> >> Note, this means that Nodes are not "unique", as you can duplicate a >> computable module to create a copy of it. >> >> Also, there is not a unique encoding for a module. An encoding will >> specify a unique set of equivalent modules, but not any one in >> particular, since they are duplicatable. > > bruh u disagree with the one-to-one bijection between TMs and ℕ? for any > given machine there are *possibly* infinite /equivalent/ machines (tho > certain machines involving quines may not have equivalents) ... but > machines themselves are unique No, only with the computableness of that bijection. The problem with quines is that while they can produce A copy of one of their source codes, you can make many other programs that produce that identical source code, and thus, the code they produce is NOT a unique representation of them as a program. The sub-class of programs called quines is NOT a Turing Complete system by themselves, and thus is a less than interesting category. > >> >>> >>> 2) or u can just require "inputs" to be baked into the initial part >>> of the machine-description, in which case sets of machines would map >>> to various results of the machine with input that ur trying to analyze >> >>> >>> claiming that halitng problem to be fundamental undecidable is >>> claiming that there is some machine at some point, that takes no >>> input, that is yet still undecidable >> >> 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. > >> problem, but by further logic from the undecability of the problem, we >> get that there does exist machines whose behavior is unknowable. >> >> If you try to limit the problem to just one machine, then it is ALWAYS >> decidable, as either Accept(x) or Reject(x) will be right (were >> Accept(x) accepts all inputs, and Reject(x) rejects all inputs), we >> just won't know which one was right. >> >> For any decider, we CAN create an input that it will not correctly >> decider, as the proof shows, and thus for ANY possible decider there >> EXIST an input it will not be correct for, and thus, we can say that >> there is NO decider that is correct for ALL inputs. >> > > i mean if partial deciders exist, which i believe u agree they do... > then don't the programs they cannot decide on also exist??? because if > they don't, then they aren't actually partial deciders. Sure partial deciders exist. And we can find programs they will fail to decide on. > > furthermore ... what form does those kinds of programs actually look like? WHy do they need a generic form? > > or is this another dumb case of u can't actually tell me what machine > the decider can't decide on cause then ur whole house of cards falls > apart again? sheesh 😒😒😒 And that is your problem, you can't understand that there are things you can not know. For example, given a Halt Decider built on just using a UTM, and if it halt, accept, ANY non-halting program, like a simple loop, will be a machie that decider can't decide on. > >> >>> >>>> >>>> Or, you create a list (not a graph) of the execution history of the >>>> machine running. Such a list, of course, might be infinite in length >>>> if the machine doesn't halt, and doesn't leave a lot to "discuss". >>>> >>>> And when one machine uses another, you don't graph over to the other >>>> as a sub-graph like a "call" instruction in a higher level language, >>>> but by making a copy of that machine, relabeling the states to keep >>>> them unique in the machine, and embedding it. >>> >>> one can also just embed the sub-function description into the main >>> function directly without the simulation infrastructure. >> >> So? All this shows is that a decider can't detect all copies of its > > quines allow for a machines (and therefore deciders) that are wholly > unique in their output (*any* change to the machine changes it's output > on at least one input in a way that no other machine can match) But Quines are not a Turing Complete class of Programs. There are alternative programs that generate the same output as a given Quine, so they are not unique PROGRAMS. There are may examples of successful Halt Deciding on less than Turing Complete systems, so you need to show that your idea is at least as interesting and useful as some of those. > > i went over that in another post u didn't respond to Sometime you are just being to wordy and I don't have the time. > >> equivalence class within an input. Thus, can't use detection of such a >> "self-reference" (which is a misuse of the term) as part of its >> algorithm. >>> >>>> >>>> Thus, pieces of machines can't know if there section of graph >>>> represents a given graph, as that sort of identity doesn't exist as >>>> something computable. >>>> >>> >> >
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