Groups | Search | Server Info | Login | Register
Groups > comp.theory > #109865
| From | olcott <polcott333@gmail.com> |
|---|---|
| Newsgroups | comp.theory |
| Subject | Re: Hypothetical possibilities --- stupid rebuttal |
| Date | 2024-08-01 07:23 -0500 |
| Organization | A noiseless patient Spider |
| Message-ID | <v8funr$25l0a$1@dont-email.me> (permalink) |
| References | (11 earlier) <v84u29$3rmit$2@dont-email.me> <v88fat$i7kl$2@dont-email.me> <v8a23i$u202$1@dont-email.me> <v8bkui$16ibk$1@dont-email.me> <v8fg4n$22utp$1@dont-email.me> |
On 8/1/2024 3:14 AM, Mikko wrote:
> On 2024-07-30 21:11:45 +0000, olcott said:
>
>> On 7/30/2024 1:44 AM, Mikko wrote:
>>> On 2024-07-29 16:17:32 +0000, olcott said:
>>>
>>>> On 7/28/2024 3:04 AM, Mikko wrote:
>>>>> On 2024-07-27 13:55:56 +0000, olcott said:
>>>>>
>>>>>> On 7/27/2024 1:54 AM, Mikko wrote:
>>>>>>> On 2024-07-26 13:58:54 +0000, olcott said:
>>>>>>>
>>>>>>>> On 7/26/2024 3:05 AM, Mikko wrote:
>>>>>>>>> On 2024-07-24 13:38:08 +0000, olcott said:
>>>>>>>>>
>>>>>>>>>> On 7/24/2024 4:01 AM, Mikko wrote:
>>>>>>>>>>> On 2024-07-23 14:41:11 +0000, olcott said:
>>>>>>>>>>>
>>>>>>>>>>>> On 7/23/2024 2:32 AM, Mikko wrote:
>>>>>>>>>>>>> On 2024-07-22 15:05:41 +0000, olcott said:
>>>>>>>>>>>>>
>>>>>>>>>>>>>> On 7/22/2024 6:05 AM, Mikko wrote:
>>>>>>>>>>>>>>> On 2024-07-20 15:28:31 +0000, olcott said:
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> void DDD()
>>>>>>>>>>>>>>>> {
>>>>>>>>>>>>>>>> HHH(DDD);
>>>>>>>>>>>>>>>> }
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> int main()
>>>>>>>>>>>>>>>> {
>>>>>>>>>>>>>>>> DDD();
>>>>>>>>>>>>>>>> }
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> (a) Termination Analyzers / Partial Halt Deciders must halt
>>>>>>>>>>>>>>>> this is a design requirement.
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> For a partial analyzer or deciders this is not always
>>>>>>>>>>>>>>> required.
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> *You can't even get my words correctly*
>>>>>>>>>>>>>> A termination analyzer must report on the behavior of at
>>>>>>>>>>>>>> least
>>>>>>>>>>>>>> one input for all of the inputs of this one input. This is
>>>>>>>>>>>>>> met when a termination analyzer analyzes an input having
>>>>>>>>>>>>>> no inputs.
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> A partial halt decider must correctly determine the halt
>>>>>>>>>>>>>> status
>>>>>>>>>>>>>> of at least one input and its specific input (if any).
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> HHH is both a partial halt decider and a termination analyzer
>>>>>>>>>>>>>> for DDD and a few other inputs having no input.
>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> (b) Every simulating termination analyzer HHH either
>>>>>>>>>>>>>>>> aborts the simulation of its input or not.
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> This must be interpreted to mean that a simulating
>>>>>>>>>>>>>>> termination analyzer
>>>>>>>>>>>>>>> may abort its simulation for some simulated abort and
>>>>>>>>>>>>>>> simulate others
>>>>>>>>>>>>>>> to the termination.
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> I am talking about hypothetical possible ways that HHH
>>>>>>>>>>>>>> could be encoded.
>>>>>>>>>>>>>> (a) HHH(DDD) is encoded to abort its simulation.
>>>>>>>>>>>>>> (b) HHH(DDD) is encoded to never abort its simulation.
>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> (c) Within the hypothetical case where HHH does not abort
>>>>>>>>>>>>>>>> the simulation of its input {HHH, emulated DDD and
>>>>>>>>>>>>>>>> executed DDD}
>>>>>>>>>>>>>>>> never stop running.
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> The case is not very hypothetical. Given the HHH you
>>>>>>>>>>>>>>> already have,
>>>>>>>>>>>>>>> it is fairly easy to construct the "hypothetical" HHH and
>>>>>>>>>>>>>>> see what
>>>>>>>>>>>>>>> it actually does.
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> (a) HHH(DDD) is encoded to abort its simulation.
>>>>>>>>>>>>>> (b) HHH(DDD) is encoded to never abort its simulation.
>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> This violates the design requirement of (a) therefore
>>>>>>>>>>>>>>>> HHH must
>>>>>>>>>>>>>>>> abort the simulation of its input.
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> The violation simply means that the "hypothetical" HHH is
>>>>>>>>>>>>>>> not a
>>>>>>>>>>>>>>> termination analyzer of partial halt decider in sense
>>>>>>>>>>>>>>> (a). What
>>>>>>>>>>>>>>> it "must" be or do depends on the requirements.
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>> Therefore (a) is correct and (b) is incorrect according to
>>>>>>>>>>>>>> the
>>>>>>>>>>>>>> design requirements for HHH that it must halt.
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> It is also a truism that any input that must be aborted
>>>>>>>>>>>>>> is a non-halting input.
>>>>>>>>>>>>>
>>>>>>>>>>>>> No, it is not. The "must" and "non-halting" belong to
>>>>>>>>>>>>> different worlds.
>>>>>>>>>>>>> The word "must" blongs to requirements. The word
>>>>>>>>>>>>> "non-halting" is a
>>>>>>>>>>>>> feature of a program. They are unrelated, so one cannot be
>>>>>>>>>>>>> inferred
>>>>>>>>>>>>> from the other.
>>>>>>>>>>>>>
>>>>>>>>>>>>
>>>>>>>>>>>> When-so-ever there are two hypothetical possible way to encode
>>>>>>>>>>>> a simulating halt decider for a specific input
>>>>>>>>>>>> (a) one aborts its simulation of DDD
>>>>>>>>>>>> (b) never aborts its simulation of DDD
>>>>>>>>>>>
>>>>>>>>>>> Does the simulator that simulates the beginning and end of the
>>>>>>>>>>> simulated computation but skips a part in ghe middle belong to
>>>>>>>>>>> class (a) or class (b)?
>>>>>>>>>>>
>>>>>>>>>>
>>>>>>>>>> That is off topic. I am only referring to a sequence of
>>>>>>>>>> 1 to N x86 machine language instructions simulated according
>>>>>>>>>> to the x86 semantic meaning of these instructions.
>>>>>>>>>
>>>>>>>>> No, it isn't. Abortion of simulation is a deviation form x86
>>>>>>>>> macine
>>>>>>>>> language semantics. What I ask about does not deviate more.
>>>>>>>>
>>>>>>>> In other words you are saying that it is absolutely impossible
>>>>>>>> to make an x86 program that is an x86 emulator that correctly
>>>>>>>> emulates a finite number of instructions of non-terminating
>>>>>>>> input x86 machine code.
>>>>>>>
>>>>>>> You are lying again. That is not the same in other words, and I am
>>>>>>> not saying what you falsely claim.
>>>>>>>
>>>>>>
>>>>>> I am not lying I am paraphrasing so that we can come to a mutual
>>>>>> understanding.
>>>>>
>>>>> It is lying to paraphrase so that the original meaning is not
>>>>> preserved.
>>>>>
>>>>
>>>> I make my point mere clearly here:
>>>> [Any honest person that knows the x86 language can see...]
>>>
>>> That does not alter the fact that you lied above. Therefore the term
>>> "honest person" does not include you. So what is your evidence that
>>> any (or even some) honest person can see...?
>>>
>>
>> *I clarified what I meant responding to your original message here*
>> http://al.howardknight.net/?STYPE=msgid&MSGI=%3Cv8bc6j%24159av%241%40dont-email.me%3E
>
> That does not really claify beyond what you said here, and what it
> clarifies is irrelevant to the fact that you lied above.
>
That you persistently make sure to ignore the word "until"
is your brain damage and not my mistake.
<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
*simulating halt decider H correctly simulates its input D*
*until H correctly determines that its simulated D would never*
*stop running unless aborted* ...
</MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer
Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar
Re: Hypothetical possibilities Mikko <mikko.levanto@iki.fi> - 2024-07-22 14:05 +0300
Re: Hypothetical possibilities olcott <polcott333@gmail.com> - 2024-07-22 10:05 -0500
Re: Hypothetical possibilities Mikko <mikko.levanto@iki.fi> - 2024-07-23 10:32 +0300
Re: Hypothetical possibilities olcott <polcott333@gmail.com> - 2024-07-23 09:41 -0500
Re: Hypothetical possibilities Mikko <mikko.levanto@iki.fi> - 2024-07-24 12:01 +0300
Re: Hypothetical possibilities olcott <polcott333@gmail.com> - 2024-07-24 08:38 -0500
Re: Hypothetical possibilities Mikko <mikko.levanto@iki.fi> - 2024-07-26 11:05 +0300
Re: Hypothetical possibilities olcott <polcott333@gmail.com> - 2024-07-26 08:58 -0500
Re: Hypothetical possibilities Mikko <mikko.levanto@iki.fi> - 2024-07-27 09:54 +0300
Re: Hypothetical possibilities --- stupid rebuttal olcott <polcott333@gmail.com> - 2024-07-27 08:55 -0500
Re: Hypothetical possibilities --- stupid rebuttal Alan Mackenzie <acm@muc.de> - 2024-07-27 14:28 +0000
Re: Hypothetical possibilities --- stupid rebuttal olcott <polcott333@gmail.com> - 2024-07-27 09:45 -0500
Re: Hypothetical possibilities --- stupid rebuttal Alan Mackenzie <acm@muc.de> - 2024-07-27 14:59 +0000
Re: Hypothetical possibilities --- strawman deception based rebuttal olcott <polcott333@gmail.com> - 2024-07-27 10:30 -0500
Re: Hypothetical possibilities --- strawman deception based rebuttal Mikko <mikko.levanto@iki.fi> - 2024-07-28 11:12 +0300
Re: Hypothetical possibilities --- stupid rebuttal Mikko <mikko.levanto@iki.fi> - 2024-07-28 11:10 +0300
Re: Hypothetical possibilities --- stupid rebuttal olcott <polcott333@gmail.com> - 2024-07-29 11:20 -0500
Re: Hypothetical possibilities --- stupid rebuttal joes <noreply@example.org> - 2024-07-29 20:20 +0000
Re: Hypothetical possibilities --- stupid rebuttal olcott <polcott333@gmail.com> - 2024-07-29 15:36 -0500
Re: Hypothetical possibilities --- stupid rebuttal Mikko <mikko.levanto@iki.fi> - 2024-07-30 09:41 +0300
Re: Hypothetical possibilities --- stupid rebuttal olcott <polcott333@gmail.com> - 2024-07-30 13:42 -0500
Re: Hypothetical possibilities --- stupid rebuttal Richard Damon <richard@damon-family.org> - 2024-07-30 21:21 -0400
Re: Hypothetical possibilities --- stupid rebuttal --- olcott <polcott333@gmail.com> - 2024-07-30 20:32 -0500
Re: Hypothetical possibilities --- stupid rebuttal by olcott--- Richard Damon <richard@damon-family.org> - 2024-07-30 21:34 -0400
Re: Hypothetical possibilities --- stupid rebuttal --- olcott <polcott333@gmail.com> - 2024-07-30 21:13 -0500
Re: Hypothetical possibilities --- stupid lying rebuttal by Olcott --- Richard Damon <richard@damon-family.org> - 2024-07-30 23:19 -0400
Re: Hypothetical possibilities --- stupid rebuttal by Olcott--- Richard Damon <richard@damon-family.org> - 2024-07-30 23:19 -0400
Re: Hypothetical possibilities --- stupid rebuttal --- olcott <polcott333@gmail.com> - 2024-07-30 23:09 -0500
Re: Hypothetical possibilities --- stupid rebuttal --- "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-31 10:44 +0200
Re: Hypothetical possibilities --- Correct emulation has been proven for three years olcott <polcott333@gmail.com> - 2024-07-31 10:14 -0500
Re: Hypothetical possibilities --- Correct emulation has been proven for three years "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-31 22:01 +0200
Re: Hypothetical possibilities --- Correct emulation has been proven for three years olcott <polcott333@gmail.com> - 2024-07-31 16:23 -0500
Re: Hypothetical possibilities --- Correct emulation has been proven for three years joes <noreply@example.org> - 2024-08-01 07:20 +0000
Re: Hypothetical possibilities --- Correct emulation has been proven for three years olcott <polcott333@gmail.com> - 2024-08-01 06:28 -0500
Re: Hypothetical possibilities --- Correct emulation has been proven for three years "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-08-01 13:46 +0200
Re: Hypothetical possibilities --- Correct emulation has been proven for three years olcott <polcott333@gmail.com> - 2024-08-01 07:34 -0500
Re: Hypothetical possibilities --- Correct emulation has been proven for three years "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-08-01 15:03 +0200
Re: Hypothetical possibilities --- Correct emulation has been proven for three years olcott <polcott333@gmail.com> - 2024-08-01 08:11 -0500
Re: Hypothetical possibilities --- Correct emulation has been proven for three years "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-08-01 16:26 +0200
Re: Hypothetical possibilities --- INCorrect emulation has been proven for three years Richard Damon <richard@damon-family.org> - 2024-08-01 19:33 -0400
Re: Hypothetical possibilities --- Correct emulation has been proven for three years "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-08-01 10:10 +0200
Re: Hypothetical possibilities --- Complete Proof olcott <polcott333@gmail.com> - 2024-08-01 07:20 -0500
Re: Hypothetical possibilities --- Complete Proof "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-08-01 15:12 +0200
Re: Hypothetical possibilities --- Complete Proof olcott <polcott333@gmail.com> - 2024-08-01 08:29 -0500
Re: Hypothetical possibilities --- Complete Proof "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-08-01 16:23 +0200
Re: Hypothetical possibilities --- Complete Proof olcott <polcott333@gmail.com> - 2024-08-01 09:30 -0500
Re: Hypothetical possibilities --- Complete Proof "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-08-01 16:36 +0200
Re: Hypothetical possibilities --- Complete Proof olcott <polcott333@gmail.com> - 2024-08-01 10:49 -0500
Re: Hypothetical possibilities --- Complete Proof "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-08-01 21:40 +0200
Re: Hypothetical possibilities --- Complete Proof joes <noreply@example.org> - 2024-08-01 16:11 +0000
Re: Hypothetical possibilities --- Complete Proof olcott <polcott333@gmail.com> - 2024-08-01 11:32 -0500
Re: Hypothetical possibilities --- Complete Proof "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-08-01 21:30 +0200
Re: Hypothetical possibilities --- Complete Proof olcott <polcott333@gmail.com> - 2024-08-01 16:03 -0500
Re: Hypothetical possibilities --- Complete Proof "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-08-02 10:13 +0200
Re: Hypothetical possibilities --- Complete Proof olcott <polcott333@gmail.com> - 2024-08-02 06:24 -0500
Re: Hypothetical possibilities --- Complete Proof *FAILED* Richard Damon <richard@damon-family.org> - 2024-08-02 10:41 -0400
Re: Hypothetical possibilities --- Complete Proof "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-08-03 10:25 +0200
Re: Hypothetical possibilities --- Complete Proof Mikko <mikko.levanto@iki.fi> - 2024-08-03 11:54 +0300
Re: Hypothetical possibilities --- Completly incorrect Proof Richard Damon <richard@damon-family.org> - 2024-08-01 19:33 -0400
Re: Hypothetical possibilities --- Complete Proof Mikko <mikko.levanto@iki.fi> - 2024-08-02 13:19 +0300
Re: Hypothetical possibilities --- Complete Proof olcott <polcott333@gmail.com> - 2024-08-02 06:21 -0500
Re: Hypothetical possibilities --- Complete Proof *FAILED* Richard Damon <richard@damon-family.org> - 2024-08-02 10:41 -0400
Re: Hypothetical possibilities --- Complete Proof Mikko <mikko.levanto@iki.fi> - 2024-08-03 11:58 +0300
Re: Hypothetical possibilities --- Complete Proof Mikko <mikko.levanto@iki.fi> - 2024-08-02 13:12 +0300
Re: Hypothetical possibilities --- Complete Proof olcott <polcott333@gmail.com> - 2024-08-02 06:11 -0500
Re: Hypothetical possibilities --- Complete Proof *FAILS* Richard Damon <richard@damon-family.org> - 2024-08-02 10:41 -0400
Re: Hypothetical possibilities --- Complete Proof Mikko <mikko.levanto@iki.fi> - 2024-08-03 12:07 +0300
Re: Hypothetical possibilities --- Complete Proof Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2024-08-02 18:39 +0100
Re: Hypothetical possibilities --- Complete Proof olcott <polcott333@gmail.com> - 2024-08-02 12:57 -0500
Re: Hypothetical possibilities --- Complete Proof *FAILED* Richard Damon <richard@damon-family.org> - 2024-08-02 14:32 -0400
Re: Hypothetical possibilities --- Complete Proof Richard Damon <richard@damon-family.org> - 2024-08-02 14:25 -0400
Re: Hypothetical possibilities --- Complete Proof Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2024-08-02 23:23 +0100
Re: Hypothetical possibilities --- Complete Proof olcott <polcott333@gmail.com> - 2024-08-02 17:35 -0500
Re: Hypothetical possibilities --- Complete Proof Richard Damon <richard@damon-family.org> - 2024-08-02 19:15 -0400
Re: Hypothetical possibilities --- Complete Proof Ben Bacarisse <ben@bsb.me.uk> - 2024-08-02 23:42 +0100
Re: Hypothetical possibilities --- Complete Proof olcott <NoOne@NoWhere.com> - 2024-08-02 17:55 -0500
Re: Hypothetical possibilities --- Complete Proof Richard Damon <richard@damon-family.org> - 2024-08-02 19:17 -0400
Re: Hypothetical possibilities --- Complete Proof Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2024-08-03 02:19 +0100
Re: Hypothetical possibilities --- Complete Proof Richard Damon <richard@damon-family.org> - 2024-08-02 21:56 -0400
Re: Hypothetical possibilities --- Complete Proof -- more details olcott <polcott333@gmail.com> - 2024-08-02 22:30 -0500
Re: Hypothetical possibilities --- Complete FAILED Proof -- more details Richard Damon <richard@damon-family.org> - 2024-08-03 11:33 -0400
Re: Hypothetical possibilities --- Complete Proof Jeff Barnett <jbb@notatt.com> - 2024-08-02 22:32 -0600
Re: Hypothetical possibilities --- Complete Proof --- Halt State olcott <polcott333@gmail.com> - 2024-08-03 08:27 -0500
Re: Hypothetical possibilities --- Complete Proof --- halt state olcott <abc@def.com> - 2024-08-05 19:26 -0500
Re: Hypothetical possibilities --- Complete Proof Ben Bacarisse <ben@bsb.me.uk> - 2024-08-05 03:33 +0100
Re: Hypothetical possibilities --- Complete Proof olcott <abc@def.com> - 2024-08-04 22:56 -0500
Re: Hypothetical possibilities --- Complete Proof Richard Damon <richard@damon-family.org> - 2024-08-05 07:40 -0400
Re: Hypothetical possibilities --- Complete Proof olcott <abc@def.com> - 2024-08-05 19:41 -0500
Re: Hypothetical possibilities --- Completely *FAILED* Proof Richard Damon <richard@damon-family.org> - 2024-08-05 21:32 -0400
Re: Hypothetical possibilities --- Complete Proof olcott <abc@def.com> - 2024-08-05 19:34 -0500
Re: Hypothetical possibilities --- Complete Proof Richard Damon <richard@damon-family.org> - 2024-08-02 19:12 -0400
Re: Hypothetical possibilities --- Complete Proof Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2024-08-03 04:11 +0100
Re: Hypothetical possibilities --- Complete Proof olcott <polcott333@gmail.com> - 2024-08-02 22:36 -0500
Re: Hypothetical possibilities --- Complete Proof Mikko <mikko.levanto@iki.fi> - 2024-08-03 12:29 +0300
Re: Hypothetical possibilities --- Complete Proof Mikko <mikko.levanto@iki.fi> - 2024-08-03 12:14 +0300
Re: Hypothetical possibilities --- stupid rebuttal Mikko <mikko.levanto@iki.fi> - 2024-08-01 11:02 +0300
Re: Hypothetical possibilities --- stupid rebuttal olcott <polcott333@gmail.com> - 2024-08-01 07:08 -0500
Re: Hypothetical possibilities --- stupid rebuttal Mikko <mikko.levanto@iki.fi> - 2024-08-03 12:31 +0300
Re: Hypothetical possibilities --- stupid rebuttal Mikko <mikko.levanto@iki.fi> - 2024-07-28 11:04 +0300
Re: Hypothetical possibilities --- stupid rebuttal olcott <polcott333@gmail.com> - 2024-07-29 11:17 -0500
Re: Hypothetical possibilities --- stupid rebuttal Mikko <mikko.levanto@iki.fi> - 2024-07-30 09:44 +0300
Re: Hypothetical possibilities --- stupid rebuttal olcott <polcott333@gmail.com> - 2024-07-30 16:11 -0500
Re: Hypothetical possibilities --- stupid rebuttal Mikko <mikko.levanto@iki.fi> - 2024-08-01 11:14 +0300
Re: Hypothetical possibilities --- stupid rebuttal olcott <polcott333@gmail.com> - 2024-08-01 07:23 -0500
Re: Hypothetical possibilities --- stupid rebuttal Mikko <mikko.levanto@iki.fi> - 2024-08-03 12:35 +0300
Re: Hypothetical possibilities --- Sipser approved criteria olcott <polcott333@gmail.com> - 2024-07-27 09:41 -0500
Re: Hypothetical possibilities --- Sipser approved criteria Alan Mackenzie <acm@muc.de> - 2024-07-27 14:50 +0000
Re: Hypothetical possibilities --- Sipser approved criteria olcott <polcott333@gmail.com> - 2024-07-27 09:59 -0500
Re: Hypothetical possibilities --- Sipser approved criteria Mikko <mikko.levanto@iki.fi> - 2024-07-28 11:21 +0300
Re: Hypothetical possibilities --- Sipser approved criteria olcott <polcott333@gmail.com> - 2024-07-29 11:25 -0500
Re: Hypothetical possibilities --- Sipser approved criteria Mikko <mikko.levanto@iki.fi> - 2024-07-28 11:13 +0300
Re: Hypothetical possibilities --- strawman deception olcott <polcott333@gmail.com> - 2024-07-30 16:35 -0500
Re: Hypothetical possibilities --- strawman deception Mikko <mikko.levanto@iki.fi> - 2024-08-01 11:20 +0300
Re: Hypothetical possibilities --- strawman deception olcott <polcott333@gmail.com> - 2024-08-01 07:25 -0500
Re: Hypothetical possibilities --- strawman deception Richard Damon <richard@damon-family.org> - 2024-08-01 19:33 -0400
Re: Hypothetical possibilities --- strawman deception Mikko <mikko.levanto@iki.fi> - 2024-08-03 12:42 +0300
csiph-web