Groups | Search | Server Info | Login | Register
Groups > comp.theory > #108957
| From | Mikko <mikko.levanto@iki.fi> |
|---|---|
| Newsgroups | comp.theory |
| Subject | Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement |
| Date | 2024-07-15 10:19 +0300 |
| Organization | - |
| Message-ID | <v72ihr$jof9$1@dont-email.me> (permalink) |
| References | (26 earlier) <v6r9rg$30qtt$6@dont-email.me> <v6tbdc$3ge2u$1@dont-email.me> <v6tq47$3imib$4@dont-email.me> <v700c0$289t$1@dont-email.me> <v70n6d$61d8$4@dont-email.me> |
On 2024-07-14 14:26:21 +0000, olcott said:
> On 7/14/2024 2:56 AM, Mikko wrote:
>> On 2024-07-13 11:57:59 +0000, olcott said:
>>
>>> On 7/13/2024 2:46 AM, Mikko wrote:
>>>> On 2024-07-12 13:07:59 +0000, olcott said:
>>>>
>>>>> On 7/12/2024 2:55 AM, Mikko wrote:
>>>>>> On 2024-07-11 14:16:34 +0000, olcott said:
>>>>>>
>>>>>>> On 7/11/2024 1:50 AM, Mikko wrote:
>>>>>>>> On 2024-07-10 13:37:30 +0000, olcott said:
>>>>>>>>
>>>>>>>>> On 7/10/2024 2:18 AM, Mikko wrote:
>>>>>>>>>> On 2024-07-09 14:14:16 +0000, olcott said:
>>>>>>>>>>
>>>>>>>>>>> On 7/9/2024 1:14 AM, Mikko wrote:
>>>>>>>>>>>> On 2024-07-08 17:36:58 +0000, olcott said:
>>>>>>>>>>>>
>>>>>>>>>>>>> On 7/8/2024 11:16 AM, Fred. Zwarts wrote:
>>>>>>>>>>>>>> Op 08.jul.2024 om 18:07 schreef olcott:
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> Try to show how infinity is one cycle too soon.
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>> You believe that two equals infinity.
>>>>>>>>>>>>>
>>>>>>>>>>>>> void Infinite_Loop()
>>>>>>>>>>>>> {
>>>>>>>>>>>>> HERE: goto HERE;
>>>>>>>>>>>>> }
>>>>>>>>>>>>>
>>>>>>>>>>>>> void Infinite_Recursion()
>>>>>>>>>>>>> {
>>>>>>>>>>>>> Infinite_Recursion();
>>>>>>>>>>>>> }
>>>>>>>>>>>>>
>>>>>>>>>>>>> void DDD()
>>>>>>>>>>>>> {
>>>>>>>>>>>>> HHH(DDD);
>>>>>>>>>>>>> }
>>>>>>>>>>>>>
>>>>>>>>>>>>> Two cycles is enough to correctly determine that none
>>>>>>>>>>>>> of the above functions correctly emulated by HHH can
>>>>>>>>>>>>> possibly halt.
>>>>>>>>>>>>>
>>>>>>>>>>>>> That you don't see this is ignorance or deception.
>>>>>>>>>>>>
>>>>>>>>>>>> There is an important detail that determines whether an infinite
>>>>>>>>>>>> execution can be inferred. That is best illustrated by the following
>>>>>>>>>>>> examples:
>>>>>>>>>>>>
>>>>>>>>>>>> void Finite_Loop()
>>>>>>>>>>>> {
>>>>>>>>>>>> int x = 10000;
>>>>>>>>>>>> HERE:
>>>>>>>>>>>> if (x > 0) {
>>>>>>>>>>>> x--;
>>>>>>>>>>>> goto HERE;
>>>>>>>>>>>> }
>>>>>>>>>>>> }
>>>>>>>>>>>>
>>>>>>>>>>>> void Finite_Recursion(int n)
>>>>>>>>>>>> {
>>>>>>>>>>>> if (n > 0) {
>>>>>>>>>>>> Finite_Recursion(n + 1);
>>>>>>>>>>>> }
>>>>>>>>>>>> }
>>>>>>>>>>>>
>>>>>>>>>>>> void DDD()
>>>>>>>>>>>> {
>>>>>>>>>>>> HHH(DDD); // HHH detects recursive simulation and then simulates no more
>>>>>>>>>>>> }
>>>>>>>>>>>>
>>>>>>>>>>>> The important difference is that in my examples there is a conditional
>>>>>>>>>>>> instruction that can (and does) prevent infinite exectuion.
>>>>>>>>>>>>
>>>>>>>>>>>
>>>>>>>>>>> When we ask:
>>>>>>>>>>> Does the call from DDD emulated by HHH to HHH(DDD) return?
>>>>>>>>>>
>>>>>>>>>> Why would anyone ask that? A question should make clear its topic.
>>>>>>>>>> Instead one could ask whether HHH can fully emulate DDD if that is
>>>>>>>>>> what one wants to know. Or one may think that HHH and DDD are so
>>>>>>>>>> unimteresting that there is no point to ask anyting about them.
>>>>>>>>>
>>>>>>>>> A correct emulator can correctly any correct x86 instructions.
>>>>>>>>> When it emulates non-halting code then itself does not halt.
>>>>>>>>
>>>>>>>> Not quite right but should be easy to fix. There should be a verb before "any",
>>>>>>>> for example "execute". Of course there still is a probelm with the meaning
>>>>>>>> "any correct x86 instructions". Intel may publish a new x86 processor that has
>>>>>>>> instructios that the emulator cannot know but are nevertheless correct x86
>>>>>>>> instructions because Intel says so. In the second sentence "it" should be used
>>>>>>>> istead of "itself".
>>>>>>>>
>>>>>>>
>>>>>>> Intel has already done this and they call this x64.
>>>>>>> A 1907 Model-T Ford cannot have upgrades and still
>>>>>>> be a 1907 model-T Ford. Likewise for the x86 language.
>>>>>>
>>>>>> A new version of a 1907 Model-T Ford is possible and can have the same name
>>>>>> except that the "1907" must be replaced as it refers to the year. That the
>>>>>> "Model-T" is also replaced is a free chioce of Ford.
>>>>>>
>>>>>> Likewise Intel is free to call a new processor whatever they want to call it.
>>>>>>
>>>>>
>>>>> The x86 language is a fixed constant.
>>>>
>>>> Where has Intel promised so?
>>>>
>>>
>>> Backward compatibility requires it.
>>> https://en.wikipedia.org/wiki/X86_assembly_language#:~:text=x86%20assembly%20language%20is%20the,was%20launched%20in%20April%201972.
>>>
>>
>> That is about the assembly language, not about the machine instruction set.
>> It does not say much about backwards compatibitlity and does not say that
>> Intel has promised anything about that.
>>
>> Policy of backwards compatibilty does not mean that every x86 proscessor
>> has exactly the same machine language as 8086. Later version have introduced
>> new instructions and new processor modes and Intel is not prohibited from
>> adding still more in future models. It only means that the meanings of the
>> existing instructions are not changed when executed in existing modes.
>>
>
> When I refer to the x86 language I am referring to the minimal
> subset that runs the same way on compatible Intel 32-bit processors.
Then you should specify a specific instruction set, preferably the one
that your compiler uses.
--
Mikko
Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-05 17:48 +0200
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement olcott <polcott333@gmail.com> - 2024-07-05 10:54 -0500
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement Richard Damon <richard@damon-family.org> - 2024-07-05 12:16 -0400
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-06 11:09 +0200
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement olcott <polcott333@gmail.com> - 2024-07-06 08:01 -0500
Re: Liar detector: Peter Olcott who doesn't under stand Ben's agreement Richard Damon <richard@damon-family.org> - 2024-07-06 10:28 -0400
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-06 17:00 +0200
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement olcott <polcott333@gmail.com> - 2024-07-06 10:03 -0500
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement Richard Damon <richard@damon-family.org> - 2024-07-06 11:18 -0400
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-06 17:18 +0200
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement olcott <polcott333@gmail.com> - 2024-07-06 10:10 -0500
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement Richard Damon <richard@damon-family.org> - 2024-07-06 11:24 -0400
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement joes <noreply@example.org> - 2024-07-06 15:26 +0000
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement olcott <polcott333@gmail.com> - 2024-07-06 11:28 -0500
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement Richard Damon <richard@damon-family.org> - 2024-07-06 13:23 -0400
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-06 17:29 +0200
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement olcott <polcott333@gmail.com> - 2024-07-06 11:30 -0500
Re: Liar detector: Peter Olcott Richard Damon <richard@damon-family.org> - 2024-07-06 13:25 -0400
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-06 20:55 +0200
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement olcott <polcott333@gmail.com> - 2024-07-06 14:14 -0500
Re: Liar detector: Peter Olcott Richard Damon <richard@damon-family.org> - 2024-07-06 15:49 -0400
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement Richard Damon <richard@damon-family.org> - 2024-07-06 16:27 -0400
Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar olcott <polcott333@gmail.com> - 2024-07-06 16:02 -0500
Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar Richard Damon <richard@damon-family.org> - 2024-07-06 17:06 -0400
Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar? olcott <polcott333@gmail.com> - 2024-07-06 16:08 -0500
Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar? Richard Damon <richard@damon-family.org> - 2024-07-06 17:31 -0400
Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar? olcott <polcott333@gmail.com> - 2024-07-06 16:40 -0500
Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar? Richard Damon <richard@damon-family.org> - 2024-07-06 17:51 -0400
Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar? olcott <polcott333@gmail.com> - 2024-07-06 16:55 -0500
Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar? Richard Damon <richard@damon-family.org> - 2024-07-06 18:16 -0400
Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar? olcott <polcott333@gmail.com> - 2024-07-06 17:20 -0500
Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar? Richard Damon <richard@damon-family.org> - 2024-07-06 18:23 -0400
Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar? olcott <polcott333@gmail.com> - 2024-07-06 17:44 -0500
Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar? Richard Damon <richard@damon-family.org> - 2024-07-06 18:49 -0400
Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar? olcott <polcott333@gmail.com> - 2024-07-06 18:09 -0500
Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar? Richard Damon <richard@damon-family.org> - 2024-07-06 19:21 -0400
Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar? olcott <polcott333@gmail.com> - 2024-07-06 18:28 -0500
Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar? Richard Damon <richard@damon-family.org> - 2024-07-06 19:30 -0400
Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar? olcott <polcott333@gmail.com> - 2024-07-06 18:54 -0500
Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar? Richard Damon <richard@damon-family.org> - 2024-07-06 20:20 -0400
Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar? olcott <polcott333@gmail.com> - 2024-07-06 19:26 -0500
Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar? Richard Damon <richard@damon-family.org> - 2024-07-06 20:50 -0400
Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar! olcott <polcott333@gmail.com> - 2024-07-06 19:58 -0500
Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar! Richard Damon <richard@damon-family.org> - 2024-07-06 21:27 -0400
Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar !!! olcott <polcott333@gmail.com> - 2024-07-06 20:31 -0500
Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar !!! Richard Damon <richard@damon-family.org> - 2024-07-06 21:42 -0400
Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar !!! olcott <polcott333@gmail.com> - 2024-07-06 20:49 -0500
Re: Liar detector: Olcott is a Liar !!! Richard Damon <richard@damon-family.org> - 2024-07-06 22:09 -0400
Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar !!! olcott <polcott333@gmail.com> - 2024-07-06 21:17 -0500
Re: Liar detector: Peter Olcott is a Liar !!! Richard Damon <richard@damon-family.org> - 2024-07-06 22:30 -0400
Richard is a Liar olcott <polcott333@gmail.com> - 2024-07-06 21:44 -0500
Re: Richard is a Liar Richard Damon <richard@damon-family.org> - 2024-07-06 23:07 -0400
Re: Richard is a Liar olcott <polcott333@gmail.com> - 2024-07-06 22:36 -0500
Re: Olcott is a Liar Richard Damon <richard@damon-family.org> - 2024-07-07 07:13 -0400
Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-07-07 08:11 -0500
Re: Is Richard a Liar? joes <noreply@example.org> - 2024-07-07 13:15 +0000
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-07-07 08:37 -0500
Re: Olcott IS a Liar! Richard Damon <richard@damon-family.org> - 2024-07-07 13:28 -0400
Re: Richard is a Liar Mikko <mikko.levanto@iki.fi> - 2024-07-08 10:48 +0300
Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar? joes <noreply@example.org> - 2024-07-07 10:19 +0000
Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar? olcott <polcott333@gmail.com> - 2024-07-07 08:58 -0500
Re: Liar detector: Olcott is a LIAR. Richard Damon <richard@damon-family.org> - 2024-07-07 13:42 -0400
Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar? Mikko <mikko.levanto@iki.fi> - 2024-07-08 10:34 +0300
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-07 08:41 +0200
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement olcott <polcott333@gmail.com> - 2024-07-07 08:46 -0500
Re: Liar detector: Peter Olcott Richard Damon <richard@damon-family.org> - 2024-07-07 13:28 -0400
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement joes <noreply@example.org> - 2024-07-08 15:08 +0000
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement olcott <polcott333@gmail.com> - 2024-07-08 10:56 -0500
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement olcott <polcott333@gmail.com> - 2024-07-08 10:24 -0500
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement joes <noreply@example.org> - 2024-07-08 15:50 +0000
Re: Liar detector: Peter Olcott lies Richard Damon <richard@damon-family.org> - 2024-07-08 19:26 -0400
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement olcott <polcott333@gmail.com> - 2024-07-08 11:07 -0500
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-08 18:16 +0200
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement olcott <polcott333@gmail.com> - 2024-07-08 12:36 -0500
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement Mikko <mikko.levanto@iki.fi> - 2024-07-09 09:14 +0300
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement olcott <polcott333@gmail.com> - 2024-07-09 09:14 -0500
Re: Liar detector: Peter Olcott --- Ben's agreement Richard Damon <richard@damon-family.org> - 2024-07-09 22:51 -0400
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement Mikko <mikko.levanto@iki.fi> - 2024-07-10 10:18 +0300
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement olcott <polcott333@gmail.com> - 2024-07-10 08:37 -0500
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-10 16:11 +0200
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement olcott <polcott333@gmail.com> - 2024-07-10 09:17 -0500
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-10 16:46 +0200
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement joes <noreply@example.org> - 2024-07-10 18:35 +0000
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement joes <noreply@example.org> - 2024-07-10 18:27 +0000
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement Mikko <mikko.levanto@iki.fi> - 2024-07-11 09:56 +0300
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement olcott <polcott333@gmail.com> - 2024-07-11 09:40 -0500
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement Mikko <mikko.levanto@iki.fi> - 2024-07-12 10:49 +0300
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement olcott <polcott333@gmail.com> - 2024-07-12 08:07 -0500
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement Mikko <mikko.levanto@iki.fi> - 2024-07-13 10:48 +0300
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement olcott <polcott333@gmail.com> - 2024-07-13 07:07 -0500
Re: Liar detector: Peter Olcott --- Ben's agreement Richard Damon <richard@damon-family.org> - 2024-07-13 09:15 -0400
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement joes <noreply@example.org> - 2024-07-13 13:20 +0000
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement Mikko <mikko.levanto@iki.fi> - 2024-07-14 10:43 +0300
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement olcott <polcott333@gmail.com> - 2024-07-14 09:15 -0500
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement Mikko <mikko.levanto@iki.fi> - 2024-07-15 10:15 +0300
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement olcott <polcott333@gmail.com> - 2024-07-15 07:55 -0500
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement Mikko <mikko.levanto@iki.fi> - 2024-07-16 09:58 +0300
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement olcott <polcott333@gmail.com> - 2024-07-16 09:21 -0500
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-16 20:09 +0200
Re: Liar detector: Peter Olcott Richard Damon <richard@damon-family.org> - 2024-07-16 21:10 -0400
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement Mikko <mikko.levanto@iki.fi> - 2024-07-17 09:43 +0300
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement olcott <polcott333@gmail.com> - 2024-07-17 08:00 -0500
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-17 15:32 +0200
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement olcott <polcott333@gmail.com> - 2024-07-17 08:39 -0500
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-17 16:08 +0200
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement olcott <polcott333@gmail.com> - 2024-07-17 09:26 -0500
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-17 16:34 +0200
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement Mikko <mikko.levanto@iki.fi> - 2024-07-18 10:40 +0300
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement olcott <polcott333@gmail.com> - 2024-07-18 08:17 -0500
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-18 16:13 +0200
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement olcott <polcott333@gmail.com> - 2024-07-18 09:21 -0500
Re: Liar detector: Peter Olcott Richard Damon <richard@damon-family.org> - 2024-07-18 22:30 -0400
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-19 08:44 +0200
Re: Liar detector: Peter Olcott Richard Damon <richard@damon-family.org> - 2024-07-18 22:30 -0400
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement Mikko <mikko.levanto@iki.fi> - 2024-07-19 11:51 +0300
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement olcott <polcott333@gmail.com> - 2024-07-19 09:39 -0500
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement joes <noreply@example.org> - 2024-07-19 15:58 +0000
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement Mikko <mikko.levanto@iki.fi> - 2024-07-20 11:54 +0300
Re: Liar detector: Fred, Richard, Joes and Alan --- Honest Dialogue ? olcott <polcott333@gmail.com> - 2024-07-20 08:28 -0500
Re: Liar detector: Fred, Richard, Joes and Alan --- Honest Dialogue ? Richard Damon <richard@damon-family.org> - 2024-07-20 09:45 -0400
Re: Liar detector: Fred, Richard, Joes and Alan --- Honest Dialogue ? Mikko <mikko.levanto@iki.fi> - 2024-07-21 12:38 +0300
Re: Liar detector: Fred, Richard, Joes and Alan --- Honest Dialogue ? olcott <polcott333@gmail.com> - 2024-07-21 08:50 -0500
Re: Liar detector:Peter Olcott --- Honest Dialogue ? Richard Damon <richard@damon-family.org> - 2024-07-21 13:52 -0400
Re: Liar detector: Fred, Richard, Joes and Alan --- Honest Dialogue ? Mikko <mikko.levanto@iki.fi> - 2024-07-22 11:01 +0300
Re: Liar detector: Fred, Richard, Joes and Alan --- Honest Dialogue ? --- Infinite set of HHH/DDD pairs olcott <polcott333@gmail.com> - 2024-07-22 09:13 -0500
Re: Infinite set of HHH/DDD pairs joes <noreply@example.org> - 2024-07-22 14:32 +0000
Re: Infinite set of HHH/DDD pairs --- truisms olcott <polcott333@gmail.com> - 2024-07-22 10:08 -0500
Re: Infinite set of HHH/DDD pairs --- truisms "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-22 19:45 +0200
Re: Infinite set of HHH/DDD pairs --- truisms olcott <polcott333@gmail.com> - 2024-07-22 12:51 -0500
Re: Infinite set of HHH/DDD pairs --- truisms "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-22 20:16 +0200
Re: Infinite set of HHH/DDD pairs --- truisms olcott <polcott333@gmail.com> - 2024-07-22 13:31 -0500
Re: Infinite set of HHH/DDD pairs --- truisms "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-22 21:30 +0200
Re: Infinite set of HHH/DDD pairs --- truisms olcott <polcott333@gmail.com> - 2024-07-22 14:57 -0500
Re: Infinite set of HHH/DDD pairs --- truisms joes <noreply@example.org> - 2024-07-22 21:19 +0000
Re: Infinite set of HHH/DDD pairs --- truisms olcott <polcott333@gmail.com> - 2024-07-22 16:36 -0500
Re: Infinite set of HHH/DDD pairs --- truisms "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-23 10:24 +0200
Re: Infinite set of HHH/DDD pairs --- truisms "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-23 10:17 +0200
Re: Infinite set of HHH/DDD pairs --- truisms Richard Damon <richard@damon-family.org> - 2024-07-22 20:01 -0400
Re: Infinite set of HHH/DDD pairs --- truisms Richard Damon <richard@damon-family.org> - 2024-07-22 20:01 -0400
Re: Liar detector: Peter Olcott --- Honest Dialogue ? --- Infinite set of HHH/DDD pairs, all wrong Richard Damon <richard@damon-family.org> - 2024-07-22 20:00 -0400
Re: Liar detector: Fred, Richard, Joes and Alan --- Honest Dialogue ? --- Infinite set of HHH/DDD pairs Mikko <mikko.levanto@iki.fi> - 2024-07-23 10:14 +0300
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement olcott <polcott333@gmail.com> - 2024-07-13 07:15 -0500
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-13 14:28 +0200
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-13 14:38 +0200
Re: Liar detector: Petr Olcott --- Ben's agreement Richard Damon <richard@damon-family.org> - 2024-07-13 09:15 -0400
Re: Liar detector: Peter Olcott lies Richard Damon <richard@damon-family.org> - 2024-07-10 20:01 -0400
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement Mikko <mikko.levanto@iki.fi> - 2024-07-11 09:50 +0300
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement olcott <polcott333@gmail.com> - 2024-07-11 09:16 -0500
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement Richard Damon <richard@damon-family.org> - 2024-07-11 22:08 -0400
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement Mikko <mikko.levanto@iki.fi> - 2024-07-12 10:55 +0300
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement olcott <polcott333@gmail.com> - 2024-07-12 08:07 -0500
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement Mikko <mikko.levanto@iki.fi> - 2024-07-13 10:46 +0300
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement olcott <polcott333@gmail.com> - 2024-07-13 06:57 -0500
Re: Liar detector: Peter Olcott --- Ben's agreement Richard Damon <richard@damon-family.org> - 2024-07-13 09:15 -0400
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement Mikko <mikko.levanto@iki.fi> - 2024-07-14 10:56 +0300
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement olcott <polcott333@gmail.com> - 2024-07-14 09:26 -0500
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement Mikko <mikko.levanto@iki.fi> - 2024-07-15 10:19 +0300
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement olcott <polcott333@gmail.com> - 2024-07-15 07:59 -0500
Re: Liar detector: Peter Olcott Richard Damon <richard@damon-family.org> - 2024-07-15 22:16 -0400
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement Mikko <mikko.levanto@iki.fi> - 2024-07-16 10:02 +0300
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement olcott <polcott333@gmail.com> - 2024-07-16 09:23 -0500
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-09 10:56 +0200
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement olcott <polcott333@gmail.com> - 2024-07-09 09:06 -0500
Re: Liar detector: Peter Olcott --- Ben's agreement Richard Damon <richard@damon-family.org> - 2024-07-09 22:51 -0400
a complete emulation of this input could be done --- Liar olcott <polcott333@gmail.com> - 2024-07-09 22:18 -0500
Re: a complete emulation of this input could be done --- Liar Richard Damon <richard@damon-family.org> - 2024-07-10 07:24 -0400
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement olcott <polcott333@gmail.com> - 2024-07-08 10:04 -0500
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-08 18:04 +0200
Re: Liar detector: Peter Olcott found lying. Richard Damon <richard@damon-family.org> - 2024-07-08 19:26 -0400
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-08 16:25 +0200
csiph-web