Groups | Search | Server Info | Login | Register
Groups > comp.theory > #109117
| From | olcott <polcott333@gmail.com> |
|---|---|
| Newsgroups | comp.theory |
| Subject | Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement |
| Date | 2024-07-17 08:00 -0500 |
| Organization | A noiseless patient Spider |
| Message-ID | <v78fa7$1rc43$2@dont-email.me> (permalink) |
| References | (26 earlier) <v72i9m$jne3$1@dont-email.me> <v7367p$mjis$8@dont-email.me> <v755m4$15kf6$1@dont-email.me> <v75vl9$19j7l$7@dont-email.me> <v77p77$1nm3r$1@dont-email.me> |
On 7/17/2024 1:43 AM, Mikko wrote:
> On 2024-07-16 14:21:28 +0000, olcott said:
>>
>> When simulated input DDD stops running {if and only if}
>> the simulation of this input DDD has been aborted this
>> necessitates that input DDD specifies non-halting behavior
>
> DDD does not stop runnig unless it is completely exeuted.
_DDD()
[00002163] 55 push ebp ; housekeeping
[00002164] 8bec mov ebp,esp ; housekeeping
[00002166] 6863210000 push 00002163 ; push DDD
[0000216b] e853f4ffff call 000015c3 ; call HHH(DDD)
[00002170] 83c404 add esp,+04
[00002173] 5d pop ebp
[00002174] c3 ret
Size in bytes:(0018) [00002174]
DDD emulated by HHH according to the semantic meaning of
its x86 instructions never stop running unless aborted.
> Whether a
> simulation of DDD is discontinued before its completion depends on
> the simulator. It is perfectly possible to simulate the first 25
> machine instructions and stop there. If the simulated program does
> not terminate before 25 instructions that does not tell whther it
> ever terminates.
>
> You can construct a partial halt decider that simulates for example
> 1 000 000 000 instructions unless the program halts before and then
> reports that it failed to determine. That could be useful for many
> purposes.
>
--
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: 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 olcott <polcott333@gmail.com> - 2024-07-23 10:03 -0500
Re: Infinite set of HHH/DDD pairs --- truisms "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-23 18:46 +0200
Re: Infinite set of HHH/DDD pairs --- truisms olcott <polcott333@gmail.com> - 2024-07-23 12:54 -0500
Re: Infinite set of HHH/DDD pairs --- truisms "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-23 20:13 +0200
Re: Infinite set of HHH/DDD pairs --- truisms olcott <polcott333@gmail.com> - 2024-07-23 13:18 -0500
Re: Infinite set of HHH/DDD pairs --- truisms "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-23 20:55 +0200
Re: Infinite set of HHH/DDD pairs --- truisms olcott <polcott333@gmail.com> - 2024-07-23 14:17 -0500
Re: Infinite set of HHH/DDD pairs --- truisms "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-24 11:00 +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 --- Honest Dialogue ? --- Infinite set of HHH/DDD pairs olcott <polcott333@gmail.com> - 2024-07-23 09:29 -0500
Re: Liar detector: Peter Olcott--- Honest Dialogue ? --- Infinite set of HHH/DDD pairs that are all wrong Richard Damon <richard@damon-family.org> - 2024-07-23 22:16 -0400
Re: Liar detector: Fred, Richard, Joes and Alan --- Honest Dialogue ? --- Infinite set of HHH/DDD pairs Mikko <mikko.levanto@iki.fi> - 2024-07-25 12:44 +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
csiph-web