Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.theory > #136273
| From | Kaz Kylheku <643-408-1753@kylheku.com> |
|---|---|
| Newsgroups | comp.theory |
| Subject | Re: halting problem counter example H/D pair is the Liar Paradox |
| Date | 2025-11-22 18:05 +0000 |
| Organization | A noiseless patient Spider |
| Message-ID | <20251122095644.388@kylheku.com> (permalink) |
| References | (24 earlier) <10fsd3b$f5ku$1@dont-email.me> <20251122084031.223@kylheku.com> <10fsr0u$l7aq$1@dont-email.me> <20251122093606.59@kylheku.com> <10fst0i$m3qq$1@dont-email.me> |
On 2025-11-22, olcott <polcott333@gmail.com> wrote:
> On 11/22/2025 11:44 AM, Kaz Kylheku wrote:
>> On 2025-11-22, olcott <polcott333@gmail.com> wrote:
>>> On 11/22/2025 10:45 AM, Kaz Kylheku wrote:
>>>> On 2025-11-22, olcott <polcott333@gmail.com> wrote:
>>>>> On 11/22/2025 12:08 AM, Kaz Kylheku wrote:
>>>>>> On 2025-11-22, olcott <NoOne@NoWhere.com> wrote:
>>>>>>> With the halting problem counter example input
>>>>>>> where input D does the opposite of whatever
>>>>>>> decider H reports this specific H/D is exactly
>>>>>>> isomorphic to the Liar Paradox.
>>>>>>
>>>>>> No it isn't. The Liar Paradox has an indeterminate
>>>>>> truth value; the H/D pair does not contain any
>>>>>> proposition with an indeterminate truth value.
>>>>>>
>>>>>
>>>>> With the halting problem counter example input
>>>>> where input D does the opposite of whatever decider
>>>>> H reports this specific H/D pair is exactly
>>>>> isomorphic to the Liar Paradox.
>>>>>
>>>>> When the behavior of D depends on the return
>>>>> value of H and D does the opposite of whatever
>>>>> H returns the H/D pair itself is a yes/no question
>>>>> that lacks a correct yes/no answer.
>>>>
>>>> Umm, no; there has to be a self-negation in order to have a Liar
>>>> Paradox. For instance "This sentence has four words" contains a
>>>> contradiction: the sentence's "behavior" of having a word count of five
>>>> contradicts an assertion that is found in the same sentence. Yet there
>>>> is no paradox: the sentence readily identifies as having a false value.
>>>>
>>>>> Every yes/no question that lacks a correct yes/no answer
>>>>> is isomorphic to this question:
>>>>
>>>> The correct answer is 1 in the H/D pair in which H returns 0.
>>>> It is not lacking. Just like the correct answer is "five words"
>>>> in "This sentence has four words".
>>>
>>> Neither return value is correct because D does
>>
>> No, since 0 is incorrect, 1 is correct.
>> D() terminates.
>>
>>> the opposite of whatever value is returned just
>>> like "This sentence is not true" is true if it
>>
>> No, it is a bit like 'This sentence has four words".
>> The claim made by the sentence is incorrect;
>> the correct claim is five.
>>
>>> is not true and not true if it is true, thus
>>> it is neither true nor false therefore not a
>>> proposition.
>>
>> No such thng is going on in the H(D) case. H(D) returns false. D() then
>> terminates.
>>
>> It is we, the outside observer, who remark that H(D)'s return value
>> doesn't match the D behavior.
>>
>> But we are not part of the test case.
>>
>>>>> Is this sentence true or false: "This sentence is not true" ?
>>>>> What correct Boolean value should H return to D?
>>>>
>>>> The correct value is 1.
>>>>
>>>
>>> int D()
>>> {
>>> int Halt_Status = H(D);
>>
>> Here we can replace H(D) by 0 without changing D because
>> we know that term has that value. This is a valid mathematical
>> substitution.
>>
>>> if (Halt_Status)
>>> HERE: goto HERE;
>>> return Halt_Status;
>>> }
>>>
>>> You know that you are lying about this. Does that
>>> give you a cheap thrill?
>>
>> You yourself know that D() returns at that UTM(D) returns 1.
>>
>
> You know that "this sentence is not true" is true
> if it is not true and not true if it is true,
Yes.
> likewise H(D) is wrong no matter what it returns.
H(D) returns 0, and that is wrong, but 1 is right, because we can
observe that D halts.
Just like "Ths sentence has four words" is wrong because we can observe
that sentence has five words.
An observer is required to close the logical evaluation loop, which
breaks the self-reference.
> This is the simplest way to prove that the halting
> problem has always only been incorrect.
H(D) does not try to adjust its return value based on what D
does in response to its return value.
You can imagine a mathematician adjusting the definition of H in
response to what D does. But that mathematician is not part of H; he or
she is an outside evaluator. Furthermore, dedesigning H creates a
different D, making it a different decideer/input pair.
In the Liar Paradox, we do not have to imagine that the sentence is
being redesigned. The Liar Paradox sentence is always the same; the
observer/evaluator becomes perplexed by trying to assign it a value.
The observer of H(D) doesn't have anything to be perplexed about;
all values are settled.
Your philosophical view on this is completely wrong; you believe that
even when an observer is necessary in order to identify a contradiction
that exists over fixed, stable values, it is still self-referentially
unstable.
--
TXR Programming Language: http://nongnu.org/txr
Cygnal: Cygwin Native Application Library: http://kylheku.com/cygnal
Mastodon: @Kazinator@mstdn.ca
Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-12 08:45 -0600
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-12 11:57 -0600
Re: Rejecting expressions of formal language having pathological self-reference Alan Mackenzie <acm@muc.de> - 2025-11-12 18:12 +0000
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-12 12:31 -0600
Re: Rejecting expressions of formal language having pathological self-reference Alan Mackenzie <acm@muc.de> - 2025-11-12 18:46 +0000
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-12 13:11 -0600
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-12 13:33 -0600
Re: Rejecting expressions of formal language having pathological self-reference Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-12 20:17 +0000
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-12 14:45 -0600
Re: Rejecting expressions of formal language having pathological self-reference Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-13 02:25 +0000
D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-12 20:34 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-13 02:42 +0000
Re: D simulated by H cannot possibly reach its own simulated final halt state Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2025-11-12 19:49 -0800
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-12 22:36 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state David Brown <david.brown@hesbynett.no> - 2025-11-13 08:54 +0100
Re: D simulated by H cannot possibly reach its own simulated final halt state "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-13 00:21 -0800
How to handle pathological cases (was Re: ...) Janis Papanagnou <janis_papanagnou+ng@hotmail.com> - 2025-11-13 11:18 +0100
Re: How to handle pathological cases (was Re: ...) Richard Harnden <richard.nospam@gmail.invalid> - 2025-11-13 12:14 +0000
Re: How to handle pathological cases (was Re: ...) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-13 07:06 -0800
Re: How to handle pathological cases (was Re: ...) olcott <polcott333@gmail.com> - 2025-11-13 09:28 -0600
Re: How to handle pathological cases (was Re: ...) olcott <polcott333@gmail.com> - 2025-11-13 09:15 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-13 09:22 -0600
Any article that contains the string "olcott" is junk (Was: D simulated by H cannot possibly reach its own simulated final halt state) gazelle@shell.xmission.com (Kenny McCormack) - 2025-11-13 12:36 +0000
Re: Any article that contains the string "olcott" is junk (Was: D simulated by H cannot possibly reach its own simulated final halt state) Janis Papanagnou <janis_papanagnou+ng@hotmail.com> - 2025-11-13 13:49 +0100
Re: Any article that contains the string "olcott" is junk (Was: D simulated by H cannot possibly reach its own simulated final halt state) gazelle@shell.xmission.com (Kenny McCormack) - 2025-11-13 12:55 +0000
Re: Any article that contains the string "olcott" is junk (Was: D simulated by H cannot possibly reach its own simulated final halt state) olcott <polcott333@gmail.com> - 2025-11-13 09:26 -0600
Re: Any article that contains the string "olcott" is junk (Was: D simulated by H cannot possibly reach its own simulated final halt state) olcott <polcott333@gmail.com> - 2025-11-13 09:24 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-12 22:53 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-19 04:42 +0000
Re: D simulated by H cannot possibly reach its own simulated final halt state Richard Damon <Richard@Damon-Family.org> - 2025-12-14 20:59 -0500
Re: Rejecting expressions of formal language having pathological self-reference Alan Mackenzie <acm@muc.de> - 2025-11-12 20:49 +0000
Re: Rejecting expressions of formal language having pathological self-reference Mikko <mikko.levanto@iki.fi> - 2025-11-13 11:18 +0200
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-13 10:06 -0600
Re: Rejecting expressions of formal language having pathological self-reference Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-13 19:04 +0000
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-13 15:18 -0600
Re: Rejecting expressions of formal language having pathological self-reference Mikko <mikko.levanto@iki.fi> - 2025-11-14 10:53 +0200
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-14 08:33 -0600
Re: Rejecting expressions of formal language having pathological self-reference Alan Mackenzie <acm@muc.de> - 2025-11-14 14:56 +0000
Libelous statements that meet the burden of proof of reckless disregard of the truth olcott <polcott333@gmail.com> - 2025-11-14 09:33 -0600
Re: Statements that are true, with full regard for the truth Alan Mackenzie <acm@muc.de> - 2025-11-14 15:52 +0000
Libelous statements that meet the burden of proof of reckless disregard of the truth olcott <polcott333@gmail.com> - 2025-11-14 10:03 -0600
Re: Statements that are true, with full regard for the truth dart200 <user7160@newsgrouper.org.invalid> - 2025-11-14 09:05 -0800
Re: Statements that are true, with full regard for the truth Alan Mackenzie <acm@muc.de> - 2025-11-14 17:52 +0000
Re: Statements that are true, with full regard for the truth olcott <polcott333@gmail.com> - 2025-11-14 12:16 -0600
Re: Statements that are true, with full regard for the truth dart200 <user7160@newsgrouper.org.invalid> - 2025-11-14 12:59 -0800
Re: Rejecting expressions of formal language having pathological self-reference "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-14 11:45 -0800
Re: Rejecting expressions of formal language having pathological self-reference Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-14 20:09 +0000
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-14 14:30 -0600
Re: Rejecting expressions of formal language having pathological self-reference Alan Mackenzie <acm@muc.de> - 2025-11-14 20:43 +0000
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-14 14:58 -0600
Re: Rejecting expressions of formal language having pathological self-reference Alan Mackenzie <acm@muc.de> - 2025-11-15 11:59 +0000
Re: Rejecting expressions of formal language having pathological self-reference Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-15 13:31 +0000
Re: Rejecting expressions of formal language having pathological self-reference Alan Mackenzie <acm@muc.de> - 2025-11-16 08:49 +0000
"true on the basis of meaning" AKA Analytic(Olcott) olcott <polcott333@gmail.com> - 2025-11-16 10:01 -0600
Re: "true on the basis of meaning" AKA Analytic(Olcott) Alan Mackenzie <acm@muc.de> - 2025-11-16 22:20 +0000
Re: "true on the basis of meaning" AKA Analytic(Olcott) olcott <polcott333@gmail.com> - 2025-11-16 20:08 -0600
Re: "true on the basis of meaning" AKA Analytic(Olcott) Alan Mackenzie <acm@muc.de> - 2025-11-17 13:21 +0000
Re: "true on the basis of meaning" AKA Analytic(Olcott) olcott <polcott333@gmail.com> - 2025-11-17 07:46 -0600
Re: "true on the basis of meaning" AKA Analytic(Olcott) Alan Mackenzie <acm@muc.de> - 2025-11-17 17:00 +0000
Re: "true on the basis of meaning" AKA Analytic(Olcott) olcott <polcott333@gmail.com> - 2025-11-17 11:04 -0600
Re: "true on the basis of meaning" AKA Analytic(Olcott) Alan Mackenzie <acm@muc.de> - 2025-11-17 17:29 +0000
Re: "true on the basis of meaning" AKA Analytic(Olcott) olcott <polcott333@gmail.com> - 2025-11-17 11:36 -0600
Re: "true on the basis of meaning" AKA Analytic(Olcott) Alan Mackenzie <acm@muc.de> - 2025-11-17 21:11 +0000
Re: "true on the basis of meaning" AKA Analytic(Olcott) olcott <polcott333@gmail.com> - 2025-11-17 17:23 -0600
Re: "true on the basis of meaning" AKA Analytic(Olcott) Alan Mackenzie <acm@muc.de> - 2025-11-17 23:38 +0000
Re: "true on the basis of meaning" AKA Analytic(Olcott) olcott <polcott333@gmail.com> - 2025-11-17 17:45 -0600
Re: "true on the basis of meaning" AKA Analytic(Olcott) Alan Mackenzie <acm@muc.de> - 2025-11-18 00:01 +0000
Re: "true on the basis of meaning" AKA Analytic(Olcott) olcott <polcott333@gmail.com> - 2025-11-17 18:34 -0600
Re: "true on the basis of meaning" AKA Analytic(Olcott) Alan Mackenzie <acm@muc.de> - 2025-11-18 13:45 +0000
Re: "true on the basis of meaning" AKA Analytic(Olcott) olcott <polcott333@gmail.com> - 2025-11-18 09:15 -0600
Re: "true on the basis of meaning" AKA Analytic(Olcott) Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-18 02:28 +0000
Re: "true on the basis of meaning" AKA Analytic(Olcott) olcott <polcott333@gmail.com> - 2025-11-17 21:51 -0600
Re: "true on the basis of meaning" AKA Analytic(Olcott) Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-18 13:16 +0000
Re: "true on the basis of meaning" AKA Analytic(Olcott) Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-18 02:23 +0000
eric is not a crank dart200 <user7160@newsgrouper.org.invalid> - 2025-11-17 11:41 -0800
Re: eric is not a crank olcott <polcott333@gmail.com> - 2025-11-17 13:44 -0600
Re: eric is not a crank Alan Mackenzie <acm@muc.de> - 2025-11-17 20:34 +0000
Re: eric is not a crank olcott <polcott333@gmail.com> - 2025-11-17 14:45 -0600
Re: eric is not a crank dart200 <user7160@newsgrouper.org.invalid> - 2025-11-17 13:24 -0800
Re: eric is not a crank dart200 <user7160@newsgrouper.org.invalid> - 2025-11-17 13:30 -0800
Re: eric is not a crank olcott <polcott333@gmail.com> - 2025-11-17 16:20 -0600
Re: eric is not a crank dart200 <user7160@newsgrouper.org.invalid> - 2025-11-17 15:03 -0800
Re: eric is not a crank olcott <polcott333@gmail.com> - 2025-11-17 17:35 -0600
polcott agrees with the halting problem dart200 <user7160@newsgrouper.org.invalid> - 2025-11-17 16:06 -0800
Re: polcott agrees with the halting problem olcott <polcott333@gmail.com> - 2025-11-17 18:31 -0600
Re: polcott agrees with the halting problem dbush <dbush.mobile@gmail.com> - 2025-11-17 19:43 -0500
Re: polcott agrees with the halting problem dart200 <user7160@newsgrouper.org.invalid> - 2025-11-17 18:46 -0800
Re: polcott agrees with the halting problem Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-18 03:07 +0000
Re: polcott agrees with the halting problem dart200 <user7160@newsgrouper.org.invalid> - 2025-11-17 19:10 -0800
Re: polcott agrees with the halting problem "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-17 19:36 -0800
Re: polcott agrees with the halting problem dart200 <user7160@newsgrouper.org.invalid> - 2025-11-17 21:18 -0800
Re: polcott agrees with the halting problem "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-18 15:10 -0800
Re: polcott agrees with the halting problem dart200 <user7160@newsgrouper.org.invalid> - 2025-11-18 17:40 -0800
Re: polcott agrees with the halting problem olcott <polcott333@gmail.com> - 2025-11-18 19:46 -0600
Re: polcott agrees with the halting problem Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-19 17:17 +0000
help i'm stuck in a liar's paradox dart200 <user7160@newsgrouper.org.invalid> - 2025-11-19 10:43 -0800
Re: help i'm stuck in a liar's paradox Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-19 18:48 +0000
Re: help i'm stuck in a liar's paradox dart200 <user7160@newsgrouper.org.invalid> - 2025-11-19 11:19 -0800
Re: help i'm stuck in a liar's paradox Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-19 19:47 +0000
Re: help i'm stuck in a liar's paradox --- TXR and AWK olcott <polcott333@gmail.com> - 2025-11-19 14:49 -0600
Re: help i'm stuck in a liar's paradox dart200 <user7160@newsgrouper.org.invalid> - 2025-11-19 21:01 -0800
Re: help i'm stuck in a liar's paradox olcott <polcott333@gmail.com> - 2025-11-19 14:18 -0600
Re: polcott agrees with the halting problem "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-19 13:03 -0800
Re: polcott agrees with the halting problem Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-18 03:45 +0000
polcott agrees the halting problem is wrong olcott <polcott333@gmail.com> - 2025-11-17 22:07 -0600
Re: polcott agrees with the halting problem Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-19 17:41 +0000
polcott agrees the halting problem is incorrect olcott <polcott333@gmail.com> - 2025-11-19 12:37 -0600
Re: polcott agrees the halting problem is incorrect Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-19 20:55 +0000
Re: polcott agrees the halting problem is incorrect olcott <polcott333@gmail.com> - 2025-11-19 15:05 -0600
Re: polcott agrees the halting problem is incorrect Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-19 21:41 +0000
Re: polcott agrees the halting problem is incorrect olcott <polcott333@gmail.com> - 2025-11-19 21:12 -0600
Re: polcott agrees the halting problem is incorrect Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-20 04:42 +0000
Re: polcott agrees the halting problem is incorrect olcott <polcott333@gmail.com> - 2025-11-19 22:57 -0600
Re: polcott agrees the halting problem is incorrect "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-20 13:22 -0800
Re: polcott agrees the halting problem is incorrect Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-20 22:10 +0000
Re: polcott agrees the halting problem is incorrect "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-20 14:56 -0800
polcott agrees the Kaz is a damned liar --- DD simulated by HHH olcott <polcott333@gmail.com> - 2025-11-20 17:24 -0600
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-20 15:27 -0800
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-21 02:42 +0000
polcott agrees the Kaz is a damned liar --- DD simulated by HHH olcott <polcott333@gmail.com> - 2025-11-20 20:50 -0600
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-20 19:10 -0800
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-21 04:12 +0000
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-21 04:13 +0000
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-20 20:23 -0800
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH olcott <polcott333@gmail.com> - 2025-11-20 22:41 -0600
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-21 05:04 +0000
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH olcott <polcott333@gmail.com> - 2025-11-21 09:19 -0600
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-21 17:29 +0000
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH olcott <polcott333@gmail.com> - 2025-11-21 12:15 -0600
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-21 18:22 +0000
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-21 19:18 +0000
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH olcott <polcott333@gmail.com> - 2025-11-21 13:33 -0600
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-21 22:05 +0000
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH olcott <NoOne@NoWhere.com> - 2025-11-21 23:14 -0600
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH Richard Heathfield <rjh@cpax.org.uk> - 2025-11-22 05:39 +0000
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH olcott <polcott333@gmail.com> - 2025-11-22 07:05 -0600
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-22 07:00 +0000
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH olcott <polcott333@gmail.com> - 2025-11-22 07:26 -0600
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-22 19:29 +0000
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH olcott <polcott333@gmail.com> - 2025-11-22 13:44 -0600
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-22 20:07 +0000
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH olcott <polcott333@gmail.com> - 2025-11-22 14:13 -0600
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-23 04:09 +0000
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-23 04:07 +0000
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-23 04:20 +0000
Glossary of names in my termination analyzer system olcott <polcott333@gmail.com> - 2025-11-22 22:50 -0600
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-21 22:12 +0000
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH olcott <polcott333@gmail.com> - 2025-11-21 21:56 -0600
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-22 02:54 +0000
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH olcott <polcott333@gmail.com> - 2025-11-21 23:06 -0600
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-22 18:07 +0000
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-22 18:07 +0000
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-21 13:42 -0800
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-22 18:10 +0000
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-22 19:36 +0000
polcott agrees the halting problem is incorrect --- is libel against him olcott <polcott333@gmail.com> - 2025-11-20 20:00 -0600
polcott agrees that the halting problem is incorrect in this way olcott <polcott333@gmail.com> - 2025-11-17 21:47 -0600
Re: polcott agrees with the halting problem Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2025-11-18 23:47 +0000
Re: polcott agrees with the halting problem Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-19 00:13 +0000
Re: polcott agrees with the halting problem Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2025-11-19 00:57 +0000
polcott has shwn that the halting problem is incorrect olcott <polcott333@gmail.com> - 2025-11-18 18:17 -0600
Liars try to get away with DD simulated by HHH halts olcott <polcott333@gmail.com> - 2025-11-18 18:24 -0600
Re: Liars try to get away with DD simulated by HHH halts Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-19 01:06 +0000
Re: Liars try to get away with DD simulated by HHH halts Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-19 01:07 +0000
Re: Liars try to get away with DD simulated by HHH halts olcott <polcott333@gmail.com> - 2025-11-18 19:41 -0600
Re: Liars try to get away with DD simulated by HHH halts Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-19 18:20 +0000
Re: Liars try to get away with DD simulated by HHH halts olcott <polcott333@gmail.com> - 2025-11-19 12:49 -0600
Re: Liars try to get away with DD simulated by HHH halts Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-19 19:18 +0000
Re: Liars try to get away with DD simulated by HHH halts "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-19 12:40 -0800
Re: Liars try to get away with DD simulated by HHH halts "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-19 12:44 -0800
Re: Liars try to get away with DD simulated by HHH halts Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2025-11-20 01:56 +0000
Re: Liars try to get away with DD simulated by HHH halts olcott <polcott333@gmail.com> - 2025-11-19 20:19 -0600
Re: Liars try to get away with DD simulated by HHH halts "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-20 13:25 -0800
Re: Liars try to get away with DD simulated by HHH halts Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2025-11-20 22:05 +0000
Re: Liars try to get away with DD simulated by HHH halts "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-20 15:43 -0800
Re: Liars try to get away with DD simulated by HHH halts Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-19 21:03 +0000
Re: Liars try to get away with DD simulated by HHH halts olcott <polcott333@gmail.com> - 2025-11-19 21:13 -0600
Re: polcott agrees with the halting problem dart200 <user7160@newsgrouper.org.invalid> - 2025-11-19 10:26 -0800
Re: polcott agrees with the halting problem Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2025-11-19 19:42 +0000
polcott agrees the halting problem is incorrect --- quit lying about what I say olcott <polcott333@gmail.com> - 2025-11-19 14:45 -0600
Re: polcott agrees with the halting problem "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-19 12:51 -0800
Re: polcott agrees with the halting problem Jeff Barnett <jbb@notatt.com> - 2025-11-19 16:04 -0700
Re: polcott agrees with the halting problem olcott <polcott333@gmail.com> - 2025-11-19 17:43 -0600
Re: polcott agrees with the halting problem Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2025-11-20 00:04 +0000
homework assignment for the group: multi-decider paradox dart200 <user7160@newsgrouper.org.invalid> - 2025-11-19 18:08 -0800
Re: homework assignment for the group: multi-decider paradox Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-20 02:29 +0000
Re: homework assignment for the group: multi-decider paradox dart200 <user7160@newsgrouper.org.invalid> - 2025-11-19 18:49 -0800
Re: homework assignment for the group: multi-decider paradox Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-20 02:58 +0000
Re: homework assignment for the group: multi-decider paradox dart200 <user7160@newsgrouper.org.invalid> - 2025-11-19 19:53 -0800
Re: homework assignment for the group: multi-decider paradox Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-20 19:55 +0000
Re: homework assignment for the group: multi-decider paradox dart200 <user7160@newsgrouper.org.invalid> - 2025-11-20 12:03 -0800
Re: homework assignment for the group: multi-decider paradox Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-20 20:14 +0000
Re: homework assignment for the group: multi-decider paradox Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-20 20:24 +0000
Re: homework assignment for the group: multi-decider paradox Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-20 07:22 +0000
Re: homework assignment for the group: multi-decider paradox Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2025-11-20 20:53 +0000
Re: homework assignment for the group: multi-decider paradox Richard Heathfield <rjh@cpax.org.uk> - 2025-11-20 21:09 +0000
Re: homework assignment for the group: multi-decider paradox dart200 <user7160@newsgrouper.org.invalid> - 2025-11-20 13:35 -0800
Re: homework assignment for the group: multi-decider paradox Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-20 22:06 +0000
Re: homework assignment for the group: multi-decider paradox dart200 <user7160@newsgrouper.org.invalid> - 2025-11-20 13:50 -0800
Re: polcott agrees with the halting problem "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-20 18:10 -0800
Re: polcott agrees with the halting problem olcott <polcott333@gmail.com> - 2025-11-17 21:37 -0600
Re: eric is not a crank Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-17 23:28 +0000
Re: eric is not a crank "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-17 13:33 -0800
Re: eric is not a crank dart200 <user7160@newsgrouper.org.invalid> - 2025-11-17 13:44 -0800
Re: eric is not a crank olcott <polcott333@gmail.com> - 2025-11-17 16:49 -0600
Re: eric is not a crank Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-17 22:39 +0000
Re: eric is not a crank Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-18 23:21 +0000
Re: eric is not a crank Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-18 23:36 +0000
Re: eric is not a crank olcott <polcott333@gmail.com> - 2025-11-18 17:43 -0600
Re: eric is not a crank "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-18 16:06 -0800
Re: eric is not a crank Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-19 18:24 +0000
Re: eric is not a crank olcott <polcott333@gmail.com> - 2025-11-18 17:40 -0600
the halting problem is founded in computer science dart200 <user7160@newsgrouper.org.invalid> - 2025-11-17 13:22 -0800
Re: the halting problem is founded in computer science olcott <polcott333@gmail.com> - 2025-11-17 16:48 -0600
Re: the halting problem is founded in computer science Alan Mackenzie <acm@muc.de> - 2025-11-18 13:36 +0000
the halting problem is founded in computer science not math olcott <polcott333@gmail.com> - 2025-11-18 08:50 -0600
Re: the halting problem is founded in computer science not math Alan Mackenzie <acm@muc.de> - 2025-11-18 20:02 +0000
Re: the halting problem is founded in computer science not math olcott <polcott333@gmail.com> - 2025-11-18 14:12 -0600
Re: the halting problem is founded in computer science dart200 <user7160@newsgrouper.org.invalid> - 2025-11-18 13:04 -0800
Re: the halting problem is founded in computer science Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-19 18:36 +0000
Re: the halting problem is founded in computer science Ben Bacarisse <ben@bsb.me.uk> - 2025-11-19 23:36 +0000
Re: the halting problem is founded in computer science olcott <NoOne@NoWhere.com> - 2025-11-19 17:53 -0600
Re: the halting problem is founded in computer science Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-20 00:01 +0000
Re: the halting problem is founded in computer science Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-20 00:01 +0000
Re: the halting problem is founded in computer science olcott <polcott333@gmail.com> - 2025-11-19 21:11 -0600
Re: the halting problem is founded in computer science Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-20 20:05 +0000
Re: the halting problem is founded in computer science dart200 <user7160@newsgrouper.org.invalid> - 2025-11-19 18:15 -0800
Re: the halting problem is founded in computer science Ben Bacarisse <ben@bsb.me.uk> - 2025-11-20 23:15 +0000
Re: the halting problem is founded in computer science dart200 <user7160@newsgrouper.org.invalid> - 2025-11-20 23:38 -0800
Making True(Language L, Expression E) always computable olcott <polcott333@gmail.com> - 2025-11-21 09:09 -0600
Re: the halting problem is founded in computer science Ben Bacarisse <ben@bsb.me.uk> - 2025-11-22 03:02 +0000
halting problem counter example H/D pair is the Liar Paradox olcott <NoOne@NoWhere.com> - 2025-11-21 21:34 -0600
Re: halting problem counter example H/D pair is the Liar Paradox Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-22 04:26 +0000
Re: halting problem counter example H/D pair is the Liar Paradox Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-22 06:08 +0000
Re: halting problem counter example H/D pair is the Liar Paradox olcott <polcott333@gmail.com> - 2025-11-22 07:16 -0600
Re: halting problem counter example H/D pair is the Liar Paradox Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-22 16:45 +0000
Re: halting problem counter example H/D pair is the Liar Paradox olcott <polcott333@gmail.com> - 2025-11-22 11:14 -0600
Re: halting problem counter example H/D pair is the Liar Paradox Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-22 17:44 +0000
Re: halting problem counter example H/D pair is the Liar Paradox olcott <polcott333@gmail.com> - 2025-11-22 11:48 -0600
Re: halting problem counter example H/D pair is the Liar Paradox Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-22 18:05 +0000
Re: halting problem counter example H/D pair is the Liar Paradox Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-23 04:13 +0000
Re: halting problem counter example H/D pair is the Liar Paradox Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-23 04:11 +0000
Re: the halting problem is founded in computer science dart200 <user7160@newsgrouper.org.invalid> - 2025-11-21 20:14 -0800
Re: the halting problem is founded in computer science dart200 <user7160@newsgrouper.org.invalid> - 2025-11-19 18:25 -0800
Re: the halting problem is founded in computer science Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-20 07:46 +0000
"great now there's n+1 formal systems" reports dart200 <user7160@newsgrouper.org.invalid> - 2025-11-20 02:24 -0800
Re: "great now there's n+1 formal systems" reports Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-20 14:41 +0000
Re: "great now there's n+1 formal systems" reports dart200 <user7160@newsgrouper.org.invalid> - 2025-11-20 12:03 -0800
Re: "great now there's n+1 formal systems" reports Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-20 20:39 +0000
Re: "great now there's n+1 formal systems" reports dart200 <user7160@newsgrouper.org.invalid> - 2025-11-21 10:59 -0800
Re: the halting problem is founded in computer science Ben Bacarisse <ben@bsb.me.uk> - 2025-11-20 23:17 +0000
Re: "true on the basis of meaning" AKA Analytic(Olcott) Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-17 21:41 +0000
Re: "true on the basis of meaning" AKA Analytic(Olcott) dart200 <user7160@newsgrouper.org.invalid> - 2025-11-17 13:50 -0800
Re: "true on the basis of meaning" AKA Analytic(Olcott) Alan Mackenzie <acm@muc.de> - 2025-11-17 22:15 +0000
Re: "true on the basis of meaning" AKA Analytic(Olcott) Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-17 22:45 +0000
Re: "true on the basis of meaning" AKA Analytic(Olcott) Alan Mackenzie <acm@muc.de> - 2025-11-17 22:54 +0000
Re: "true on the basis of meaning" AKA Analytic(Olcott) Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-17 23:05 +0000
The halting problem is merely the Liar Paradox in disguise olcott <polcott333@gmail.com> - 2025-11-17 16:59 -0600
Re: The halting problem is merely the Liar Paradox in disguise Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-17 23:22 +0000
Re: The halting problem is merely the Liar Paradox in disguise Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-18 06:40 +0000
Re: The halting problem is merely the Liar Paradox in disguise Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-19 01:03 +0000
Re: The halting problem is merely the Liar Paradox in disguise olcott <polcott333@gmail.com> - 2025-11-18 19:36 -0600
Re: The halting problem is merely the Liar Paradox in disguise Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-19 18:51 +0000
Re: The halting problem is merely the Liar Paradox in disguise olcott <polcott333@gmail.com> - 2025-11-19 14:22 -0600
Re: The halting problem is merely the Liar Paradox in disguise Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-19 20:55 +0000
Re: The halting problem is merely the Liar Paradox in disguise olcott <polcott333@gmail.com> - 2025-11-19 21:24 -0600
Re: The halting problem is merely the Liar Paradox in disguise Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-20 04:46 +0000
Re: The halting problem is merely the Liar Paradox in disguise olcott <polcott333@gmail.com> - 2025-11-19 22:58 -0600
Re: The halting problem is merely the Liar Paradox in disguise Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-20 08:06 +0000
Re: The halting problem is merely the Liar Paradox in disguise olcott <polcott333@gmail.com> - 2025-11-22 08:12 -0600
Re: The halting problem is merely the Liar Paradox in disguise dbush <dbush.mobile@gmail.com> - 2025-11-22 10:15 -0500
Re: The halting problem is merely the Liar Paradox in disguise Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-22 18:42 +0000
Re: The halting problem is merely the Liar Paradox in disguise olcott <polcott333@gmail.com> - 2025-11-22 13:06 -0600
Re: The halting problem is merely the Liar Paradox in disguise Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-20 20:49 +0000
Re: The halting problem is merely the Liar Paradox in disguise olcott <polcott333@gmail.com> - 2025-11-21 13:50 -0600
Re: The halting problem is merely the Liar Paradox in disguise Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-21 22:05 +0000
Re: The halting problem is merely the Liar Paradox in disguise Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-19 02:47 +0000
Re: The halting problem is merely the Liar Paradox in disguise olcott <polcott333@gmail.com> - 2025-11-18 21:04 -0600
Re: The halting problem is merely the Liar Paradox in disguise Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-21 01:14 +0000
Re: The halting problem is merely the Liar Paradox in disguise Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-21 01:28 +0000
Re: The halting problem is merely the Liar Paradox in disguise olcott <polcott333@gmail.com> - 2025-11-20 22:00 -0600
Re: "true on the basis of meaning" AKA Analytic(Olcott) Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-17 22:59 +0000
Re: "true on the basis of meaning" AKA Analytic(Olcott) dart200 <user7160@newsgrouper.org.invalid> - 2025-11-17 15:09 -0800
Re: "true on the basis of meaning" AKA Analytic(Olcott) Alan Mackenzie <acm@muc.de> - 2025-11-17 23:31 +0000
Re: "true on the basis of meaning" AKA Analytic(Olcott) olcott <polcott333@gmail.com> - 2025-11-17 17:39 -0600
Re: "true on the basis of meaning" AKA Analytic(Olcott) Alan Mackenzie <acm@muc.de> - 2025-11-17 23:48 +0000
Re: "true on the basis of meaning" AKA Analytic(Olcott) dart200 <user7160@newsgrouper.org.invalid> - 2025-11-17 16:00 -0800
Re: "true on the basis of meaning" AKA Analytic(Olcott) olcott <polcott333@gmail.com> - 2025-11-17 18:07 -0600
Re: "true on the basis of meaning" AKA Analytic(Olcott) Alan Mackenzie <acm@muc.de> - 2025-11-18 00:19 +0000
Re: "true on the basis of meaning" AKA Analytic(Olcott) dart200 <user7160@newsgrouper.org.invalid> - 2025-11-17 18:58 -0800
Re: "true on the basis of meaning" AKA Analytic(Olcott) olcott <polcott333@gmail.com> - 2025-11-17 21:40 -0600
Re: "true on the basis of meaning" AKA Analytic(Olcott) Alan Mackenzie <acm@muc.de> - 2025-11-18 11:02 +0000
Re: "true on the basis of meaning" AKA Analytic(Olcott) olcott <polcott333@gmail.com> - 2025-11-17 17:36 -0600
Re: "true on the basis of meaning" AKA Analytic(Olcott) Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-18 06:48 +0000
Re: "true on the basis of meaning" AKA Analytic(Olcott) Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-17 22:41 +0000
Re: "true on the basis of meaning" AKA Analytic(Olcott) dart200 <user7160@newsgrouper.org.invalid> - 2025-11-17 15:10 -0800
Re: "true on the basis of meaning" AKA Analytic(Olcott) Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-17 23:33 +0000
Re: "true on the basis of meaning" AKA Analytic(Olcott) dart200 <user7160@newsgrouper.org.invalid> - 2025-11-17 16:04 -0800
Re: "true on the basis of meaning" AKA Analytic(Olcott) olcott <polcott333@gmail.com> - 2025-11-17 18:26 -0600
Re: "true on the basis of meaning" AKA Analytic(Olcott) Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-18 02:16 +0000
Re: "true on the basis of meaning" AKA Analytic(Olcott) dart200 <user7160@newsgrouper.org.invalid> - 2025-11-17 19:02 -0800
Re: "true on the basis of meaning" AKA Analytic(Olcott) olcott <polcott333@gmail.com> - 2025-11-17 21:43 -0600
Re: "true on the basis of meaning" AKA Analytic(Olcott) Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-18 12:57 +0000
Re: "true on the basis of meaning" AKA Analytic(Olcott) Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-18 12:52 +0000
Re: "true on the basis of meaning" AKA Analytic(Olcott) olcott <polcott333@gmail.com> - 2025-11-17 16:54 -0600
Re: "true on the basis of meaning" AKA Analytic(Olcott) Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-17 20:51 +0000
Re: "true on the basis of meaning" AKA Analytic(Olcott) olcott <polcott333@gmail.com> - 2025-11-17 17:20 -0600
Re: "true on the basis of meaning" AKA Analytic(Olcott) Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-17 23:44 +0000
Re: "true on the basis of meaning" AKA Analytic(Olcott) olcott <polcott333@gmail.com> - 2025-11-17 22:44 -0600
Re: "true on the basis of meaning" AKA Analytic(Olcott) Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-18 06:40 +0000
Re: "true on the basis of meaning" AKA Analytic(Olcott) olcott <polcott333@gmail.com> - 2025-11-18 08:04 -0600
Re: "true on the basis of meaning" AKA Analytic(Olcott) Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-18 21:58 +0000
Re: "true on the basis of meaning" AKA Analytic(Olcott) olcott <polcott333@gmail.com> - 2025-11-18 16:56 -0600
Re: "true on the basis of meaning" AKA Analytic(Olcott) olcott <polcott333@gmail.com> - 2025-11-18 17:04 -0600
Re: "true on the basis of meaning" AKA Analytic(Olcott) olcott <polcott333@gmail.com> - 2025-11-17 07:52 -0600
Re: "true on the basis of meaning" AKA Analytic(Olcott) Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-17 16:01 +0000
Re: "true on the basis of meaning" AKA Analytic(Olcott) olcott <polcott333@gmail.com> - 2025-11-17 10:29 -0600
Re: Rejecting expressions of formal language having pathological self-reference Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-16 18:55 +0000
Re: Rejecting expressions of formal language having pathological self-reference Alan Mackenzie <acm@muc.de> - 2025-11-16 21:43 +0000
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-16 18:48 -0600
Re: Rejecting expressions of formal language having pathological self-reference Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-17 04:09 +0000
Re: Rejecting expressions of formal language having pathological self-reference "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-16 13:24 -0800
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-15 09:38 -0600
Re: Rejecting expressions of formal language having pathological self-reference "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-15 12:59 -0800
Re: Rejecting expressions of formal language having pathological self-reference wij <wyniijj5@gmail.com> - 2025-11-16 05:28 +0800
Re: Rejecting expressions of formal language having pathological self-reference "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-27 00:44 -0800
Re: Rejecting expressions of formal language having pathological self-reference wij <wyniijj5@gmail.com> - 2025-11-27 19:37 +0800
Re: Rejecting expressions of formal language having pathological self-reference Alan Mackenzie <acm@muc.de> - 2025-11-16 09:32 +0000
Re: Rejecting expressions of formal language having pathological self-reference Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-15 13:11 +0000
Re: Rejecting expressions of formal language having pathological self-reference Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-15 13:03 +0000
Re: Rejecting expressions of formal language having pathological self-reference Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-15 14:39 +0000
Re: Rejecting expressions of formal language having pathological self-reference dart200 <user7160@newsgrouper.org.invalid> - 2025-11-15 06:43 -0800
Re: Rejecting expressions of formal language having pathological self-reference Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-15 15:29 +0000
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-15 09:41 -0600
Re: Rejecting expressions of formal language having pathological self-reference Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-15 16:32 +0000
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-15 11:03 -0600
Re: Rejecting expressions of formal language having pathological self-reference Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-15 17:24 +0000
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-15 11:38 -0600
Re: Rejecting expressions of formal language having pathological self-reference Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-15 18:06 +0000
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-15 12:50 -0600
Re: Rejecting expressions of formal language having pathological self-reference wij <wyniijj5@gmail.com> - 2025-11-16 03:30 +0800
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-15 13:55 -0600
Re: Rejecting expressions of formal language having pathological self-reference wij <wyniijj5@gmail.com> - 2025-11-16 04:04 +0800
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-15 14:14 -0600
Re: Rejecting expressions of formal language having pathological self-reference wij <wyniijj5@gmail.com> - 2025-11-16 04:25 +0800
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-15 14:48 -0600
Re: Rejecting expressions of formal language having pathological self-reference Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-15 21:55 +0000
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-15 16:18 -0600
Re: Rejecting expressions of formal language having pathological self-reference "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-15 13:05 -0800
Re: Rejecting expressions of formal language having pathological self-reference Mikko <mikko.levanto@iki.fi> - 2025-11-15 11:56 +0200
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-15 09:51 -0600
Re: Rejecting expressions of formal language having pathological self-reference Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-15 16:35 +0000
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-15 11:05 -0600
Re: Rejecting expressions of formal language having pathological self-reference Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-15 17:27 +0000
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-15 11:40 -0600
Re: Rejecting expressions of formal language having pathological self-reference Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-15 18:08 +0000
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-15 12:53 -0600
Re: Rejecting expressions of formal language having pathological self-reference Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-15 20:31 +0000
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-15 14:55 -0600
Re: Rejecting expressions of formal language having pathological self-reference Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-15 22:02 +0000
Re: Rejecting expressions of formal language having pathological self-reference Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-15 22:54 +0000
Re: Rejecting expressions of formal language having pathological self-reference Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-15 23:30 +0000
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-15 17:32 -0600
Re: Rejecting expressions of formal language having pathological self-reference Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-16 00:10 +0000
Re: Rejecting expressions of formal language having pathological self-reference Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-16 18:44 +0000
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-16 18:41 -0600
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-15 17:22 -0600
Re: Rejecting expressions of formal language having pathological self-reference Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-16 01:07 +0000
Rejecting expressions of formal language having infinite loops --- G ↔ ¬Prov(⌜G⌝) olcott <polcott333@gmail.com> - 2025-11-15 19:29 -0600
Re: Rejecting expressions of formal language having infinite loops --- G ↔ ¬Prov(⌜G⌝) Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-16 19:11 +0000
Re: Rejecting expressions of formal language having infinite loops --- G ↔ ¬Prov(⌜G⌝) olcott <polcott333@gmail.com> - 2025-11-16 18:52 -0600
Re: Rejecting expressions of formal language having infinite loops --- G ↔ ¬Prov(⌜G⌝) Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-17 01:45 +0000
Re: Rejecting expressions of formal language having infinite loops --- G ↔ ¬Prov(⌜G⌝) olcott <polcott333@gmail.com> - 2025-11-16 20:13 -0600
Re: Rejecting expressions of formal language having infinite loops --- G ↔ ¬Prov(⌜G⌝) Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-17 03:41 +0000
Re: Rejecting expressions of formal language having infinite loops --- G ↔ ¬Prov(⌜G⌝) olcott <polcott333@gmail.com> - 2025-11-16 21:50 -0600
Re: Rejecting expressions of formal language having infinite loops --- G ↔ ¬Prov(⌜G⌝) Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-17 04:04 +0000
Re: Rejecting expressions of formal language having pathological self-reference Mikko <mikko.levanto@iki.fi> - 2025-11-16 10:55 +0200
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-16 14:37 -0600
Re: Rejecting expressions of formal language having pathological self-reference Mikko <mikko.levanto@iki.fi> - 2025-11-17 11:11 +0200
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-17 07:44 -0600
Re: Rejecting expressions of formal language having pathological self-reference Mikko <mikko.levanto@iki.fi> - 2025-11-18 11:26 +0200
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-18 09:51 -0600
Re: Rejecting expressions of formal language having pathological self-reference Mikko <mikko.levanto@iki.fi> - 2025-11-19 11:53 +0200
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-19 07:02 -0600
Re: Rejecting expressions of formal language having pathological self-reference Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-19 18:13 +0000
Re: Rejecting expressions of formal language having pathological self-reference Mikko <mikko.levanto@iki.fi> - 2025-11-20 10:08 +0200
Re: Rejecting expressions of formal language having pathological self-reference "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-16 13:27 -0800
Re: Rejecting expressions of formal language having pathological self-reference Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-12 18:39 +0000
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-12 12:52 -0600
Re: Rejecting expressions of formal language having pathological self-reference Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-13 02:36 +0000
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-12 20:57 -0600
Re: Rejecting expressions of formal language having pathological self-reference Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-13 03:22 +0000
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-12 22:43 -0600
Re: Rejecting expressions of formal language having pathological self-reference Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-13 08:44 +0000
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-13 09:38 -0600
Re: Rejecting expressions of formal language having pathological self-reference Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-13 18:57 +0000
Re: Rejecting expressions of formal language having pathological self-reference joes <noreply@example.org> - 2025-11-16 15:45 +0000
Re: Rejecting expressions of formal language having pathological self-reference Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-14 00:09 +0000
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-13 18:45 -0600
Re: Rejecting expressions of formal language having pathological self-reference Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-14 01:02 +0000
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-13 20:29 -0600
Re: Rejecting expressions of formal language having pathological self-reference Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-14 13:09 +0000
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-14 07:42 -0600
Re: Rejecting expressions of formal language having pathological self-reference Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-14 01:14 +0000
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-13 20:33 -0600
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-14 10:45 -0600
Re: Rejecting expressions of formal language having pathological self-reference Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-13 02:22 +0000
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-12 20:32 -0600
Re: Rejecting expressions of formal language having pathological self-reference Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-13 02:38 +0000
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-12 22:48 -0600
Re: Rejecting expressions of formal language having pathological self-reference Richard Heathfield <rjh@cpax.org.uk> - 2025-11-13 04:50 +0000
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-12 23:00 -0600
Re: Rejecting expressions of formal language having pathological self-reference "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-13 00:16 -0800
Re: Rejecting expressions of formal language having pathological self-reference Mikko <mikko.levanto@iki.fi> - 2025-11-13 11:05 +0200
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-13 10:00 -0600
Re: Rejecting expressions of formal language having pathological self-reference Mikko <mikko.levanto@iki.fi> - 2025-11-14 11:01 +0200
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-14 08:42 -0600
Re: Rejecting expressions of formal language having pathological self-reference Mikko <mikko.levanto@iki.fi> - 2025-11-26 12:30 +0200
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-26 09:27 -0600
Re: Rejecting expressions of formal language having pathological self-reference Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-26 19:46 +0000
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-26 14:07 -0600
Re: Rejecting expressions of formal language having pathological self-reference Richard Damon <Richard@Damon-Family.org> - 2025-11-26 21:00 -0500
Re: Rejecting expressions of formal language having pathological self-reference Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-12-01 14:45 +0000
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-12-01 09:18 -0600
Re: Rejecting expressions of formal language having pathological self-reference Mikko <mikko.levanto@iki.fi> - 2025-11-27 10:22 +0200
Re: Rejecting expressions of formal language having pathological self-reference "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-27 00:39 -0800
Re: Rejecting expressions of formal language having pathological self-reference Mikko <mikko.levanto@iki.fi> - 2025-11-27 10:20 +0200
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-27 09:49 -0600
Re: Rejecting expressions of formal language having pathological self-reference Richard Damon <Richard@Damon-Family.org> - 2025-11-27 12:27 -0500
Re: Rejecting expressions of formal language having pathological self-reference Mikko <mikko.levanto@iki.fi> - 2025-11-28 10:45 +0200
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-28 09:22 -0600
Re: Rejecting expressions of formal language having pathological self-reference Mikko <mikko.levanto@iki.fi> - 2025-11-29 12:28 +0200
Re: Rejecting expressions of formal language having pathological self-reference Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-14 00:56 +0000
Re: Rejecting expressions of formal language having pathological self-reference Mikko <mikko.levanto@iki.fi> - 2025-11-14 11:09 +0200
Re: Rejecting expressions of formal language having pathological self-reference Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-14 13:20 +0000
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-14 08:49 -0600
Re: Rejecting expressions of formal language having pathological self-reference Mikko <mikko.levanto@iki.fi> - 2025-11-26 12:17 +0200
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-26 09:20 -0600
Re: Rejecting expressions of formal language having pathological self-reference Richard Damon <Richard@Damon-Family.org> - 2025-11-26 10:25 -0500
Re: Rejecting expressions of formal language having pathological self-reference Mikko <mikko.levanto@iki.fi> - 2025-11-27 10:17 +0200
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-27 09:48 -0600
Re: Rejecting expressions of formal language having pathological self-reference Mikko <mikko.levanto@iki.fi> - 2025-11-28 10:40 +0200
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-28 09:21 -0600
Re: Rejecting expressions of formal language having pathological self-reference Richard Damon <Richard@Damon-Family.org> - 2025-11-28 11:03 -0500
Re: Rejecting expressions of formal language having pathological self-reference Mikko <mikko.levanto@iki.fi> - 2025-11-29 12:31 +0200
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-29 12:01 -0600
Re: Rejecting expressions of formal language having pathological self-reference Mikko <mikko.levanto@iki.fi> - 2025-12-01 12:18 +0200
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-12-01 06:45 -0600
Re: Rejecting expressions of formal language having pathological self-reference Mikko <mikko.levanto@iki.fi> - 2025-12-07 13:17 +0200
csiph-web