Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.theory > #104381 > unrolled thread
| Started by | olcott <polcott333@gmail.com> |
|---|---|
| First post | 2024-05-05 12:02 -0500 |
| Last post | 2024-05-07 03:38 +0200 |
| Articles | 20 on this page of 643 — 19 participants |
Back to article view | Back to comp.theory
Every D(D) simulated by H presents non-halting behavior to H olcott <polcott333@gmail.com> - 2024-05-05 12:02 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-05 13:22 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H olcott <polcott333@gmail.com> - 2024-05-05 13:43 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-05 17:13 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H olcott <polcott333@gmail.com> - 2024-05-05 14:10 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-05 17:13 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H olcott <polcott333@gmail.com> - 2024-05-05 16:30 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-05 17:56 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H olcott <polcott333@gmail.com> - 2024-05-05 17:56 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-05 19:27 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H olcott <polcott333@gmail.com> - 2024-05-05 20:26 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-05 22:11 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H olcott <polcott333@gmail.com> - 2024-05-05 22:36 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-05 23:57 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H olcott <polcott333@gmail.com> - 2024-05-05 21:33 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-05 23:08 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H olcott <polcott333@gmail.com> - 2024-05-05 23:14 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-06 06:33 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H olcott <polcott333@gmail.com> - 2024-05-06 09:57 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-06 22:01 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H Mikko <mikko.levanto@iki.fi> - 2024-05-06 19:37 +0300
Re: Every D(D) simulated by H presents non-halting behavior to H olcott <polcott333@gmail.com> - 2024-05-06 13:31 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-06 22:04 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H Mikko <mikko.levanto@iki.fi> - 2024-05-07 10:12 +0300
Re: Every D(D) simulated by H presents non-halting behavior to H olcott <polcott333@gmail.com> - 2024-05-05 17:03 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H --- typo olcott <polcott333@gmail.com> - 2024-05-05 17:05 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-05 18:44 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H olcott <polcott333@gmail.com> - 2024-05-05 19:35 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-05 20:47 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H olcott <polcott333@gmail.com> - 2024-05-05 21:34 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-05 23:15 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H olcott <polcott333@gmail.com> - 2024-05-05 21:42 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-05 23:03 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H olcott <polcott333@gmail.com> - 2024-05-05 23:01 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-06 06:34 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H olcott <polcott333@gmail.com> - 2024-05-06 10:16 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-06 22:08 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H olcott <polcott333@gmail.com> - 2024-05-05 19:53 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-05 21:36 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H olcott <polcott333@gmail.com> - 2024-05-05 22:29 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-05 23:47 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H olcott <polcott333@gmail.com> - 2024-05-05 21:36 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-05 23:05 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H --- olcott <polcott333@gmail.com> - 2024-05-05 23:11 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H --- Richard Damon <richard@damon-family.org> - 2024-05-06 06:33 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H --- olcott <polcott333@gmail.com> - 2024-05-06 09:52 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H --- Richard Damon <richard@damon-family.org> - 2024-05-06 22:11 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H olcott <polcott333@gmail.com> - 2024-05-05 14:40 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-05 17:13 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H olcott <polcott333@gmail.com> - 2024-05-05 16:31 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-05 19:29 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H immibis <news@immibis.com> - 2024-05-07 03:39 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H +++ olcott <polcott333@gmail.com> - 2024-05-06 22:00 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H +++ Richard Damon <richard@damon-family.org> - 2024-05-06 23:07 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H +++ olcott <polcott333@gmail.com> - 2024-05-06 22:36 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H +++ Richard Damon <richard@damon-family.org> - 2024-05-06 23:55 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H +++ olcott <polcott333@gmail.com> - 2024-05-06 22:59 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H +++ Richard Damon <richard@damon-family.org> - 2024-05-07 00:09 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H +++ olcott <polcott333@gmail.com> - 2024-05-06 23:13 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H +++ Richard Damon <richard@damon-family.org> - 2024-05-07 07:16 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H +++ olcott <polcott333@gmail.com> - 2024-05-07 09:35 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H +++ Richard Damon <richard@damon-family.org> - 2024-05-07 22:46 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H +++ immibis <news@immibis.com> - 2024-05-09 03:33 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H +++ immibis <news@immibis.com> - 2024-05-09 03:32 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H @@@ olcott <polcott333@gmail.com> - 2024-05-08 20:44 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H Mikko <mikko.levanto@iki.fi> - 2024-05-06 19:19 +0300
Re: Every D(D) simulated by H presents non-halting behavior to H olcott <polcott333@gmail.com> - 2024-05-06 13:28 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-06 22:13 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H === olcott <polcott333@gmail.com> - 2024-05-06 21:36 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H === Richard Damon <richard@damon-family.org> - 2024-05-06 23:17 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H === olcott <polcott333@gmail.com> - 2024-05-06 22:39 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H === Richard Damon <richard@damon-family.org> - 2024-05-06 23:55 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H === olcott <polcott333@gmail.com> - 2024-05-06 22:57 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H === Richard Damon <richard@damon-family.org> - 2024-05-07 00:08 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H === olcott <polcott333@gmail.com> - 2024-05-06 23:11 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H === Richard Damon <richard@damon-family.org> - 2024-05-07 07:17 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H === olcott <polcott333@gmail.com> - 2024-05-07 09:40 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H === Richard Damon <richard@damon-family.org> - 2024-05-07 22:26 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H === olcott <polcott333@gmail.com> - 2024-05-07 21:33 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H === Richard Damon <richard@damon-family.org> - 2024-05-07 22:48 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H === olcott <polcott333@gmail.com> - 2024-05-07 22:16 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H === Richard Damon <richard@damon-family.org> - 2024-05-08 07:38 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H === olcott <polcott333@gmail.com> - 2024-05-07 12:31 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H === Richard Damon <richard@damon-family.org> - 2024-05-07 18:42 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H === olcott <polcott333@gmail.com> - 2024-05-07 18:30 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H === Richard Damon <richard@damon-family.org> - 2024-05-07 22:29 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H === olcott <polcott333@gmail.com> - 2024-05-07 21:39 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H === Richard Damon <richard@damon-family.org> - 2024-05-07 22:51 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H @@@ olcott <polcott333@gmail.com> - 2024-05-07 22:29 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H @@@ olcott <polcott333@gmail.com> - 2024-05-07 23:03 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H @@@ Richard Damon <richard@damon-family.org> - 2024-05-08 07:39 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H @@@ olcott <polcott333@gmail.com> - 2024-05-08 14:36 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H @@@ Richard Damon <richard@damon-family.org> - 2024-05-08 21:27 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H @@@ olcott <polcott333@gmail.com> - 2024-05-08 20:45 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H @@@ Richard Damon <richard@damon-family.org> - 2024-05-08 22:35 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H @@@ olcott <polcott333@gmail.com> - 2024-05-08 20:46 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H @@@ Richard Damon <richard@damon-family.org> - 2024-05-08 22:36 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H @@@ olcott <polcott333@gmail.com> - 2024-05-08 20:47 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H @@@ Richard Damon <richard@damon-family.org> - 2024-05-08 22:36 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H @@@ joes <noreply@example.com> - 2024-05-09 12:34 +0000
Re: Every D(D) simulated by H presents non-halting behavior to H @@@ Richard Damon <richard@damon-family.org> - 2024-05-08 07:39 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H @@@ olcott <polcott333@gmail.com> - 2024-05-08 08:21 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H @@@ Richard Damon <richard@damon-family.org> - 2024-05-08 21:28 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H @@@ olcott <polcott333@gmail.com> - 2024-05-08 20:33 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H @@@ Richard Damon <richard@damon-family.org> - 2024-05-08 22:37 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H @@@ olcott <polcott333@gmail.com> - 2024-05-08 22:49 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H @@@ Richard Damon <richard@damon-family.org> - 2024-05-09 07:25 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H === olcott <polcott333@gmail.com> - 2024-05-07 19:37 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H === Richard Damon <richard@damon-family.org> - 2024-05-07 22:31 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H === olcott <polcott333@gmail.com> - 2024-05-07 21:19 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H === Richard Damon <richard@damon-family.org> - 2024-05-07 22:32 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H === immibis <news@immibis.com> - 2024-05-09 03:35 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H Mikko <mikko.levanto@iki.fi> - 2024-05-07 10:30 +0300
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-07 07:18 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H olcott <polcott333@gmail.com> - 2024-05-07 10:40 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-07 18:31 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H olcott <polcott333@gmail.com> - 2024-05-07 12:02 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-07 22:42 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-07 22:39 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H Mikko <mikko.levanto@iki.fi> - 2024-05-08 11:54 +0300
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-08 07:39 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-07 20:54 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H olcott <polcott333@gmail.com> - 2024-05-07 14:05 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-07 22:40 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H olcott <polcott333@gmail.com> - 2024-05-07 16:23 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-08 11:07 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H olcott <polcott333@gmail.com> - 2024-05-08 08:07 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-08 20:48 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-08 21:28 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H olcott <polcott333@gmail.com> - 2024-05-08 14:23 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-08 21:28 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-09 08:43 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-09 07:28 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H --- Mutually honest dialogue olcott <polcott333@gmail.com> - 2024-05-09 14:15 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H --- Mutually honest dialogue Richard Damon <richard@damon-family.org> - 2024-05-09 22:31 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H --- Mutually honest dialogue olcott <polcott333@gmail.com> - 2024-05-09 22:23 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H --- Mutually honest dialogue Richard Damon <richard@damon-family.org> - 2024-05-10 10:18 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H --- Mutually honest dialogue Mikko <mikko.levanto@iki.fi> - 2024-05-10 11:09 +0300
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-07 22:43 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H Mikko <mikko.levanto@iki.fi> - 2024-05-08 11:59 +0300
Re: Every D(D) simulated by H presents non-halting behavior to H olcott <polcott333@gmail.com> - 2024-05-08 08:01 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2024-05-08 16:13 +0100
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-08 14:05 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### immibis <news@immibis.com> - 2024-05-09 03:38 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-09 10:38 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-09 22:31 -0400
Richard tried to get away with this falsehood olcott <polcott333@gmail.com> - 2024-05-09 22:10 -0500
Re: Olcott doesn't understand logic Richard Damon <richard@damon-family.org> - 2024-05-10 10:18 -0400
Richard KEEPS TRYING to get away with this falsehood olcott <polcott333@gmail.com> - 2024-05-10 10:50 -0500
Re: Richard KEEPS TRYING to get away with this falsehood Richard Damon <richard@damon-family.org> - 2024-05-10 12:12 -0400
Re: Richard KEEPS TRYING to get away with this falsehood olcott <polcott333@gmail.com> - 2024-05-10 12:49 -0500
Olcott keeps on lying. Richard Damon <richard@damon-family.org> - 2024-05-10 16:09 -0400
Richard KEEPS TRYING to get away with this falsehood olcott <polcott333@gmail.com> - 2024-05-10 15:27 -0500
Re: Richard KEEPS TRYING to get away with this falsehood Richard Damon <richard@damon-family.org> - 2024-05-10 16:50 -0400
Re: Richard KEEPS TRYING to get away with this falsehood olcott <polcott333@gmail.com> - 2024-05-10 16:11 -0500
Olcott thinks something isn't iteself. Richard Damon <richard@damon-family.org> - 2024-05-10 17:19 -0400
Richard KEEPS TRYING to get away with this falsehood olcott <polcott333@gmail.com> - 2024-05-10 16:43 -0500
Olcott can't tell the difference between a machine and an infinte set of machines Richard Damon <richard@damon-family.org> - 2024-05-10 17:59 -0400
Richard KEEPS TRYING to get away with falsehood olcott <polcott333@gmail.com> - 2024-05-10 17:28 -0500
Olcott thinks One is Infinity Richard Damon <richard@damon-family.org> - 2024-05-10 18:39 -0400
Richard seems to be a liar. olcott <polcott333@gmail.com> - 2024-05-10 18:39 -0500
Olcott doesn't know the difference between an element an the set Richard Damon <richard@damon-family.org> - 2024-05-10 22:17 -0400
Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-10 21:21 -0500
Re: Is Richard a Liar? No, but Olcott is. Richard Damon <richard@damon-family.org> - 2024-05-10 22:39 -0400
Richard must be educated on what a termination analyzer is olcott <polcott333@gmail.com> - 2024-05-10 21:49 -0500
Olcott admits to creating defintion out of his *ss Richard Damon <richard@damon-family.org> - 2024-05-10 23:16 -0400
Re: Is Richard a Liar? Mikko <mikko.levanto@iki.fi> - 2024-05-11 11:27 +0300
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-11 11:26 -0500
Re: Is Oclott a Liar? Richard Damon <richard@damon-family.org> - 2024-05-11 12:46 -0400
Re: Is Richard a Liar? Mikko <mikko.levanto@iki.fi> - 2024-05-12 12:19 +0300
Re: Is Richard a Liar? Richard Damon <richard@damon-family.org> - 2024-05-12 07:34 -0400
Re: Is Richard a Liar? Mikko <mikko.levanto@iki.fi> - 2024-05-12 18:21 +0300
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-12 10:58 -0500
Olcott admits to being a liar! Richard Damon <richard@damon-family.org> - 2024-05-12 12:57 -0400
Re: Is Richard a Liar? Mikko <mikko.levanto@iki.fi> - 2024-05-14 12:44 +0300
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-14 09:21 -0500
Re: Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-14 22:15 -0400
Re: Is Richard a Liar? Mikko <mikko.levanto@iki.fi> - 2024-05-15 11:04 +0300
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-15 10:03 -0500
Re: Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-15 20:24 -0400
Re: Is Richard a Liar? Mikko <mikko.levanto@iki.fi> - 2024-05-16 13:15 +0300
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-16 09:37 -0500
Re: Olcott is a patholgociat liar! Richard Damon <richard@damon-family.org> - 2024-05-16 22:29 -0400
Re: Is Richard a Liar? Mikko <mikko.levanto@iki.fi> - 2024-05-17 12:28 +0300
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-17 11:07 -0500
Re: Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-17 21:07 -0400
Re: Olcott is a Liar! Mikko <mikko.levanto@iki.fi> - 2024-05-18 13:38 +0300
Re: Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-18 08:43 -0400
Richard is proven to be incorrect on a key point olcott <polcott333@gmail.com> - 2024-05-18 09:53 -0500
Re: Richard is proven to be incorrect on a key point Richard Damon <richard@damon-family.org> - 2024-05-18 11:03 -0400
Re: Is Richard a Liar? Mikko <mikko.levanto@iki.fi> - 2024-05-18 13:33 +0300
embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩ where embedded_H is based on a UTM olcott <polcott333@gmail.com> - 2024-05-18 09:50 -0500
Re: embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩ where embedded_H is based on a UTM Richard Damon <richard@damon-family.org> - 2024-05-18 11:06 -0400
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-14 09:32 -0500
Re: Is Richard a Liar? Alan Mackenzie <acm@muc.de> - 2024-05-14 15:08 +0000
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-14 10:30 -0500
Re: Is Richard a Liar? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-14 17:42 +0200
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-14 10:45 -0500
Re: Is Richard a Liar? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-14 18:13 +0200
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-14 12:14 -0500
Re: Is Richard a Liar? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-14 19:49 +0200
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-14 12:52 -0500
Re: Is Richard a Liar? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-14 20:30 +0200
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-14 13:40 -0500
Re: Is Richard a Liar? joes <noreply@example.com> - 2024-05-14 19:01 +0000
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-14 14:34 -0500
Re: Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-14 22:15 -0400
Re: Is Richard a Liar? Mikko <mikko.levanto@iki.fi> - 2024-05-15 11:17 +0300
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-15 10:10 -0500
Re: Is Richard a Liar? joes <noreply@example.com> - 2024-05-15 16:20 +0000
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-15 11:59 -0500
Re: Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-15 20:25 -0400
Re: Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-15 20:24 -0400
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-16 10:34 -0500
Re: Is Richard a Liar? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-16 17:53 +0200
Re: Olcott is a patholgociat liar! Richard Damon <richard@damon-family.org> - 2024-05-16 22:29 -0400
Re: Is Richard a Liar? Mikko <mikko.levanto@iki.fi> - 2024-05-17 12:42 +0300
Every D correctly simulated by H never reaches its final state and halts V2 olcott <polcott333@gmail.com> - 2024-05-17 11:27 -0500
Re: Every D correctly simulated by H never reaches its final state and halts V2 Richard Damon <richard@damon-family.org> - 2024-05-17 21:06 -0400
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-17 13:18 -0500
Re: Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-17 21:07 -0400
Re: Is Richard a Liar? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-14 21:36 +0200
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-14 14:42 -0500
Re: Is Richard a Liar? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-14 22:05 +0200
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-14 15:13 -0500
Re: Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-14 22:15 -0400
Re: Is Richard a Liar? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-15 08:21 +0200
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-15 09:02 -0500
Re: Is Richard a Liar? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-15 16:50 +0200
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-15 11:27 -0500
Re: Is Richard a Liar? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-15 20:19 +0200
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-15 13:39 -0500
Re: Is Richard a Liar? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-15 21:13 +0200
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-15 15:10 -0500
Re: Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-15 20:25 -0400
Re: Is Richard a Liar? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-16 08:41 +0200
Re: Is Richard a Liar? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-16 12:36 +0200
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-16 09:54 -0500
Re: Is Richard a Liar? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-16 17:12 +0200
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-16 11:04 -0500
Re: Is Richard a Liar? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-16 20:55 +0200
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-16 14:32 -0500
Re: Olcott is a patholgociat liar! Richard Damon <richard@damon-family.org> - 2024-05-16 22:29 -0400
Re: Is Richard a Liar? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-17 09:41 +0200
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-17 10:31 -0500
Re: Is Richard a Liar? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-17 18:24 +0200
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-17 12:18 -0500
Re: Is Richard a Liar? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-17 21:02 +0200
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-17 14:34 -0500
Re: Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-17 21:06 -0400
Re: Is Richard a Liar? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-18 10:45 +0200
Re: Is Richard a Liar? joes <noreply@example.com> - 2024-05-18 10:43 +0000
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-18 10:34 -0500
Re: Is Richard a Liar? Richard Damon <richard@damon-family.org> - 2024-05-18 11:40 -0400
Re: Is Richard a Liar? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-18 14:13 +0200
Re: Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-17 21:07 -0400
Re: Olcott is a Liar? Richard Damon <richard@damon-family.org> - 2024-05-17 21:07 -0400
No Message-ID therefore construed as Liar olcott <polcott333@gmail.com> - 2024-05-17 23:05 -0500
Re: No Message-ID therefore construed as Liar Richard Damon <richard@damon-family.org> - 2024-05-18 07:24 -0400
Re: No Message-ID therefore construed as Liar olcott <polcott333@gmail.com> - 2024-05-18 07:53 -0500
Re: No Message-ID therefore construed as Liar. Message ID Provided, so OLCOTT is the LIAR. Richard Damon <richard@damon-family.org> - 2024-05-18 09:13 -0400
Re: Is Richard a Liar? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-17 10:26 +0200
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-17 10:38 -0500
Re: Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-17 21:07 -0400
Re: Is Richard a Liar? Mikko <mikko.levanto@iki.fi> - 2024-05-17 12:50 +0300
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-17 11:34 -0500
Re: Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-17 21:07 -0400
Re: Olcott is a Liar! Mikko <mikko.levanto@iki.fi> - 2024-05-18 15:43 +0300
Re: Olcott is a patholgociat liar! Richard Damon <richard@damon-family.org> - 2024-05-16 22:29 -0400
Re: Is Richard a Liar? Mikko <mikko.levanto@iki.fi> - 2024-05-17 12:47 +0300
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-17 11:31 -0500
Re: Olcott is a patholgociat liar! Richard Damon <richard@damon-family.org> - 2024-05-16 22:29 -0400
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-16 10:17 -0500
Re: Olcott is a patholgociat liar! Richard Damon <richard@damon-family.org> - 2024-05-16 22:29 -0400
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-17 13:24 -0500
Re: Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-17 21:07 -0400
Re: Is Richard a Liar? joes <noreply@example.com> - 2024-05-18 10:12 +0000
Re: Is Richard a Liar? immibis <news@immibis.com> - 2024-05-18 10:55 +0200
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-18 10:27 -0500
Re: Is Richard a Liar? Richard Damon <richard@damon-family.org> - 2024-05-18 11:31 -0400
Re: Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-15 20:25 -0400
Re: Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-15 20:25 -0400
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-15 11:56 -0500
Re: Is Richard a Liar? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-15 20:26 +0200
Re: Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-15 20:25 -0400
Re: Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-15 20:25 -0400
Re: Is Richard a Liar? joes <noreply@example.com> - 2024-05-15 06:27 +0000
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-15 09:09 -0500
Re: Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-15 20:25 -0400
Re: Is Richard a Liar? Mikko <mikko.levanto@iki.fi> - 2024-05-15 11:25 +0300
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-15 10:47 -0500
Re: Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-15 20:25 -0400
Re: Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-14 22:15 -0400
Re: Is Richard a Liar? Mikko <mikko.levanto@iki.fi> - 2024-05-15 11:21 +0300
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-15 10:43 -0500
Re: Is Richard a Liar? joes <noreply@example.com> - 2024-05-15 16:26 +0000
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-15 12:04 -0500
Re: Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-15 20:24 -0400
Re: Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-15 20:24 -0400
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-16 10:10 -0500
Re: Olcott is a patholgociat liar! Richard Damon <richard@damon-family.org> - 2024-05-16 22:29 -0400
Re: Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-14 22:16 -0400
Re: Is Richard a Liar? No! Alan Mackenzie <acm@muc.de> - 2024-05-15 13:40 +0000
Re: Is Richard a Liar? No! olcott <polcott333@gmail.com> - 2024-05-15 09:16 -0500
Re: Is Richard a Liar? No! Alan Mackenzie <acm@muc.de> - 2024-05-15 14:54 +0000
Re: Is Richard a Liar? No! olcott <polcott333@gmail.com> - 2024-05-15 11:34 -0500
Re: Is Richard a Liar? No! Alan Mackenzie <acm@muc.de> - 2024-05-15 17:04 +0000
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-15 12:10 -0500
Re: Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-15 20:24 -0400
Re: Is Richard a Liar? No! Richard Damon <richard@damon-family.org> - 2024-05-15 20:24 -0400
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-15 11:57 -0500
Re: Is Richard a Liar? Alan Mackenzie <acm@muc.de> - 2024-05-15 18:04 +0000
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-15 13:33 -0500
Re: Is Richard a Liar? Alan Mackenzie <acm@muc.de> - 2024-05-15 19:29 +0000
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-15 15:18 -0500
Re: Is Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-15 20:24 -0400
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-15 17:50 -0500
Re: Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-15 20:24 -0400
Re: Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-15 20:24 -0400
Re: Is Richard a Liar? No! Richard Damon <richard@damon-family.org> - 2024-05-15 20:24 -0400
Re: Is Richard a Liar? No! olcott <polcott333@gmail.com> - 2024-05-15 09:19 -0500
Re: Is Richard a Liar? No! (Glad you argree) Richard Damon <richard@damon-family.org> - 2024-05-15 20:24 -0400
Re: Olcott is a Pathological Liar! Richard Damon <richard@damon-family.org> - 2024-05-14 22:15 -0400
Re: Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-14 22:15 -0400
Re: Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-14 22:15 -0400
Re: Is Richard a Liar? immibis <news@immibis.com> - 2024-05-15 23:28 +0200
Re: Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-14 22:15 -0400
Re: Is Richard a Liar? Mikko <mikko.levanto@iki.fi> - 2024-05-15 11:06 +0300
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-15 10:06 -0500
Re: Olcott Is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-15 20:24 -0400
Re: Is Richard a Liar? Mikko <mikko.levanto@iki.fi> - 2024-05-16 13:42 +0300
Nature of undecidable halting joes <noreply@example.com> - 2024-05-16 13:20 +0000
Re: Nature of undecidable halting --- Connecting truth-bearers to their truthmaker olcott <polcott333@gmail.com> - 2024-05-16 10:00 -0500
Re: Nature of undecidable halting --- Connecting truth-bearers to their truthmaker Richard Damon <richard@damon-family.org> - 2024-05-16 23:11 -0400
Re: Nature of undecidable halting Mikko <mikko.levanto@iki.fi> - 2024-05-17 13:04 +0300
Re: Nature of undecidable halting ---Handling undecidable inputs olcott <polcott333@gmail.com> - 2024-05-17 11:49 -0500
Re: Nature of undecidable halting ---Handling undecidable inputs Richard Damon <richard@damon-family.org> - 2024-05-17 21:06 -0400
Unconventional partial halt decider and grounding to a truthmaker olcott <polcott333@gmail.com> - 2024-05-16 09:48 -0500
Re: Unconventional partial halt decider and grounding to a truthmaker Richard Damon <richard@damon-family.org> - 2024-05-16 22:29 -0400
Re: Unconventional partial halt decider and grounding to a truthmaker joes <noreply@example.com> - 2024-05-17 07:09 +0000
Re: Unconventional partial halt decider and grounding to a truthmaker Ben Bacarisse <ben@bsb.me.uk> - 2024-05-17 13:50 +0100
Re: Unconventional partial halt decider and grounding to a truthmaker olcott <polcott333@gmail.com> - 2024-05-17 10:28 -0500
Re: Unconventional partial halt decider and grounding to a truthmaker -- Reply to Ben's long standing objection olcott <polcott333@gmail.com> - 2024-05-17 13:42 -0500
Reply to Ben's long standing objection --- I finally have the words olcott <polcott333@gmail.com> - 2024-05-17 13:46 -0500
Re: Reply to Ben's long standing objection --- I finally have the words Richard Damon <richard@damon-family.org> - 2024-05-17 21:07 -0400
Re: Unconventional partial halt decider and grounding to a truthmaker Mikko <mikko.levanto@iki.fi> - 2024-05-17 13:45 +0300
Re: Unconventional partial halt decider and grounding to a truthmaker olcott <polcott333@gmail.com> - 2024-05-17 12:01 -0500
Re: Unconventional partial halt decider and grounding to a truthmaker olcott <polcott333@gmail.com> - 2024-05-18 12:11 -0500
Re: Unconventional partial halt decider and grounding to a truthmaker Richard Damon <richard@damon-family.org> - 2024-05-18 13:22 -0400
Re: Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-12 08:51 -0500
Re: Richard KEEPS TRYING to get away with this falsehood immibis <news@immibis.com> - 2024-05-13 06:53 +0200
Re: Richard KEEPS TRYING to get away with this falsehood olcott <polcott333@gmail.com> - 2024-05-13 08:19 -0500
Re: Richard KEEPS TRYING to get away with this falsehood immibis <news@immibis.com> - 2024-05-13 23:49 +0200
Re: Richard KEEPS TRYING to get away with this falsehood olcott <polcott333@gmail.com> - 2024-05-13 17:51 -0500
Re: Richard KEEPS TRYING to get away with this falsehood immibis <news@immibis.com> - 2024-05-14 02:17 +0200
Re: Richard KEEPS TRYING to get away with this falsehood olcott <polcott333@gmail.com> - 2024-05-13 19:37 -0500
Re: Olcott KEEPS LYING about Richard not refuting his statemnt. Richard Damon <richard@damon-family.org> - 2024-05-13 21:51 -0400
Re: Olcott KEEPS TRYING to get away with this falsehood Richard Damon <richard@damon-family.org> - 2024-05-13 20:29 -0400
Re: Olcott KEEPS TRYING to get away with this falsehood Richard Damon <richard@damon-family.org> - 2024-05-13 20:30 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### Alan Mackenzie <acm@muc.de> - 2024-05-10 17:55 +0000
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-10 13:01 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Alan Mackenzie <acm@muc.de> - 2024-05-10 18:38 +0000
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-10 14:16 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-10 16:09 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### Alan Mackenzie <acm@muc.de> - 2024-05-11 09:48 +0000
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-11 10:02 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-11 11:36 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H +++ olcott <polcott333@gmail.com> - 2024-05-11 11:48 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H +++ Richard Damon <richard@damon-family.org> - 2024-05-11 12:58 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H +++ olcott <polcott333@gmail.com> - 2024-05-11 12:36 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H +++ Richard Damon <richard@damon-family.org> - 2024-05-11 19:25 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### Alan Mackenzie <acm@muc.de> - 2024-05-11 17:14 +0000
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-11 12:28 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-11 19:25 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-10 16:09 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### immibis <news@immibis.com> - 2024-05-13 06:54 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-13 00:19 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### immibis <news@immibis.com> - 2024-05-13 07:29 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-13 08:40 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-13 20:30 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-13 07:22 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### Mikko <mikko.levanto@iki.fi> - 2024-05-13 12:14 +0300
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-13 09:43 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### immibis <news@immibis.com> - 2024-05-14 00:20 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-13 18:00 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-13 20:30 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-13 20:30 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### Mikko <mikko.levanto@iki.fi> - 2024-05-14 12:52 +0300
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-14 09:35 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-14 22:16 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### Mikko <mikko.levanto@iki.fi> - 2024-05-15 11:18 +0300
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-15 10:24 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### joes <noreply@example.com> - 2024-05-15 16:23 +0000
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-15 12:01 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-15 20:24 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-15 20:24 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### Mikko <mikko.levanto@iki.fi> - 2024-05-16 13:48 +0300
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-16 09:50 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Alan Mackenzie <acm@muc.de> - 2024-05-16 16:15 +0000
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-16 11:39 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Mikko <mikko.levanto@iki.fi> - 2024-05-17 13:56 +0300
Re: Every D(D) simulated by H presents non-halting behavior to H ### Alan Mackenzie <acm@muc.de> - 2024-05-17 20:02 +0000
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-17 18:00 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### André G. Isaak <agisaak@gm.invalid> - 2024-05-17 17:15 -0600
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-17 19:10 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-17 19:24 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### André G. Isaak <agisaak@gm.invalid> - 2024-05-18 20:58 -0600
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-18 22:27 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### immibis <news@immibis.com> - 2024-05-19 05:45 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-18 22:50 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-19 08:07 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### immibis <news@immibis.com> - 2024-05-19 14:15 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-19 08:11 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-19 13:17 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### immibis <news@immibis.com> - 2024-05-20 11:01 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H ### Mikko <mikko.levanto@iki.fi> - 2024-05-20 12:06 +0300
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-19 08:03 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-17 19:34 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-17 21:06 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-18 10:30 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-18 09:20 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-17 18:45 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Mikko <mikko.levanto@iki.fi> - 2024-05-17 13:53 +0300
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-17 12:14 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-17 21:06 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### Mikko <mikko.levanto@iki.fi> - 2024-05-18 16:02 +0300
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-18 10:07 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-18 11:11 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### DFS <nospam@dfs.com> - 2024-05-18 21:52 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### immibis <news@immibis.com> - 2024-05-19 04:22 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H ### "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-20 11:30 -0700
Re: Every D(D) simulated by H presents non-halting behavior to H ### Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2024-05-20 14:09 -0700
Re: Every D(D) simulated by H presents non-halting behavior to H ### "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-20 14:12 -0700
Re: Every D(D) simulated by H presents non-halting behavior to H ### Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2024-05-20 14:34 -0700
Re: Every D(D) simulated by H presents non-halting behavior to H ### "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-21 13:29 -0700
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-20 16:32 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### gazelle@shell.xmission.com (Kenny McCormack) - 2024-05-20 21:46 +0000
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-18 22:21 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-18 22:42 -0700
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-19 08:08 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-19 12:48 -0700
Re: Every D(D) simulated by H presents non-halting behavior to H ### immibis <news@immibis.com> - 2024-05-20 11:16 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H ### David Brown <david.brown@hesbynett.no> - 2024-05-20 14:00 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H ### gazelle@shell.xmission.com (Kenny McCormack) - 2024-05-20 14:11 +0000
Re: Every D(D) simulated by H presents non-halting behavior to H ### Alan Mackenzie <acm@muc.de> - 2024-05-20 16:43 +0000
Topicality: Who really cares? (Was: Every D(D) simulated by H presents non-halting behavior to H ###) gazelle@shell.xmission.com (Kenny McCormack) - 2024-05-20 17:45 +0000
Re: Topicality: Who really cares? (Was: Every D(D) simulated by H presents non-halting behavior to H ###) David Brown <david.brown@hesbynett.no> - 2024-05-21 11:36 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H ### "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-20 11:28 -0700
Re: Every D(D) simulated by H presents non-halting behavior to H ### David Brown <david.brown@hesbynett.no> - 2024-05-21 11:36 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H ### James Kuyper <jameskuyper@alumni.caltech.edu> - 2024-05-21 11:47 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### David Brown <david.brown@hesbynett.no> - 2024-05-21 20:27 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H ### "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-21 12:10 -0700
Re: Every D(D) simulated by H presents non-halting behavior to H ### Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2024-05-21 13:13 -0700
Re: Every D(D) simulated by H presents non-halting behavior to H ### David Brown <david.brown@hesbynett.no> - 2024-05-22 10:50 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H ### "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-23 17:27 -0700
Re: Every D(D) simulated by H presents non-halting behavior to H ### immibis <news@immibis.com> - 2024-05-21 06:47 +0200
Lying meets the standard of losing defamation cases olcott <polcott333@gmail.com> - 2024-05-21 00:03 -0500
Re: Lying meets the standard of losing defamation cases Richard Damon <richard@damon-family.org> - 2024-05-21 07:54 -0400
Lying meets the standard of losing defamation cases olcott <polcott333@gmail.com> - 2024-05-21 00:05 -0500
Re: Lying meets the standard of losing defamation cases Richard Damon <richard@damon-family.org> - 2024-05-21 07:56 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2024-05-20 22:35 -0700
Re: Every D(D) simulated by H presents non-halting behavior to H ### gazelle@shell.xmission.com (Kenny McCormack) - 2024-05-21 08:52 +0000
Re: Every D(D) simulated by H presents non-halting behavior to H ### immibis <news@immibis.com> - 2024-05-21 10:56 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H ### David Brown <david.brown@hesbynett.no> - 2024-05-21 11:36 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H ### James Kuyper <jameskuyper@alumni.caltech.edu> - 2024-05-21 11:48 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### immibis <news@immibis.com> - 2024-05-21 18:10 +0200
Thought control??? (Was: Every D(D) simulated by H presents non-halting behavior to H ###) gazelle@shell.xmission.com (Kenny McCormack) - 2024-05-21 17:16 +0000
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-21 21:46 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2024-05-21 20:13 -0700
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <NoOne@NoWhere.com> - 2024-05-21 22:55 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-22 07:48 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### immibis <news@immibis.com> - 2024-05-22 07:41 +0200
Re: Policy dispute (Was: Every D(D) simulated by H presents non-halting behavior to H ###) gazelle@shell.xmission.com (Kenny McCormack) - 2024-05-22 12:56 +0000
Re: Policy dispute (Was: Every D(D) simulated by H presents non-halting behavior to H ###) immibis <news@immibis.com> - 2024-05-22 07:42 +0200
Policy dispute (Was: Every D(D) simulated by H presents non-halting behavior to H ###) gazelle@shell.xmission.com (Kenny McCormack) - 2024-05-22 05:32 +0000
Re: Every D(D) simulated by H presents non-halting behavior to H ### David Brown <david.brown@hesbynett.no> - 2024-05-22 18:40 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H ### gazelle@shell.xmission.com (Kenny McCormack) - 2024-05-22 15:30 +0000
Re: Every D(D) simulated by H presents non-halting behavior to H ### Kaz Kylheku <643-408-1753@kylheku.com> - 2024-05-22 16:15 +0000
Re: Every D(D) simulated by H presents non-halting behavior to H ### James Kuyper <jameskuyper@alumni.caltech.edu> - 2024-05-22 11:15 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-21 12:12 -0700
Subway (Was: Every D(D) simulated by H presents non-halting behavior to H ###) gazelle@shell.xmission.com (Kenny McCormack) - 2024-05-21 19:15 +0000
Re: Subway (Was: Every D(D) simulated by H presents non-halting behavior to H ###) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-21 12:51 -0700
Re: Every D(D) simulated by H presents non-halting behavior to H ### Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2024-05-21 13:08 -0700
Re: Every D(D) simulated by H presents non-halting behavior to H ### "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-21 13:24 -0700
Re: Every D(D) simulated by H presents non-halting behavior to H ### "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-21 13:26 -0700
Welcome! (Was: Every D(D) simulated by H presents non-halting behavior to H ###) gazelle@shell.xmission.com (Kenny McCormack) - 2024-05-21 21:13 +0000
Re: Every D(D) simulated by H presents non-halting behavior to H ### immibis <news@immibis.com> - 2024-05-22 07:40 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H ### James Kuyper <jameskuyper@alumni.caltech.edu> - 2024-05-23 19:29 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-23 17:19 -0700
Re: Every D(D) simulated by H presents non-halting behavior to H ### "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-18 22:45 -0700
Re: Every D(D) simulated by H presents non-halting behavior to H ### Jeff Barnett <jbb@notatt.com> - 2024-05-19 00:48 -0600
Re: Every D(D) simulated by H presents non-halting behavior to H ### James Kuyper <jameskuyper@alumni.caltech.edu> - 2024-05-18 11:34 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-18 11:44 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-18 18:01 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-18 12:04 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-18 11:31 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### James Kuyper <jameskuyper@alumni.caltech.edu> - 2024-05-18 12:49 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-18 11:52 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### James Kuyper <jameskuyper@alumni.caltech.edu> - 2024-05-19 13:23 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### Mikko <mikko.levanto@iki.fi> - 2024-05-20 11:14 +0300
Re: Every D(D) simulated by H presents non-halting behavior to H ### James Kuyper <jameskuyper@alumni.caltech.edu> - 2024-05-18 12:32 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-18 12:47 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### James Kuyper <jameskuyper@alumni.caltech.edu> - 2024-05-18 13:01 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2024-05-18 12:03 -0700
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-18 13:20 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Mikko <mikko.levanto@iki.fi> - 2024-05-19 10:53 +0300
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-19 07:34 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Mikko <mikko.levanto@iki.fi> - 2024-05-19 16:48 +0300
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-19 09:03 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-19 13:17 -0400
Re: Every D(D) is correctly simulated by H olcott <polcott333@gmail.com> - 2024-05-19 13:13 -0500
Re: Every D(D) is correctly simulated by H Richard Damon <richard@damon-family.org> - 2024-05-19 15:09 -0400
Re: Every D(D) is correctly simulated by H olcott <polcott333@gmail.com> - 2024-05-19 14:29 -0500
Re: Every D(D) is correctly simulated by H Richard Damon <richard@damon-family.org> - 2024-05-19 15:49 -0400
Re: Every D(D) is correctly simulated by H olcott <polcott333@gmail.com> - 2024-05-19 15:34 -0500
Re: Every D(D) is correctly simulated by H Richard Damon <richard@damon-family.org> - 2024-05-19 19:30 -0400
Re: Every D(D) is correctly simulated by H olcott <polcott333@gmail.com> - 2024-05-19 15:59 -0500
Re: Every D(D) is correctly simulated by H Richard Damon <richard@damon-family.org> - 2024-05-19 19:31 -0400
Re: Every D(D) is correctly simulated by H olcott <polcott333@gmail.com> - 2024-05-20 13:33 -0500
Re: Every D(D) is correctly simulated by H Richard Damon <richard@damon-family.org> - 2024-05-20 20:57 -0400
Re: Every D(D) is correctly simulated by H Mikko <mikko.levanto@iki.fi> - 2024-05-20 11:35 +0300
Re: Every D(D) is correctly simulated by H olcott <polcott333@gmail.com> - 2024-05-20 12:58 -0500
Re: Every D(D) is correctly simulated by H Richard Damon <richard@damon-family.org> - 2024-05-20 20:57 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### Mikko <mikko.levanto@iki.fi> - 2024-05-20 11:21 +0300
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-20 12:56 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-20 20:57 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### immibis <news@immibis.com> - 2024-05-21 06:49 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-21 00:05 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-21 07:58 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### Mikko <mikko.levanto@iki.fi> - 2024-05-21 13:06 +0300
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-21 08:44 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-21 21:46 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### Mikko <mikko.levanto@iki.fi> - 2024-05-22 10:17 +0300
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-21 08:54 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### immibis <news@immibis.com> - 2024-05-21 16:38 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-21 21:46 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### Mikko <mikko.levanto@iki.fi> - 2024-05-22 10:39 +0300
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-22 09:51 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-22 19:01 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### Mikko <mikko.levanto@iki.fi> - 2024-05-23 13:06 +0300
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-23 08:18 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-23 21:44 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### Mikko <mikko.levanto@iki.fi> - 2024-05-24 11:58 +0300
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-24 12:13 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-24 13:25 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### Mikko <mikko.levanto@iki.fi> - 2024-05-25 11:14 +0300
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-25 07:09 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-25 08:54 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-25 13:03 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-25 14:16 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-25 13:28 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-25 15:23 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-25 15:09 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-25 16:21 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### Mikko <mikko.levanto@iki.fi> - 2024-05-26 11:57 +0300
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-26 08:32 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Mikko <mikko.levanto@iki.fi> - 2024-05-26 19:19 +0300
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-26 11:50 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-26 13:16 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### Mikko <mikko.levanto@iki.fi> - 2024-05-27 11:11 +0300
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-27 08:52 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-27 10:10 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-27 09:39 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-27 10:58 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-27 10:43 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-27 11:56 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-27 11:06 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-27 12:37 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-27 14:52 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-27 17:34 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-27 17:46 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-27 19:12 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-28 11:21 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-28 10:13 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-28 22:04 -0400
My use of the Socratic method defined: EXACTLY ONE-POINT-AT-A-TIME olcott <polcott333@gmail.com> - 2024-05-28 21:30 -0500
Re: My use of the Socratic method defined: EXACTLY ONE-POINT-AT-A-TIME Richard Damon <richard@damon-family.org> - 2024-05-28 23:38 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-30 12:10 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-30 08:40 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-30 17:11 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H ### "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-28 11:17 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-28 10:10 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-30 12:14 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-30 08:16 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-30 16:57 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-30 10:05 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-30 17:27 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H ### joes <noreply@example.com> - 2024-06-01 17:58 +0000
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-06-01 13:02 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Mikko <mikko.levanto@iki.fi> - 2024-05-28 10:17 +0300
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-28 09:37 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Mikko <mikko.levanto@iki.fi> - 2024-05-29 12:08 +0300
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-29 08:17 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-29 19:47 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-30 12:04 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-30 08:36 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-26 12:31 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-19 13:17 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### immibis <news@immibis.com> - 2024-05-18 10:54 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-18 10:12 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-18 11:22 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### joes <noreply@example.com> - 2024-05-18 16:18 +0000
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-18 11:27 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2024-05-09 04:05 +0100
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-08 22:46 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2024-05-10 00:43 +0100
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-09 20:07 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2024-05-10 03:25 +0100
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-09 22:08 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-10 10:18 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ### joes <noreply@example.com> - 2024-05-09 12:37 +0000
Re: Every D(D) simulated by H presents non-halting behavior to H ### Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2024-05-09 18:06 +0100
Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-09 12:50 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ### (watches state changes) olcott <polcott333@gmail.com> - 2024-05-09 23:46 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ---Airtight Mutual Accountability olcott <polcott333@gmail.com> - 2024-05-09 13:02 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ---Airtight Mutual Accountability Richard Damon <richard@damon-family.org> - 2024-05-09 22:31 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ---Airtight Mutual Accountability olcott <polcott333@gmail.com> - 2024-05-09 22:20 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ---Airtight Mutual Accountability Richard Damon <richard@damon-family.org> - 2024-05-10 10:18 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H Mikko <mikko.levanto@iki.fi> - 2024-05-08 19:07 +0300
Re: Every D(D) simulated by H presents non-halting behavior to H olcott <polcott333@gmail.com> - 2024-05-08 14:08 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H Mikko <mikko.levanto@iki.fi> - 2024-05-09 10:17 +0300
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-08 21:28 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-07 22:36 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H olcott <polcott333@gmail.com> - 2024-05-07 21:40 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-07 22:52 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H <<< olcott <polcott333@gmail.com> - 2024-05-07 22:10 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H <<< Richard Damon <richard@damon-family.org> - 2024-05-08 07:39 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H <<< olcott <polcott333@gmail.com> - 2024-05-08 14:52 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H <<< Richard Damon <richard@damon-family.org> - 2024-05-08 21:27 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H <<< olcott <polcott333@gmail.com> - 2024-05-08 15:37 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H <<< Richard Damon <richard@damon-family.org> - 2024-05-08 21:24 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H Mikko <mikko.levanto@iki.fi> - 2024-05-08 11:46 +0300
Re: Every D(D) simulated by H presents non-halting behavior to H ... olcott <polcott333@gmail.com> - 2024-05-08 07:57 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ... Mikko <mikko.levanto@iki.fi> - 2024-05-08 19:11 +0300
Re: Every D(D) simulated by H presents non-halting behavior to H ... olcott <polcott333@gmail.com> - 2024-05-08 14:16 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H ... Richard Damon <richard@damon-family.org> - 2024-05-08 21:28 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H ... Mikko <mikko.levanto@iki.fi> - 2024-05-09 10:24 +0300
Re: Every D(D) simulated by H presents non-halting behavior to H ... "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-10 14:53 +0200
Re: Every D(D) simulated by H presents non-halting behavior to H ... Richard Damon <richard@damon-family.org> - 2024-05-08 21:28 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H Mikko <mikko.levanto@iki.fi> - 2024-05-08 11:41 +0300
Re: Every D(D) simulated by H presents non-halting behavior to H Richard Damon <richard@damon-family.org> - 2024-05-08 07:39 -0400
Re: Every D(D) simulated by H presents non-halting behavior to H olcott <polcott333@gmail.com> - 2024-05-07 10:45 -0500
Re: Every D(D) simulated by H presents non-halting behavior to H immibis <news@immibis.com> - 2024-05-07 03:38 +0200
Page 9 of 33 — ← Prev page 1 … 7 8 [9] 10 11 … 33 Next page →
| From | olcott <polcott333@gmail.com> |
|---|---|
| Date | 2024-05-10 18:39 -0500 |
| Subject | Richard seems to be a liar. |
| Message-ID | <v1mb8f$1kgpl$1@dont-email.me> |
| In reply to | #104628 |
On 5/10/2024 5:39 PM, Richard Damon wrote:
> On 5/10/24 6:28 PM, olcott wrote:
>> On 5/10/2024 4:59 PM, Richard Damon wrote:
>>> On 5/10/24 5:43 PM, olcott wrote:
>>>> On 5/10/2024 4:19 PM, Richard Damon wrote:
>>>>> On 5/10/24 5:11 PM, olcott wrote:
>>>>>> On 5/10/2024 3:50 PM, Richard Damon wrote:
>>>>>>> On 5/10/24 4:27 PM, olcott wrote:
>>>>>>>> On 5/10/2024 3:09 PM, Richard Damon wrote:
>>>>>>>>> On 5/10/24 1:49 PM, olcott wrote:
>>>>>>>>>> On 5/10/2024 11:12 AM, Richard Damon wrote:
>>>>>>>>>>> On 5/10/24 11:50 AM, olcott wrote:
>>>>>>>>>>>> On 5/10/2024 9:18 AM, Richard Damon wrote:
>>>>>>>>>>>>> On 5/9/24 11:10 PM, olcott wrote:
>>>>>>>>>>>>>> On 5/9/2024 9:31 PM, Richard Damon wrote:
>>>>>>>>>>>>>>> On 5/9/24 11:38 AM, olcott wrote:
>>>>>>>>>>>>>>>> On 5/8/2024 8:38 PM, immibis wrote:
>>>>>>>>>>>>>>>>> On 8/05/24 21:05, olcott wrote:
>>>>>>>>>>>>>>>>>> On 5/8/2024 10:13 AM, Mike Terry wrote:
>>>>>>>>>>>>>>>>>>> On 08/05/2024 14:01, olcott wrote:
>>>>>>>>>>>>>>>>>>>> On 5/8/2024 3:59 AM, Mikko wrote:
>>>>>>>>>>>>>>>>>>>>> On 2024-05-07 19:05:54 +0000, olcott said:
>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>> On 5/7/2024 1:54 PM, Fred. Zwarts wrote:
>>>>>>>>>>>>>>>>>>>>>>> Op 07.mei.2024 om 17:40 schreef olcott:
>>>>>>>>>>>>>>>>>>>>>>>> On 5/7/2024 6:18 AM, Richard Damon wrote:
>>>>>>>>>>>>>>>>>>>>>>>>> On 5/7/24 3:30 AM, Mikko wrote:
>>>>>>>>>>>>>>>>>>>>>>>>>> On 2024-05-06 18:28:37 +0000, olcott said:
>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>> On 5/6/2024 11:19 AM, Mikko wrote:
>>>>>>>>>>>>>>>>>>>>>>>>>>>> On 2024-05-05 17:02:25 +0000, olcott said:
>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> The x86utm operating system:
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> https://github.com/plolcott/x86utm enables
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> one C function to execute another C
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> function in debug step mode.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Simulating Termination analyzer H simulates
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> the x86 machine code of its
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> input (using libx86emu) in debug step mode
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> until it correctly matches a
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> correct non-halting behavior pattern
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> proving that its input will never
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> stop running unless aborted.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Can D correctly simulated by H terminate
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> normally?
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 00 int H(ptr x, ptr x) // ptr is pointer
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> to int function
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 01 int D(ptr x)
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 02 {
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 03 int Halt_Status = H(x, x);
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 04 if (Halt_Status)
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 05 HERE: goto HERE;
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 06 return Halt_Status;
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 07 }
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 08
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 09 int main()
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 10 {
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 11 H(D,D);
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 12 }
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> *Execution Trace*
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Line 11: main() invokes H(D,D);
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> *keeps repeating* (unless aborted)
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Line 03: simulated D(D) invokes simulated
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> H(D,D) that simulates D(D)
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> *Simulation invariant*
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> D correctly simulated by H cannot possibly
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> reach past its own line 03.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> The above execution trace proves that (for
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> every H/D pair of the
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> infinite set of H/D pairs) each D(D)
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> simulated by the H that this D(D)
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> calls cannot possibly reach past its own
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> line 03.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>> When you say "every H/D pair" you should
>>>>>>>>>>>>>>>>>>>>>>>>>>>> specify which set of pairs
>>>>>>>>>>>>>>>>>>>>>>>>>>>> you are talking about. As you don't, your
>>>>>>>>>>>>>>>>>>>>>>>>>>>> words don't mean anything.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>> Every H/D pair in the universe where D(D) is
>>>>>>>>>>>>>>>>>>>>>>>>>>> simulated by the
>>>>>>>>>>>>>>>>>>>>>>>>>>> same H(D,D) that D(D) calls. This involves 1
>>>>>>>>>>>>>>>>>>>>>>>>>>> to ∞ steps of D
>>>>>>>>>>>>>>>>>>>>>>>>>>> and also includes zero to ∞ recursive
>>>>>>>>>>>>>>>>>>>>>>>>>>> simulations where H
>>>>>>>>>>>>>>>>>>>>>>>>>>> H simulates itself simulating D(D).
>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>> "In the universe" is not a set. In typical set
>>>>>>>>>>>>>>>>>>>>>>>>>> theories like ZFC there
>>>>>>>>>>>>>>>>>>>>>>>>>> is no universal set.
>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>> This template defines an infinite set of finite
>>>>>>>>>>>>>>>>>>>>>>>> string H/D pairs where each D(D) that is
>>>>>>>>>>>>>>>>>>>>>>>> simulated by H(D,D) also calls this same H(D,D).
>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>> These H/D pairs can be enumerated by the one to
>>>>>>>>>>>>>>>>>>>>>>>> ∞ simulated steps of D and involve zero to ∞
>>>>>>>>>>>>>>>>>>>>>>>> recursive simulations of H simulating itself
>>>>>>>>>>>>>>>>>>>>>>>> simulating D(D). Every time Lines 1,2,3 are
>>>>>>>>>>>>>>>>>>>>>>>> simulated again defines
>>>>>>>>>>>>>>>>>>>>>>>> one more level of recursive simulation.
>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>> 1st element of H/D pairs 1 step of D is
>>>>>>>>>>>>>>>>>>>>>>>> simulated by H
>>>>>>>>>>>>>>>>>>>>>>>> 2nd element of H/D pairs 2 steps of D are
>>>>>>>>>>>>>>>>>>>>>>>> simulated by H
>>>>>>>>>>>>>>>>>>>>>>>> 3rd element of H/D pairs 3 steps of D are
>>>>>>>>>>>>>>>>>>>>>>>> simulated by H
>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>> 4th element of H/D pairs 4 steps of D are
>>>>>>>>>>>>>>>>>>>>>>>> simulated by H
>>>>>>>>>>>>>>>>>>>>>>>> this begins the first recursive simulation at
>>>>>>>>>>>>>>>>>>>>>>>> line 01
>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>> 5th element of H/D pairs 5 steps of D are
>>>>>>>>>>>>>>>>>>>>>>>> simulated by
>>>>>>>>>>>>>>>>>>>>>>>> next step of the first recursive simulation at
>>>>>>>>>>>>>>>>>>>>>>>> line 02
>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>> 6th element of H/D pairs 6 steps of D are
>>>>>>>>>>>>>>>>>>>>>>>> simulated by
>>>>>>>>>>>>>>>>>>>>>>>> last step of the first recursive simulation at
>>>>>>>>>>>>>>>>>>>>>>>> line 03
>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>> 7th element of H/D pairs 7 steps of D are
>>>>>>>>>>>>>>>>>>>>>>>> simulated by H
>>>>>>>>>>>>>>>>>>>>>>>> this begins the second recursive simulation at
>>>>>>>>>>>>>>>>>>>>>>>> line 01
>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>> Is this the definition of the infinite set of H?
>>>>>>>>>>>>>>>>>>>>>>> We can think of many more simulations that only
>>>>>>>>>>>>>>>>>>>>>>> these.
>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>> This template defines an infinite set of finite
>>>>>>>>>>>>>>>>>>>>>> string H/D pairs where
>>>>>>>>>>>>>>>>>>>>>> each D(D) that is simulated by H(D,D) also calls
>>>>>>>>>>>>>>>>>>>>>> this same H(D,D).
>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>> No-one can possibly show one element of this set
>>>>>>>>>>>>>>>>>>>>>> where D(D) reaches
>>>>>>>>>>>>>>>>>>>>>> past its own line 03.
>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>> If H is a decider of any kind then the D build from
>>>>>>>>>>>>>>>>>>>>> it reaches its line
>>>>>>>>>>>>>>>>>>>>> 4 as numberd above. Whether the simulation of D by
>>>>>>>>>>>>>>>>>>>>> H reaches that line
>>>>>>>>>>>>>>>>>>>>> is another question.
>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>> *My fully operational code proves otherwise*
>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>> I seems like you guys don't have a clue about how
>>>>>>>>>>>>>>>>>>>> infinite
>>>>>>>>>>>>>>>>>>>> recursion works. You can run the code and see that I
>>>>>>>>>>>>>>>>>>>> am correct.
>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>> I have one concrete instance as fully operational code.
>>>>>>>>>>>>>>>>>>>> https://github.com/plolcott/x86utm/blob/master/Halt7.c
>>>>>>>>>>>>>>>>>>>> line 555 u32 HH(ptr P, ptr I) its input in on
>>>>>>>>>>>>>>>>>>>> line 932 int DD(int (*x)())
>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>> HH is completely broken - it uses a global variable
>>>>>>>>>>>>>>>>>>> which is allows HH to detect whether it is the outer
>>>>>>>>>>>>>>>>>>> HH or a nested (simulated) HH. As a result, the
>>>>>>>>>>>>>>>>>>> nested HH behaves completely differently to the outer
>>>>>>>>>>>>>>>>>>> HH - I mean /completely/ differently: it goes through
>>>>>>>>>>>>>>>>>>> a totally separate "I am called in nested mode" code
>>>>>>>>>>>>>>>>>>> path!
>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>> The encoding of HH is not the pure function that it
>>>>>>>>>>>>>>>>>> needs to be to
>>>>>>>>>>>>>>>>>> be a computable function.
>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>> *Maybe you can settle this*
>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>> The disagreement is entirely over an enormously much
>>>>>>>>>>>>>>>>>> simpler thing.
>>>>>>>>>>>>>>>>>> The disagreement is that Richard says that a D
>>>>>>>>>>>>>>>>>> simulated by H could
>>>>>>>>>>>>>>>>>> reach past its own line 03 and halt.
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>> Here's the proof:
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>> 1. A simulation always produces an identical execution
>>>>>>>>>>>>>>>>> trace to the direct execution.
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> *When pathological self-reference is involved this is
>>>>>>>>>>>>>>>> counter-factual*
>>>>>>>>>>>>>>>> That no one can possibly show the steps of how D
>>>>>>>>>>>>>>>> simulated by H possibly
>>>>>>>>>>>>>>>> reach line 06 of H proves this.
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> Richard tried to get away with D never simulated by H as
>>>>>>>>>>>>>>>> an example
>>>>>>>>>>>>>>>> of D simulated by H:
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> Nope, you are looking at the WRONG message, and I have
>>>>>>>>>>>>>>> told you this multiple times.
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> Message-ID: <v0ummt$2qov3$2@i2pn2.org>
>>>>>>>>>>>>>> *When you interpret*
>>>>>>>>>>>>>> On 5/1/2024 7:28 PM, Richard Damon wrote:
>>>>>>>>>>>>>> > On 5/1/24 11:51 AM, olcott wrote:
>>>>>>>>>>>>>> *Every D simulated by H that cannot possibly*
>>>>>>>>>>>>>> *stop running unless aborted by H*
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> as *D NEVER simulated by H*
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> you have shown a reckless disregard for the truth
>>>>>>>>>>>>>> that would win a defamation case.
>>>>>>>>>>>>>>
>>>>>>>>>>>>>
>>>>>>>>>>>>> My H simulated 0 steps of D, of which was ALL of the steps
>>>>>>>>>>>>> it simulated correctly.
>>>>>>>>>>>>
>>>>>>>>>>>> *THAT DOES NOT MEET THE SPEC*
>>>>>>>>>>>
>>>>>>>>>>> You haven't GIVEN a defined SPEC.
>>>>>>>>>>>
>>>>>>>>>>> The only definition within Computation Theory, which is the
>>>>>>>>>>> space you started in, and claim to get to, doesn't have
>>>>>>>>>>> "aborted" simulations, so you don't have a defintion of what
>>>>>>>>>>> simulatioin actually means, other than doing something that
>>>>>>>>>>> tells you something about the behavior of what is simulated.
>>>>>>>>>>>
>>>>>>>>>>> My H does that, by aborting its "simulation" in shows that
>>>>>>>>>>> THIS H did not simulate its input to a final state.
>>>>>>>>>>>
>>>>>>>>>>> Just the same result that you partial set of H's showed.
>>>>>>>>>>>
>>>>>>>>>>>> *THAT DOES NOT MEET THE SPEC*
>>>>>>>>>>>> *THAT DOES NOT MEET THE SPEC*
>>>>>>>>>>>> *THAT DOES NOT MEET THE SPEC*
>>>>>>>>>>>>
>>>>>>>>>>>> *Every D simulated by H that cannot possibly*
>>>>>>>>>>>> *stop running unless aborted by H*
>>>>>>>>>>>>
>>>>>>>>>>>> *Every D simulated by H that cannot possibly*
>>>>>>>>>>>> *stop running unless aborted by H*
>>>>>>>>>>>>
>>>>>>>>>>>> *Every D simulated by H that cannot possibly*
>>>>>>>>>>>> *stop running unless aborted by H*
>>>>>>>>>>>>
>>>>>>>>>>>> *Every D simulated by H that cannot possibly*
>>>>>>>>>>>> *stop running unless aborted by H*
>>>>>>>>>>>>
>>>>>>>>>>>> *Every D simulated by H that cannot possibly*
>>>>>>>>>>>> *stop running unless aborted by H*
>>>>>>>>>>>>
>>>>>>>>>>>>
>>>>>>>>>>>
>>>>>>>>>>> Right, and simulating zero steps correctly and them aborting
>>>>>>>>>>> means H
>>>>>>>>>>
>>>>>>>>>> *cannot possibly stop running unless aborted is not met*
>>>>>>>>>
>>>>>>>>> Aborted after 0 steps which is all that that H does.
>>>>>>>>>
>>>>>>>>
>>>>>>>> *cannot possibly stop running unless aborted is not met*
>>>>>>>> *BY cannot possibly start running*
>>>>>>>
>>>>>>>>
>>>>>>>> *cannot possibly stop running unless aborted is not met*
>>>>>>>> *BY cannot possibly start running*
>>>>>>>>
>>>>>>>> *cannot possibly stop running unless aborted is not met*
>>>>>>>> *BY cannot possibly start running*
>>>>>>>>
>>>>>>>> *cannot possibly stop running unless aborted is not met*
>>>>>>>> *BY cannot possibly start running*
>>>>>>>>
>>>>>>>
>>>>>>> You can start and then immediately stop an not make any progress.
>>>>>>>
>>>>>>> A bit like your "first point after 0".
>>>>>>>
>>>>>>> You just don't understand how logic works.
>>>>>>>
>>>>>>> And your definition is also illogical, as H either DOES or DOES
>>>>>>> NOT abort its simulation.
>>>>>>>
>>>>>>
>>>>>> *WRONG DICHOTOMY STRAW-MAN DECEPTION*
>>>>>
>>>>> But there is no Dichotomy, as there is just H, an not something to
>>>>> compare it to.
>>>>>
>>>>> The other thing you compare it to is not H.
>>>>>
>>>>>> "...cannot possibly stop running unless aborted"
>>>>>> *stops running if not aborted or keeps running if not aborted*
>>>>>
>>>>> But *THE* H does one or the other.
>>>>>
>>>>
>>>> Is your employer aware that your memory is this bad?
>>>> Are you in management where slick double-talk can hide this?
>>>
>>> Well, since you don't have an employer, I guess we can tell who
>>> performs better.
>>>
>>>>
>>>> *I have repeated time and again that I have always been referring*
>>>> *to the specific infinite set of H/D pairs specified below*
>>>
>>> And how does MAIN call an "Infinite set" of functions?
>>>
>>> And how is that an exact implementation of the Linz Proof, were H and
>>> H^ are specific (but arbitrary) machines?
>>>
>>
>> A "specific" and "arbitrary" machine is like a
>> very tiny little enormously huge thing.
>>
>> We can have specific elements of an infinite set such
>> that every element of this set has common properties.
>
> But the element is different then the set.
>
One element of any type of set theory set is different
THAN (not then) the whole set, WELL DUH !!!
Every element of natural numbers > 5 shares that common
property of > 5.
*Richard can get this and lies about it*
*Richard can get this and lies about it*
*Richard can get this and lies about it*
*Richard can get this and lies about it*
Every D simulated by H shares the property that it is
simulated by H.
Every D NEVER simulated by H forms a set that is disjoint
from the above set.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer
[toc] | [prev] | [next] | [standalone]
| From | Richard Damon <richard@damon-family.org> |
|---|---|
| Date | 2024-05-10 22:17 -0400 |
| Subject | Olcott doesn't know the difference between an element an the set |
| Message-ID | <v1mkf8$lbo5$7@i2pn2.org> |
| In reply to | #104629 |
On 5/10/24 7:39 PM, olcott wrote:
> On 5/10/2024 5:39 PM, Richard Damon wrote:
>> On 5/10/24 6:28 PM, olcott wrote:
>>> On 5/10/2024 4:59 PM, Richard Damon wrote:
>>>> On 5/10/24 5:43 PM, olcott wrote:
>>>>> On 5/10/2024 4:19 PM, Richard Damon wrote:
>>>>>> On 5/10/24 5:11 PM, olcott wrote:
>>>>>>> On 5/10/2024 3:50 PM, Richard Damon wrote:
>>>>>>>> On 5/10/24 4:27 PM, olcott wrote:
>>>>>>>>> On 5/10/2024 3:09 PM, Richard Damon wrote:
>>>>>>>>>> On 5/10/24 1:49 PM, olcott wrote:
>>>>>>>>>>> On 5/10/2024 11:12 AM, Richard Damon wrote:
>>>>>>>>>>>> On 5/10/24 11:50 AM, olcott wrote:
>>>>>>>>>>>>> On 5/10/2024 9:18 AM, Richard Damon wrote:
>>>>>>>>>>>>>> On 5/9/24 11:10 PM, olcott wrote:
>>>>>>>>>>>>>>> On 5/9/2024 9:31 PM, Richard Damon wrote:
>>>>>>>>>>>>>>>> On 5/9/24 11:38 AM, olcott wrote:
>>>>>>>>>>>>>>>>> On 5/8/2024 8:38 PM, immibis wrote:
>>>>>>>>>>>>>>>>>> On 8/05/24 21:05, olcott wrote:
>>>>>>>>>>>>>>>>>>> On 5/8/2024 10:13 AM, Mike Terry wrote:
>>>>>>>>>>>>>>>>>>>> On 08/05/2024 14:01, olcott wrote:
>>>>>>>>>>>>>>>>>>>>> On 5/8/2024 3:59 AM, Mikko wrote:
>>>>>>>>>>>>>>>>>>>>>> On 2024-05-07 19:05:54 +0000, olcott said:
>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>> On 5/7/2024 1:54 PM, Fred. Zwarts wrote:
>>>>>>>>>>>>>>>>>>>>>>>> Op 07.mei.2024 om 17:40 schreef olcott:
>>>>>>>>>>>>>>>>>>>>>>>>> On 5/7/2024 6:18 AM, Richard Damon wrote:
>>>>>>>>>>>>>>>>>>>>>>>>>> On 5/7/24 3:30 AM, Mikko wrote:
>>>>>>>>>>>>>>>>>>>>>>>>>>> On 2024-05-06 18:28:37 +0000, olcott said:
>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>> On 5/6/2024 11:19 AM, Mikko wrote:
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> On 2024-05-05 17:02:25 +0000, olcott said:
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> The x86utm operating system:
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> https://github.com/plolcott/x86utm enables
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> one C function to execute another C
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> function in debug step mode.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Simulating Termination analyzer H
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> simulates the x86 machine code of its
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> input (using libx86emu) in debug step mode
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> until it correctly matches a
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> correct non-halting behavior pattern
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> proving that its input will never
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> stop running unless aborted.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Can D correctly simulated by H terminate
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> normally?
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 00 int H(ptr x, ptr x) // ptr is pointer
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> to int function
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 01 int D(ptr x)
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 02 {
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 03 int Halt_Status = H(x, x);
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 04 if (Halt_Status)
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 05 HERE: goto HERE;
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 06 return Halt_Status;
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 07 }
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 08
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 09 int main()
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 10 {
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 11 H(D,D);
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 12 }
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> *Execution Trace*
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Line 11: main() invokes H(D,D);
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> *keeps repeating* (unless aborted)
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Line 03: simulated D(D) invokes simulated
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> H(D,D) that simulates D(D)
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> *Simulation invariant*
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> D correctly simulated by H cannot possibly
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> reach past its own line 03.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> The above execution trace proves that (for
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> every H/D pair of the
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> infinite set of H/D pairs) each D(D)
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> simulated by the H that this D(D)
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> calls cannot possibly reach past its own
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> line 03.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> When you say "every H/D pair" you should
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> specify which set of pairs
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> you are talking about. As you don't, your
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> words don't mean anything.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>> Every H/D pair in the universe where D(D) is
>>>>>>>>>>>>>>>>>>>>>>>>>>>> simulated by the
>>>>>>>>>>>>>>>>>>>>>>>>>>>> same H(D,D) that D(D) calls. This involves 1
>>>>>>>>>>>>>>>>>>>>>>>>>>>> to ∞ steps of D
>>>>>>>>>>>>>>>>>>>>>>>>>>>> and also includes zero to ∞ recursive
>>>>>>>>>>>>>>>>>>>>>>>>>>>> simulations where H
>>>>>>>>>>>>>>>>>>>>>>>>>>>> H simulates itself simulating D(D).
>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>> "In the universe" is not a set. In typical
>>>>>>>>>>>>>>>>>>>>>>>>>>> set theories like ZFC there
>>>>>>>>>>>>>>>>>>>>>>>>>>> is no universal set.
>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>> This template defines an infinite set of finite
>>>>>>>>>>>>>>>>>>>>>>>>> string H/D pairs where each D(D) that is
>>>>>>>>>>>>>>>>>>>>>>>>> simulated by H(D,D) also calls this same H(D,D).
>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>> These H/D pairs can be enumerated by the one to
>>>>>>>>>>>>>>>>>>>>>>>>> ∞ simulated steps of D and involve zero to ∞
>>>>>>>>>>>>>>>>>>>>>>>>> recursive simulations of H simulating itself
>>>>>>>>>>>>>>>>>>>>>>>>> simulating D(D). Every time Lines 1,2,3 are
>>>>>>>>>>>>>>>>>>>>>>>>> simulated again defines
>>>>>>>>>>>>>>>>>>>>>>>>> one more level of recursive simulation.
>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>> 1st element of H/D pairs 1 step of D is
>>>>>>>>>>>>>>>>>>>>>>>>> simulated by H
>>>>>>>>>>>>>>>>>>>>>>>>> 2nd element of H/D pairs 2 steps of D are
>>>>>>>>>>>>>>>>>>>>>>>>> simulated by H
>>>>>>>>>>>>>>>>>>>>>>>>> 3rd element of H/D pairs 3 steps of D are
>>>>>>>>>>>>>>>>>>>>>>>>> simulated by H
>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>> 4th element of H/D pairs 4 steps of D are
>>>>>>>>>>>>>>>>>>>>>>>>> simulated by H
>>>>>>>>>>>>>>>>>>>>>>>>> this begins the first recursive simulation at
>>>>>>>>>>>>>>>>>>>>>>>>> line 01
>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>> 5th element of H/D pairs 5 steps of D are
>>>>>>>>>>>>>>>>>>>>>>>>> simulated by
>>>>>>>>>>>>>>>>>>>>>>>>> next step of the first recursive simulation at
>>>>>>>>>>>>>>>>>>>>>>>>> line 02
>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>> 6th element of H/D pairs 6 steps of D are
>>>>>>>>>>>>>>>>>>>>>>>>> simulated by
>>>>>>>>>>>>>>>>>>>>>>>>> last step of the first recursive simulation at
>>>>>>>>>>>>>>>>>>>>>>>>> line 03
>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>> 7th element of H/D pairs 7 steps of D are
>>>>>>>>>>>>>>>>>>>>>>>>> simulated by H
>>>>>>>>>>>>>>>>>>>>>>>>> this begins the second recursive simulation at
>>>>>>>>>>>>>>>>>>>>>>>>> line 01
>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>> Is this the definition of the infinite set of H?
>>>>>>>>>>>>>>>>>>>>>>>> We can think of many more simulations that only
>>>>>>>>>>>>>>>>>>>>>>>> these.
>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>> This template defines an infinite set of finite
>>>>>>>>>>>>>>>>>>>>>>> string H/D pairs where
>>>>>>>>>>>>>>>>>>>>>>> each D(D) that is simulated by H(D,D) also calls
>>>>>>>>>>>>>>>>>>>>>>> this same H(D,D).
>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>> No-one can possibly show one element of this set
>>>>>>>>>>>>>>>>>>>>>>> where D(D) reaches
>>>>>>>>>>>>>>>>>>>>>>> past its own line 03.
>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>> If H is a decider of any kind then the D build
>>>>>>>>>>>>>>>>>>>>>> from it reaches its line
>>>>>>>>>>>>>>>>>>>>>> 4 as numberd above. Whether the simulation of D by
>>>>>>>>>>>>>>>>>>>>>> H reaches that line
>>>>>>>>>>>>>>>>>>>>>> is another question.
>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>> *My fully operational code proves otherwise*
>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>> I seems like you guys don't have a clue about how
>>>>>>>>>>>>>>>>>>>>> infinite
>>>>>>>>>>>>>>>>>>>>> recursion works. You can run the code and see that
>>>>>>>>>>>>>>>>>>>>> I am correct.
>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>> I have one concrete instance as fully operational
>>>>>>>>>>>>>>>>>>>>> code.
>>>>>>>>>>>>>>>>>>>>> https://github.com/plolcott/x86utm/blob/master/Halt7.c
>>>>>>>>>>>>>>>>>>>>> line 555 u32 HH(ptr P, ptr I) its input in on
>>>>>>>>>>>>>>>>>>>>> line 932 int DD(int (*x)())
>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>> HH is completely broken - it uses a global variable
>>>>>>>>>>>>>>>>>>>> which is allows HH to detect whether it is the outer
>>>>>>>>>>>>>>>>>>>> HH or a nested (simulated) HH. As a result, the
>>>>>>>>>>>>>>>>>>>> nested HH behaves completely differently to the
>>>>>>>>>>>>>>>>>>>> outer HH - I mean /completely/ differently: it goes
>>>>>>>>>>>>>>>>>>>> through a totally separate "I am called in nested
>>>>>>>>>>>>>>>>>>>> mode" code path!
>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>> The encoding of HH is not the pure function that it
>>>>>>>>>>>>>>>>>>> needs to be to
>>>>>>>>>>>>>>>>>>> be a computable function.
>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>> *Maybe you can settle this*
>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>> The disagreement is entirely over an enormously much
>>>>>>>>>>>>>>>>>>> simpler thing.
>>>>>>>>>>>>>>>>>>> The disagreement is that Richard says that a D
>>>>>>>>>>>>>>>>>>> simulated by H could
>>>>>>>>>>>>>>>>>>> reach past its own line 03 and halt.
>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>> Here's the proof:
>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>> 1. A simulation always produces an identical execution
>>>>>>>>>>>>>>>>>> trace to the direct execution.
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>> *When pathological self-reference is involved this is
>>>>>>>>>>>>>>>>> counter-factual*
>>>>>>>>>>>>>>>>> That no one can possibly show the steps of how D
>>>>>>>>>>>>>>>>> simulated by H possibly
>>>>>>>>>>>>>>>>> reach line 06 of H proves this.
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>> Richard tried to get away with D never simulated by H
>>>>>>>>>>>>>>>>> as an example
>>>>>>>>>>>>>>>>> of D simulated by H:
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> Nope, you are looking at the WRONG message, and I have
>>>>>>>>>>>>>>>> told you this multiple times.
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> Message-ID: <v0ummt$2qov3$2@i2pn2.org>
>>>>>>>>>>>>>>> *When you interpret*
>>>>>>>>>>>>>>> On 5/1/2024 7:28 PM, Richard Damon wrote:
>>>>>>>>>>>>>>> > On 5/1/24 11:51 AM, olcott wrote:
>>>>>>>>>>>>>>> *Every D simulated by H that cannot possibly*
>>>>>>>>>>>>>>> *stop running unless aborted by H*
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> as *D NEVER simulated by H*
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> you have shown a reckless disregard for the truth
>>>>>>>>>>>>>>> that would win a defamation case.
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> My H simulated 0 steps of D, of which was ALL of the steps
>>>>>>>>>>>>>> it simulated correctly.
>>>>>>>>>>>>>
>>>>>>>>>>>>> *THAT DOES NOT MEET THE SPEC*
>>>>>>>>>>>>
>>>>>>>>>>>> You haven't GIVEN a defined SPEC.
>>>>>>>>>>>>
>>>>>>>>>>>> The only definition within Computation Theory, which is the
>>>>>>>>>>>> space you started in, and claim to get to, doesn't have
>>>>>>>>>>>> "aborted" simulations, so you don't have a defintion of what
>>>>>>>>>>>> simulatioin actually means, other than doing something that
>>>>>>>>>>>> tells you something about the behavior of what is simulated.
>>>>>>>>>>>>
>>>>>>>>>>>> My H does that, by aborting its "simulation" in shows that
>>>>>>>>>>>> THIS H did not simulate its input to a final state.
>>>>>>>>>>>>
>>>>>>>>>>>> Just the same result that you partial set of H's showed.
>>>>>>>>>>>>
>>>>>>>>>>>>> *THAT DOES NOT MEET THE SPEC*
>>>>>>>>>>>>> *THAT DOES NOT MEET THE SPEC*
>>>>>>>>>>>>> *THAT DOES NOT MEET THE SPEC*
>>>>>>>>>>>>>
>>>>>>>>>>>>> *Every D simulated by H that cannot possibly*
>>>>>>>>>>>>> *stop running unless aborted by H*
>>>>>>>>>>>>>
>>>>>>>>>>>>> *Every D simulated by H that cannot possibly*
>>>>>>>>>>>>> *stop running unless aborted by H*
>>>>>>>>>>>>>
>>>>>>>>>>>>> *Every D simulated by H that cannot possibly*
>>>>>>>>>>>>> *stop running unless aborted by H*
>>>>>>>>>>>>>
>>>>>>>>>>>>> *Every D simulated by H that cannot possibly*
>>>>>>>>>>>>> *stop running unless aborted by H*
>>>>>>>>>>>>>
>>>>>>>>>>>>> *Every D simulated by H that cannot possibly*
>>>>>>>>>>>>> *stop running unless aborted by H*
>>>>>>>>>>>>>
>>>>>>>>>>>>>
>>>>>>>>>>>>
>>>>>>>>>>>> Right, and simulating zero steps correctly and them aborting
>>>>>>>>>>>> means H
>>>>>>>>>>>
>>>>>>>>>>> *cannot possibly stop running unless aborted is not met*
>>>>>>>>>>
>>>>>>>>>> Aborted after 0 steps which is all that that H does.
>>>>>>>>>>
>>>>>>>>>
>>>>>>>>> *cannot possibly stop running unless aborted is not met*
>>>>>>>>> *BY cannot possibly start running*
>>>>>>>>
>>>>>>>>>
>>>>>>>>> *cannot possibly stop running unless aborted is not met*
>>>>>>>>> *BY cannot possibly start running*
>>>>>>>>>
>>>>>>>>> *cannot possibly stop running unless aborted is not met*
>>>>>>>>> *BY cannot possibly start running*
>>>>>>>>>
>>>>>>>>> *cannot possibly stop running unless aborted is not met*
>>>>>>>>> *BY cannot possibly start running*
>>>>>>>>>
>>>>>>>>
>>>>>>>> You can start and then immediately stop an not make any progress.
>>>>>>>>
>>>>>>>> A bit like your "first point after 0".
>>>>>>>>
>>>>>>>> You just don't understand how logic works.
>>>>>>>>
>>>>>>>> And your definition is also illogical, as H either DOES or DOES
>>>>>>>> NOT abort its simulation.
>>>>>>>>
>>>>>>>
>>>>>>> *WRONG DICHOTOMY STRAW-MAN DECEPTION*
>>>>>>
>>>>>> But there is no Dichotomy, as there is just H, an not something to
>>>>>> compare it to.
>>>>>>
>>>>>> The other thing you compare it to is not H.
>>>>>>
>>>>>>> "...cannot possibly stop running unless aborted"
>>>>>>> *stops running if not aborted or keeps running if not aborted*
>>>>>>
>>>>>> But *THE* H does one or the other.
>>>>>>
>>>>>
>>>>> Is your employer aware that your memory is this bad?
>>>>> Are you in management where slick double-talk can hide this?
>>>>
>>>> Well, since you don't have an employer, I guess we can tell who
>>>> performs better.
>>>>
>>>>>
>>>>> *I have repeated time and again that I have always been referring*
>>>>> *to the specific infinite set of H/D pairs specified below*
>>>>
>>>> And how does MAIN call an "Infinite set" of functions?
>>>>
>>>> And how is that an exact implementation of the Linz Proof, were H
>>>> and H^ are specific (but arbitrary) machines?
>>>>
>>>
>>> A "specific" and "arbitrary" machine is like a
>>> very tiny little enormously huge thing.
>>>
>>> We can have specific elements of an infinite set such
>>> that every element of this set has common properties.
>>
>> But the element is different then the set.
>>
>
> One element of any type of set theory set is different
> THAN (not then) the whole set, WELL DUH !!!
Right, so why do you lie that H is the SET, and not one element at a time.
>
> Every element of natural numbers > 5 shares that common
> property of > 5.
>
Right, but the set of natural numbers n > 5 doesn't have the property
that the SET (as a set) is greater than 5, since that property is not a
property of the set.
Just like HALTING is a property of Program, not "sets of programs" so
your POOP is just illogical.
> *Richard can get this and lies about it*
> *Richard can get this and lies about it*
> *Richard can get this and lies about it*
> *Richard can get this and lies about it*
>
> Every D simulated by H shares the property that it is
> simulated by H.
Nope, because "being simulated by" is not a property of the machine
iteself, but of the decider looking at it.
>
> Every D NEVER simulated by H forms a set that is disjoint
> from the above set.
>
But simulating zero steps correctly *IS* simulating ALL steps simulated
correctly if you stop before getting to step 1.
You just don't understand the nature of universal qualifiers.
Or the actual general meaning of "simulation"
[toc] | [prev] | [next] | [standalone]
| From | olcott <polcott333@gmail.com> |
|---|---|
| Date | 2024-05-10 21:21 -0500 |
| Subject | Is Richard a Liar? |
| Message-ID | <v1mkmm$1q5ee$1@dont-email.me> |
| In reply to | #104633 |
On 5/10/2024 9:17 PM, Richard Damon wrote:
> On 5/10/24 7:39 PM, olcott wrote:
>> On 5/10/2024 5:39 PM, Richard Damon wrote:
>>> On 5/10/24 6:28 PM, olcott wrote:
>>>> On 5/10/2024 4:59 PM, Richard Damon wrote:
>>>>> On 5/10/24 5:43 PM, olcott wrote:
>>>>>> On 5/10/2024 4:19 PM, Richard Damon wrote:
>>>>>>> On 5/10/24 5:11 PM, olcott wrote:
>>>>>>>> On 5/10/2024 3:50 PM, Richard Damon wrote:
>>>>>>>>> On 5/10/24 4:27 PM, olcott wrote:
>>>>>>>>>> On 5/10/2024 3:09 PM, Richard Damon wrote:
>>>>>>>>>>> On 5/10/24 1:49 PM, olcott wrote:
>>>>>>>>>>>> On 5/10/2024 11:12 AM, Richard Damon wrote:
>>>>>>>>>>>>> On 5/10/24 11:50 AM, olcott wrote:
>>>>>>>>>>>>>> On 5/10/2024 9:18 AM, Richard Damon wrote:
>>>>>>>>>>>>>>> On 5/9/24 11:10 PM, olcott wrote:
>>>>>>>>>>>>>>>> On 5/9/2024 9:31 PM, Richard Damon wrote:
>>>>>>>>>>>>>>>>> On 5/9/24 11:38 AM, olcott wrote:
>>>>>>>>>>>>>>>>>> On 5/8/2024 8:38 PM, immibis wrote:
>>>>>>>>>>>>>>>>>>> On 8/05/24 21:05, olcott wrote:
>>>>>>>>>>>>>>>>>>>> On 5/8/2024 10:13 AM, Mike Terry wrote:
>>>>>>>>>>>>>>>>>>>>> On 08/05/2024 14:01, olcott wrote:
>>>>>>>>>>>>>>>>>>>>>> On 5/8/2024 3:59 AM, Mikko wrote:
>>>>>>>>>>>>>>>>>>>>>>> On 2024-05-07 19:05:54 +0000, olcott said:
>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>> On 5/7/2024 1:54 PM, Fred. Zwarts wrote:
>>>>>>>>>>>>>>>>>>>>>>>>> Op 07.mei.2024 om 17:40 schreef olcott:
>>>>>>>>>>>>>>>>>>>>>>>>>> On 5/7/2024 6:18 AM, Richard Damon wrote:
>>>>>>>>>>>>>>>>>>>>>>>>>>> On 5/7/24 3:30 AM, Mikko wrote:
>>>>>>>>>>>>>>>>>>>>>>>>>>>> On 2024-05-06 18:28:37 +0000, olcott said:
>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> On 5/6/2024 11:19 AM, Mikko wrote:
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> On 2024-05-05 17:02:25 +0000, olcott said:
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> The x86utm operating system:
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> https://github.com/plolcott/x86utm enables
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> one C function to execute another C
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> function in debug step mode.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Simulating Termination analyzer H
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> simulates the x86 machine code of its
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> input (using libx86emu) in debug step
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> mode until it correctly matches a
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> correct non-halting behavior pattern
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> proving that its input will never
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> stop running unless aborted.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Can D correctly simulated by H terminate
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> normally?
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 00 int H(ptr x, ptr x) // ptr is pointer
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> to int function
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 01 int D(ptr x)
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 02 {
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 03 int Halt_Status = H(x, x);
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 04 if (Halt_Status)
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 05 HERE: goto HERE;
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 06 return Halt_Status;
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 07 }
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 08
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 09 int main()
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 10 {
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 11 H(D,D);
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 12 }
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> *Execution Trace*
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Line 11: main() invokes H(D,D);
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> *keeps repeating* (unless aborted)
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Line 03: simulated D(D) invokes simulated
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> H(D,D) that simulates D(D)
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> *Simulation invariant*
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> D correctly simulated by H cannot
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> possibly reach past its own line 03.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> The above execution trace proves that
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> (for every H/D pair of the
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> infinite set of H/D pairs) each D(D)
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> simulated by the H that this D(D)
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> calls cannot possibly reach past its own
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> line 03.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> When you say "every H/D pair" you should
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> specify which set of pairs
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> you are talking about. As you don't, your
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> words don't mean anything.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Every H/D pair in the universe where D(D)
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> is simulated by the
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> same H(D,D) that D(D) calls. This involves
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 1 to ∞ steps of D
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> and also includes zero to ∞ recursive
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> simulations where H
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> H simulates itself simulating D(D).
>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>> "In the universe" is not a set. In typical
>>>>>>>>>>>>>>>>>>>>>>>>>>>> set theories like ZFC there
>>>>>>>>>>>>>>>>>>>>>>>>>>>> is no universal set.
>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>> This template defines an infinite set of
>>>>>>>>>>>>>>>>>>>>>>>>>> finite string H/D pairs where each D(D) that
>>>>>>>>>>>>>>>>>>>>>>>>>> is simulated by H(D,D) also calls this same
>>>>>>>>>>>>>>>>>>>>>>>>>> H(D,D).
>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>> These H/D pairs can be enumerated by the one
>>>>>>>>>>>>>>>>>>>>>>>>>> to ∞ simulated steps of D and involve zero to
>>>>>>>>>>>>>>>>>>>>>>>>>> ∞ recursive simulations of H simulating itself
>>>>>>>>>>>>>>>>>>>>>>>>>> simulating D(D). Every time Lines 1,2,3 are
>>>>>>>>>>>>>>>>>>>>>>>>>> simulated again defines
>>>>>>>>>>>>>>>>>>>>>>>>>> one more level of recursive simulation.
>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>> 1st element of H/D pairs 1 step of D is
>>>>>>>>>>>>>>>>>>>>>>>>>> simulated by H
>>>>>>>>>>>>>>>>>>>>>>>>>> 2nd element of H/D pairs 2 steps of D are
>>>>>>>>>>>>>>>>>>>>>>>>>> simulated by H
>>>>>>>>>>>>>>>>>>>>>>>>>> 3rd element of H/D pairs 3 steps of D are
>>>>>>>>>>>>>>>>>>>>>>>>>> simulated by H
>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>> 4th element of H/D pairs 4 steps of D are
>>>>>>>>>>>>>>>>>>>>>>>>>> simulated by H
>>>>>>>>>>>>>>>>>>>>>>>>>> this begins the first recursive simulation at
>>>>>>>>>>>>>>>>>>>>>>>>>> line 01
>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>> 5th element of H/D pairs 5 steps of D are
>>>>>>>>>>>>>>>>>>>>>>>>>> simulated by
>>>>>>>>>>>>>>>>>>>>>>>>>> next step of the first recursive simulation at
>>>>>>>>>>>>>>>>>>>>>>>>>> line 02
>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>> 6th element of H/D pairs 6 steps of D are
>>>>>>>>>>>>>>>>>>>>>>>>>> simulated by
>>>>>>>>>>>>>>>>>>>>>>>>>> last step of the first recursive simulation at
>>>>>>>>>>>>>>>>>>>>>>>>>> line 03
>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>> 7th element of H/D pairs 7 steps of D are
>>>>>>>>>>>>>>>>>>>>>>>>>> simulated by H
>>>>>>>>>>>>>>>>>>>>>>>>>> this begins the second recursive simulation at
>>>>>>>>>>>>>>>>>>>>>>>>>> line 01
>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>> Is this the definition of the infinite set of
>>>>>>>>>>>>>>>>>>>>>>>>> H? We can think of many more simulations that
>>>>>>>>>>>>>>>>>>>>>>>>> only these.
>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>> This template defines an infinite set of finite
>>>>>>>>>>>>>>>>>>>>>>>> string H/D pairs where
>>>>>>>>>>>>>>>>>>>>>>>> each D(D) that is simulated by H(D,D) also calls
>>>>>>>>>>>>>>>>>>>>>>>> this same H(D,D).
>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>> No-one can possibly show one element of this set
>>>>>>>>>>>>>>>>>>>>>>>> where D(D) reaches
>>>>>>>>>>>>>>>>>>>>>>>> past its own line 03.
>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>> If H is a decider of any kind then the D build
>>>>>>>>>>>>>>>>>>>>>>> from it reaches its line
>>>>>>>>>>>>>>>>>>>>>>> 4 as numberd above. Whether the simulation of D
>>>>>>>>>>>>>>>>>>>>>>> by H reaches that line
>>>>>>>>>>>>>>>>>>>>>>> is another question.
>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>> *My fully operational code proves otherwise*
>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>> I seems like you guys don't have a clue about how
>>>>>>>>>>>>>>>>>>>>>> infinite
>>>>>>>>>>>>>>>>>>>>>> recursion works. You can run the code and see that
>>>>>>>>>>>>>>>>>>>>>> I am correct.
>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>> I have one concrete instance as fully operational
>>>>>>>>>>>>>>>>>>>>>> code.
>>>>>>>>>>>>>>>>>>>>>> https://github.com/plolcott/x86utm/blob/master/Halt7.c
>>>>>>>>>>>>>>>>>>>>>> line 555 u32 HH(ptr P, ptr I) its input in on
>>>>>>>>>>>>>>>>>>>>>> line 932 int DD(int (*x)())
>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>> HH is completely broken - it uses a global variable
>>>>>>>>>>>>>>>>>>>>> which is allows HH to detect whether it is the
>>>>>>>>>>>>>>>>>>>>> outer HH or a nested (simulated) HH. As a result,
>>>>>>>>>>>>>>>>>>>>> the nested HH behaves completely differently to the
>>>>>>>>>>>>>>>>>>>>> outer HH - I mean /completely/ differently: it goes
>>>>>>>>>>>>>>>>>>>>> through a totally separate "I am called in nested
>>>>>>>>>>>>>>>>>>>>> mode" code path!
>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>> The encoding of HH is not the pure function that it
>>>>>>>>>>>>>>>>>>>> needs to be to
>>>>>>>>>>>>>>>>>>>> be a computable function.
>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>> *Maybe you can settle this*
>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>> The disagreement is entirely over an enormously much
>>>>>>>>>>>>>>>>>>>> simpler thing.
>>>>>>>>>>>>>>>>>>>> The disagreement is that Richard says that a D
>>>>>>>>>>>>>>>>>>>> simulated by H could
>>>>>>>>>>>>>>>>>>>> reach past its own line 03 and halt.
>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>> Here's the proof:
>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>> 1. A simulation always produces an identical
>>>>>>>>>>>>>>>>>>> execution trace to the direct execution.
>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>> *When pathological self-reference is involved this is
>>>>>>>>>>>>>>>>>> counter-factual*
>>>>>>>>>>>>>>>>>> That no one can possibly show the steps of how D
>>>>>>>>>>>>>>>>>> simulated by H possibly
>>>>>>>>>>>>>>>>>> reach line 06 of H proves this.
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>> Richard tried to get away with D never simulated by H
>>>>>>>>>>>>>>>>>> as an example
>>>>>>>>>>>>>>>>>> of D simulated by H:
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>> Nope, you are looking at the WRONG message, and I have
>>>>>>>>>>>>>>>>> told you this multiple times.
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> Message-ID: <v0ummt$2qov3$2@i2pn2.org>
>>>>>>>>>>>>>>>> *When you interpret*
>>>>>>>>>>>>>>>> On 5/1/2024 7:28 PM, Richard Damon wrote:
>>>>>>>>>>>>>>>> > On 5/1/24 11:51 AM, olcott wrote:
>>>>>>>>>>>>>>>> *Every D simulated by H that cannot possibly*
>>>>>>>>>>>>>>>> *stop running unless aborted by H*
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> as *D NEVER simulated by H*
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> you have shown a reckless disregard for the truth
>>>>>>>>>>>>>>>> that would win a defamation case.
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> My H simulated 0 steps of D, of which was ALL of the
>>>>>>>>>>>>>>> steps it simulated correctly.
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> *THAT DOES NOT MEET THE SPEC*
>>>>>>>>>>>>>
>>>>>>>>>>>>> You haven't GIVEN a defined SPEC.
>>>>>>>>>>>>>
>>>>>>>>>>>>> The only definition within Computation Theory, which is the
>>>>>>>>>>>>> space you started in, and claim to get to, doesn't have
>>>>>>>>>>>>> "aborted" simulations, so you don't have a defintion of
>>>>>>>>>>>>> what simulatioin actually means, other than doing something
>>>>>>>>>>>>> that tells you something about the behavior of what is
>>>>>>>>>>>>> simulated.
>>>>>>>>>>>>>
>>>>>>>>>>>>> My H does that, by aborting its "simulation" in shows that
>>>>>>>>>>>>> THIS H did not simulate its input to a final state.
>>>>>>>>>>>>>
>>>>>>>>>>>>> Just the same result that you partial set of H's showed.
>>>>>>>>>>>>>
>>>>>>>>>>>>>> *THAT DOES NOT MEET THE SPEC*
>>>>>>>>>>>>>> *THAT DOES NOT MEET THE SPEC*
>>>>>>>>>>>>>> *THAT DOES NOT MEET THE SPEC*
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> *Every D simulated by H that cannot possibly*
>>>>>>>>>>>>>> *stop running unless aborted by H*
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> *Every D simulated by H that cannot possibly*
>>>>>>>>>>>>>> *stop running unless aborted by H*
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> *Every D simulated by H that cannot possibly*
>>>>>>>>>>>>>> *stop running unless aborted by H*
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> *Every D simulated by H that cannot possibly*
>>>>>>>>>>>>>> *stop running unless aborted by H*
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> *Every D simulated by H that cannot possibly*
>>>>>>>>>>>>>> *stop running unless aborted by H*
>>>>>>>>>>>>>>
>>>>>>>>>>>>>>
>>>>>>>>>>>>>
>>>>>>>>>>>>> Right, and simulating zero steps correctly and them
>>>>>>>>>>>>> aborting means H
>>>>>>>>>>>>
>>>>>>>>>>>> *cannot possibly stop running unless aborted is not met*
>>>>>>>>>>>
>>>>>>>>>>> Aborted after 0 steps which is all that that H does.
>>>>>>>>>>>
>>>>>>>>>>
>>>>>>>>>> *cannot possibly stop running unless aborted is not met*
>>>>>>>>>> *BY cannot possibly start running*
>>>>>>>>>
>>>>>>>>>>
>>>>>>>>>> *cannot possibly stop running unless aborted is not met*
>>>>>>>>>> *BY cannot possibly start running*
>>>>>>>>>>
>>>>>>>>>> *cannot possibly stop running unless aborted is not met*
>>>>>>>>>> *BY cannot possibly start running*
>>>>>>>>>>
>>>>>>>>>> *cannot possibly stop running unless aborted is not met*
>>>>>>>>>> *BY cannot possibly start running*
>>>>>>>>>>
>>>>>>>>>
>>>>>>>>> You can start and then immediately stop an not make any progress.
>>>>>>>>>
>>>>>>>>> A bit like your "first point after 0".
>>>>>>>>>
>>>>>>>>> You just don't understand how logic works.
>>>>>>>>>
>>>>>>>>> And your definition is also illogical, as H either DOES or DOES
>>>>>>>>> NOT abort its simulation.
>>>>>>>>>
>>>>>>>>
>>>>>>>> *WRONG DICHOTOMY STRAW-MAN DECEPTION*
>>>>>>>
>>>>>>> But there is no Dichotomy, as there is just H, an not something
>>>>>>> to compare it to.
>>>>>>>
>>>>>>> The other thing you compare it to is not H.
>>>>>>>
>>>>>>>> "...cannot possibly stop running unless aborted"
>>>>>>>> *stops running if not aborted or keeps running if not aborted*
>>>>>>>
>>>>>>> But *THE* H does one or the other.
>>>>>>>
>>>>>>
>>>>>> Is your employer aware that your memory is this bad?
>>>>>> Are you in management where slick double-talk can hide this?
>>>>>
>>>>> Well, since you don't have an employer, I guess we can tell who
>>>>> performs better.
>>>>>
>>>>>>
>>>>>> *I have repeated time and again that I have always been referring*
>>>>>> *to the specific infinite set of H/D pairs specified below*
>>>>>
>>>>> And how does MAIN call an "Infinite set" of functions?
>>>>>
>>>>> And how is that an exact implementation of the Linz Proof, were H
>>>>> and H^ are specific (but arbitrary) machines?
>>>>>
>>>>
>>>> A "specific" and "arbitrary" machine is like a
>>>> very tiny little enormously huge thing.
>>>>
>>>> We can have specific elements of an infinite set such
>>>> that every element of this set has common properties.
>>>
>>> But the element is different then the set.
>>>
>>
>> One element of any type of set theory set is different
>> THAN (not then) the whole set, WELL DUH !!!
>
> Right, so why do you lie that H is the SET, and not one element at a time.
>
>>
>> Every element of natural numbers > 5 shares that common
>> property of > 5.
>>
> Right, but the set of natural numbers n > 5 doesn't have the property
> that the SET (as a set) is greater than 5, since that property is not a
> property of the set.
>
> Just like HALTING is a property of Program, not "sets of programs" so
> your POOP is just illogical.
>
>> *Richard can get this and lies about it*
>> *Richard can get this and lies about it*
>> *Richard can get this and lies about it*
>> *Richard can get this and lies about it*
>>
>> Every D simulated by H shares the property that it is
>> simulated by H.
>
> Nope, because "being simulated by" is not a property of the machine
> iteself, but of the decider looking at it.
>
>
>>
>> Every D NEVER simulated by H forms a set that is disjoint
>> from the above set.
>>
>
> But simulating zero steps correctly *IS* simulating ALL steps simulated
> correctly if you stop before getting to step 1.
>
> You just don't understand the nature of universal qualifiers.
>
> Or the actual general meaning of "simulation"
>
Vacuously true is a bogus concept.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer
[toc] | [prev] | [next] | [standalone]
| From | Richard Damon <richard@damon-family.org> |
|---|---|
| Date | 2024-05-10 22:39 -0400 |
| Subject | Re: Is Richard a Liar? No, but Olcott is. |
| Message-ID | <v1mlpq$lbo4$4@i2pn2.org> |
| In reply to | #104635 |
On 5/10/24 10:21 PM, olcott wrote:
> On 5/10/2024 9:17 PM, Richard Damon wrote:
>> On 5/10/24 7:39 PM, olcott wrote:
>>> On 5/10/2024 5:39 PM, Richard Damon wrote:
>>>> On 5/10/24 6:28 PM, olcott wrote:
>>>>> On 5/10/2024 4:59 PM, Richard Damon wrote:
>>>>>> On 5/10/24 5:43 PM, olcott wrote:
>>>>>>> On 5/10/2024 4:19 PM, Richard Damon wrote:
>>>>>>>> On 5/10/24 5:11 PM, olcott wrote:
>>>>>>>>> On 5/10/2024 3:50 PM, Richard Damon wrote:
>>>>>>>>>> On 5/10/24 4:27 PM, olcott wrote:
>>>>>>>>>>> On 5/10/2024 3:09 PM, Richard Damon wrote:
>>>>>>>>>>>> On 5/10/24 1:49 PM, olcott wrote:
>>>>>>>>>>>>> On 5/10/2024 11:12 AM, Richard Damon wrote:
>>>>>>>>>>>>>> On 5/10/24 11:50 AM, olcott wrote:
>>>>>>>>>>>>>>> On 5/10/2024 9:18 AM, Richard Damon wrote:
>>>>>>>>>>>>>>>> On 5/9/24 11:10 PM, olcott wrote:
>>>>>>>>>>>>>>>>> On 5/9/2024 9:31 PM, Richard Damon wrote:
>>>>>>>>>>>>>>>>>> On 5/9/24 11:38 AM, olcott wrote:
>>>>>>>>>>>>>>>>>>> On 5/8/2024 8:38 PM, immibis wrote:
>>>>>>>>>>>>>>>>>>>> On 8/05/24 21:05, olcott wrote:
>>>>>>>>>>>>>>>>>>>>> On 5/8/2024 10:13 AM, Mike Terry wrote:
>>>>>>>>>>>>>>>>>>>>>> On 08/05/2024 14:01, olcott wrote:
>>>>>>>>>>>>>>>>>>>>>>> On 5/8/2024 3:59 AM, Mikko wrote:
>>>>>>>>>>>>>>>>>>>>>>>> On 2024-05-07 19:05:54 +0000, olcott said:
>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>> On 5/7/2024 1:54 PM, Fred. Zwarts wrote:
>>>>>>>>>>>>>>>>>>>>>>>>>> Op 07.mei.2024 om 17:40 schreef olcott:
>>>>>>>>>>>>>>>>>>>>>>>>>>> On 5/7/2024 6:18 AM, Richard Damon wrote:
>>>>>>>>>>>>>>>>>>>>>>>>>>>> On 5/7/24 3:30 AM, Mikko wrote:
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> On 2024-05-06 18:28:37 +0000, olcott said:
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> On 5/6/2024 11:19 AM, Mikko wrote:
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> On 2024-05-05 17:02:25 +0000, olcott said:
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> The x86utm operating system:
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> https://github.com/plolcott/x86utm enables
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> one C function to execute another C
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> function in debug step mode.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Simulating Termination analyzer H
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> simulates the x86 machine code of its
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> input (using libx86emu) in debug step
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> mode until it correctly matches a
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> correct non-halting behavior pattern
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> proving that its input will never
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> stop running unless aborted.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Can D correctly simulated by H terminate
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> normally?
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 00 int H(ptr x, ptr x) // ptr is
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> pointer to int function
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 01 int D(ptr x)
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 02 {
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 03 int Halt_Status = H(x, x);
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 04 if (Halt_Status)
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 05 HERE: goto HERE;
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 06 return Halt_Status;
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 07 }
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 08
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 09 int main()
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 10 {
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 11 H(D,D);
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 12 }
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> *Execution Trace*
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Line 11: main() invokes H(D,D);
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> *keeps repeating* (unless aborted)
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Line 03: simulated D(D) invokes
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> simulated H(D,D) that simulates D(D)
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> *Simulation invariant*
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> D correctly simulated by H cannot
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> possibly reach past its own line 03.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> The above execution trace proves that
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> (for every H/D pair of the
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> infinite set of H/D pairs) each D(D)
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> simulated by the H that this D(D)
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> calls cannot possibly reach past its own
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> line 03.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> When you say "every H/D pair" you should
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> specify which set of pairs
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> you are talking about. As you don't, your
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> words don't mean anything.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Every H/D pair in the universe where D(D)
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> is simulated by the
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> same H(D,D) that D(D) calls. This involves
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 1 to ∞ steps of D
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> and also includes zero to ∞ recursive
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> simulations where H
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> H simulates itself simulating D(D).
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> "In the universe" is not a set. In typical
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> set theories like ZFC there
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> is no universal set.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>> This template defines an infinite set of
>>>>>>>>>>>>>>>>>>>>>>>>>>> finite string H/D pairs where each D(D) that
>>>>>>>>>>>>>>>>>>>>>>>>>>> is simulated by H(D,D) also calls this same
>>>>>>>>>>>>>>>>>>>>>>>>>>> H(D,D).
>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>> These H/D pairs can be enumerated by the one
>>>>>>>>>>>>>>>>>>>>>>>>>>> to ∞ simulated steps of D and involve zero to
>>>>>>>>>>>>>>>>>>>>>>>>>>> ∞ recursive simulations of H simulating
>>>>>>>>>>>>>>>>>>>>>>>>>>> itself simulating D(D). Every time Lines
>>>>>>>>>>>>>>>>>>>>>>>>>>> 1,2,3 are simulated again defines
>>>>>>>>>>>>>>>>>>>>>>>>>>> one more level of recursive simulation.
>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>> 1st element of H/D pairs 1 step of D is
>>>>>>>>>>>>>>>>>>>>>>>>>>> simulated by H
>>>>>>>>>>>>>>>>>>>>>>>>>>> 2nd element of H/D pairs 2 steps of D are
>>>>>>>>>>>>>>>>>>>>>>>>>>> simulated by H
>>>>>>>>>>>>>>>>>>>>>>>>>>> 3rd element of H/D pairs 3 steps of D are
>>>>>>>>>>>>>>>>>>>>>>>>>>> simulated by H
>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>> 4th element of H/D pairs 4 steps of D are
>>>>>>>>>>>>>>>>>>>>>>>>>>> simulated by H
>>>>>>>>>>>>>>>>>>>>>>>>>>> this begins the first recursive simulation at
>>>>>>>>>>>>>>>>>>>>>>>>>>> line 01
>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>> 5th element of H/D pairs 5 steps of D are
>>>>>>>>>>>>>>>>>>>>>>>>>>> simulated by
>>>>>>>>>>>>>>>>>>>>>>>>>>> next step of the first recursive simulation
>>>>>>>>>>>>>>>>>>>>>>>>>>> at line 02
>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>> 6th element of H/D pairs 6 steps of D are
>>>>>>>>>>>>>>>>>>>>>>>>>>> simulated by
>>>>>>>>>>>>>>>>>>>>>>>>>>> last step of the first recursive simulation
>>>>>>>>>>>>>>>>>>>>>>>>>>> at line 03
>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>> 7th element of H/D pairs 7 steps of D are
>>>>>>>>>>>>>>>>>>>>>>>>>>> simulated by H
>>>>>>>>>>>>>>>>>>>>>>>>>>> this begins the second recursive simulation
>>>>>>>>>>>>>>>>>>>>>>>>>>> at line 01
>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>> Is this the definition of the infinite set of
>>>>>>>>>>>>>>>>>>>>>>>>>> H? We can think of many more simulations that
>>>>>>>>>>>>>>>>>>>>>>>>>> only these.
>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>> This template defines an infinite set of finite
>>>>>>>>>>>>>>>>>>>>>>>>> string H/D pairs where
>>>>>>>>>>>>>>>>>>>>>>>>> each D(D) that is simulated by H(D,D) also
>>>>>>>>>>>>>>>>>>>>>>>>> calls this same H(D,D).
>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>> No-one can possibly show one element of this
>>>>>>>>>>>>>>>>>>>>>>>>> set where D(D) reaches
>>>>>>>>>>>>>>>>>>>>>>>>> past its own line 03.
>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>> If H is a decider of any kind then the D build
>>>>>>>>>>>>>>>>>>>>>>>> from it reaches its line
>>>>>>>>>>>>>>>>>>>>>>>> 4 as numberd above. Whether the simulation of D
>>>>>>>>>>>>>>>>>>>>>>>> by H reaches that line
>>>>>>>>>>>>>>>>>>>>>>>> is another question.
>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>> *My fully operational code proves otherwise*
>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>> I seems like you guys don't have a clue about how
>>>>>>>>>>>>>>>>>>>>>>> infinite
>>>>>>>>>>>>>>>>>>>>>>> recursion works. You can run the code and see
>>>>>>>>>>>>>>>>>>>>>>> that I am correct.
>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>> I have one concrete instance as fully operational
>>>>>>>>>>>>>>>>>>>>>>> code.
>>>>>>>>>>>>>>>>>>>>>>> https://github.com/plolcott/x86utm/blob/master/Halt7.c
>>>>>>>>>>>>>>>>>>>>>>> line 555 u32 HH(ptr P, ptr I) its input in on
>>>>>>>>>>>>>>>>>>>>>>> line 932 int DD(int (*x)())
>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>> HH is completely broken - it uses a global
>>>>>>>>>>>>>>>>>>>>>> variable which is allows HH to detect whether it
>>>>>>>>>>>>>>>>>>>>>> is the outer HH or a nested (simulated) HH. As a
>>>>>>>>>>>>>>>>>>>>>> result, the nested HH behaves completely
>>>>>>>>>>>>>>>>>>>>>> differently to the outer HH - I mean /completely/
>>>>>>>>>>>>>>>>>>>>>> differently: it goes through a totally separate "I
>>>>>>>>>>>>>>>>>>>>>> am called in nested mode" code path!
>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>> The encoding of HH is not the pure function that it
>>>>>>>>>>>>>>>>>>>>> needs to be to
>>>>>>>>>>>>>>>>>>>>> be a computable function.
>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>> *Maybe you can settle this*
>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>> The disagreement is entirely over an enormously
>>>>>>>>>>>>>>>>>>>>> much simpler thing.
>>>>>>>>>>>>>>>>>>>>> The disagreement is that Richard says that a D
>>>>>>>>>>>>>>>>>>>>> simulated by H could
>>>>>>>>>>>>>>>>>>>>> reach past its own line 03 and halt.
>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>> Here's the proof:
>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>> 1. A simulation always produces an identical
>>>>>>>>>>>>>>>>>>>> execution trace to the direct execution.
>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>> *When pathological self-reference is involved this is
>>>>>>>>>>>>>>>>>>> counter-factual*
>>>>>>>>>>>>>>>>>>> That no one can possibly show the steps of how D
>>>>>>>>>>>>>>>>>>> simulated by H possibly
>>>>>>>>>>>>>>>>>>> reach line 06 of H proves this.
>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>> Richard tried to get away with D never simulated by H
>>>>>>>>>>>>>>>>>>> as an example
>>>>>>>>>>>>>>>>>>> of D simulated by H:
>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>> Nope, you are looking at the WRONG message, and I have
>>>>>>>>>>>>>>>>>> told you this multiple times.
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>> Message-ID: <v0ummt$2qov3$2@i2pn2.org>
>>>>>>>>>>>>>>>>> *When you interpret*
>>>>>>>>>>>>>>>>> On 5/1/2024 7:28 PM, Richard Damon wrote:
>>>>>>>>>>>>>>>>> > On 5/1/24 11:51 AM, olcott wrote:
>>>>>>>>>>>>>>>>> *Every D simulated by H that cannot possibly*
>>>>>>>>>>>>>>>>> *stop running unless aborted by H*
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>> as *D NEVER simulated by H*
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>> you have shown a reckless disregard for the truth
>>>>>>>>>>>>>>>>> that would win a defamation case.
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> My H simulated 0 steps of D, of which was ALL of the
>>>>>>>>>>>>>>>> steps it simulated correctly.
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> *THAT DOES NOT MEET THE SPEC*
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> You haven't GIVEN a defined SPEC.
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> The only definition within Computation Theory, which is
>>>>>>>>>>>>>> the space you started in, and claim to get to, doesn't
>>>>>>>>>>>>>> have "aborted" simulations, so you don't have a defintion
>>>>>>>>>>>>>> of what simulatioin actually means, other than doing
>>>>>>>>>>>>>> something that tells you something about the behavior of
>>>>>>>>>>>>>> what is simulated.
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> My H does that, by aborting its "simulation" in shows that
>>>>>>>>>>>>>> THIS H did not simulate its input to a final state.
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> Just the same result that you partial set of H's showed.
>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> *THAT DOES NOT MEET THE SPEC*
>>>>>>>>>>>>>>> *THAT DOES NOT MEET THE SPEC*
>>>>>>>>>>>>>>> *THAT DOES NOT MEET THE SPEC*
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> *Every D simulated by H that cannot possibly*
>>>>>>>>>>>>>>> *stop running unless aborted by H*
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> *Every D simulated by H that cannot possibly*
>>>>>>>>>>>>>>> *stop running unless aborted by H*
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> *Every D simulated by H that cannot possibly*
>>>>>>>>>>>>>>> *stop running unless aborted by H*
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> *Every D simulated by H that cannot possibly*
>>>>>>>>>>>>>>> *stop running unless aborted by H*
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> *Every D simulated by H that cannot possibly*
>>>>>>>>>>>>>>> *stop running unless aborted by H*
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> Right, and simulating zero steps correctly and them
>>>>>>>>>>>>>> aborting means H
>>>>>>>>>>>>>
>>>>>>>>>>>>> *cannot possibly stop running unless aborted is not met*
>>>>>>>>>>>>
>>>>>>>>>>>> Aborted after 0 steps which is all that that H does.
>>>>>>>>>>>>
>>>>>>>>>>>
>>>>>>>>>>> *cannot possibly stop running unless aborted is not met*
>>>>>>>>>>> *BY cannot possibly start running*
>>>>>>>>>>
>>>>>>>>>>>
>>>>>>>>>>> *cannot possibly stop running unless aborted is not met*
>>>>>>>>>>> *BY cannot possibly start running*
>>>>>>>>>>>
>>>>>>>>>>> *cannot possibly stop running unless aborted is not met*
>>>>>>>>>>> *BY cannot possibly start running*
>>>>>>>>>>>
>>>>>>>>>>> *cannot possibly stop running unless aborted is not met*
>>>>>>>>>>> *BY cannot possibly start running*
>>>>>>>>>>>
>>>>>>>>>>
>>>>>>>>>> You can start and then immediately stop an not make any progress.
>>>>>>>>>>
>>>>>>>>>> A bit like your "first point after 0".
>>>>>>>>>>
>>>>>>>>>> You just don't understand how logic works.
>>>>>>>>>>
>>>>>>>>>> And your definition is also illogical, as H either DOES or
>>>>>>>>>> DOES NOT abort its simulation.
>>>>>>>>>>
>>>>>>>>>
>>>>>>>>> *WRONG DICHOTOMY STRAW-MAN DECEPTION*
>>>>>>>>
>>>>>>>> But there is no Dichotomy, as there is just H, an not something
>>>>>>>> to compare it to.
>>>>>>>>
>>>>>>>> The other thing you compare it to is not H.
>>>>>>>>
>>>>>>>>> "...cannot possibly stop running unless aborted"
>>>>>>>>> *stops running if not aborted or keeps running if not aborted*
>>>>>>>>
>>>>>>>> But *THE* H does one or the other.
>>>>>>>>
>>>>>>>
>>>>>>> Is your employer aware that your memory is this bad?
>>>>>>> Are you in management where slick double-talk can hide this?
>>>>>>
>>>>>> Well, since you don't have an employer, I guess we can tell who
>>>>>> performs better.
>>>>>>
>>>>>>>
>>>>>>> *I have repeated time and again that I have always been referring*
>>>>>>> *to the specific infinite set of H/D pairs specified below*
>>>>>>
>>>>>> And how does MAIN call an "Infinite set" of functions?
>>>>>>
>>>>>> And how is that an exact implementation of the Linz Proof, were H
>>>>>> and H^ are specific (but arbitrary) machines?
>>>>>>
>>>>>
>>>>> A "specific" and "arbitrary" machine is like a
>>>>> very tiny little enormously huge thing.
>>>>>
>>>>> We can have specific elements of an infinite set such
>>>>> that every element of this set has common properties.
>>>>
>>>> But the element is different then the set.
>>>>
>>>
>>> One element of any type of set theory set is different
>>> THAN (not then) the whole set, WELL DUH !!!
>>
>> Right, so why do you lie that H is the SET, and not one element at a
>> time.
>>
>>>
>>> Every element of natural numbers > 5 shares that common
>>> property of > 5.
>>>
>> Right, but the set of natural numbers n > 5 doesn't have the property
>> that the SET (as a set) is greater than 5, since that property is not
>> a property of the set.
>>
>> Just like HALTING is a property of Program, not "sets of programs" so
>> your POOP is just illogical.
>>
>>> *Richard can get this and lies about it*
>>> *Richard can get this and lies about it*
>>> *Richard can get this and lies about it*
>>> *Richard can get this and lies about it*
>>>
>>> Every D simulated by H shares the property that it is
>>> simulated by H.
>>
>> Nope, because "being simulated by" is not a property of the machine
>> iteself, but of the decider looking at it.
>>
>>
>>>
>>> Every D NEVER simulated by H forms a set that is disjoint
>>> from the above set.
>>>
>>
>> But simulating zero steps correctly *IS* simulating ALL steps
>> simulated correctly if you stop before getting to step 1.
>>
>> You just don't understand the nature of universal qualifiers.
>>
>> Or the actual general meaning of "simulation"
>>
>
> Vacuously true is a bogus concept.
>
Nope. As I said, you don't understand that actual definition of
"Simulation".
You have already rejected the meaning it has in Computation Theory, as
you allow (in fact require it to be allowed) to be aborted, which it is
not in the Theory (as the only use of "Simulation" is in the description
of a UTM that ALWAYS simualates until it reaches ano end.
The more general definition does NOT require the "step by steo exact"
that you seem to assume (yes, that is ONE definiton used in some parts
of computer science), but since you REFUSED to actually provide an
actual definition you can't retroactively apply a definition you did not
app;ly,
That just makes you a LIAR.
[toc] | [prev] | [next] | [standalone]
| From | olcott <polcott333@gmail.com> |
|---|---|
| Date | 2024-05-10 21:49 -0500 |
| Subject | Richard must be educated on what a termination analyzer is |
| Message-ID | <v1mmba$1qip9$1@dont-email.me> |
| In reply to | #104640 |
On 5/10/2024 9:39 PM, Richard Damon wrote:
> On 5/10/24 10:21 PM, olcott wrote:
>> On 5/10/2024 9:17 PM, Richard Damon wrote:
>>> On 5/10/24 7:39 PM, olcott wrote:
>>>> On 5/10/2024 5:39 PM, Richard Damon wrote:
>>>>> On 5/10/24 6:28 PM, olcott wrote:
>>>>>> On 5/10/2024 4:59 PM, Richard Damon wrote:
>>>>>>> On 5/10/24 5:43 PM, olcott wrote:
>>>>>>>> On 5/10/2024 4:19 PM, Richard Damon wrote:
>>>>>>>>> On 5/10/24 5:11 PM, olcott wrote:
>>>>>>>>>> On 5/10/2024 3:50 PM, Richard Damon wrote:
>>>>>>>>>>> On 5/10/24 4:27 PM, olcott wrote:
>>>>>>>>>>>> On 5/10/2024 3:09 PM, Richard Damon wrote:
>>>>>>>>>>>>> On 5/10/24 1:49 PM, olcott wrote:
>>>>>>>>>>>>>> On 5/10/2024 11:12 AM, Richard Damon wrote:
>>>>>>>>>>>>>>> On 5/10/24 11:50 AM, olcott wrote:
>>>>>>>>>>>>>>>> On 5/10/2024 9:18 AM, Richard Damon wrote:
>>>>>>>>>>>>>>>>> On 5/9/24 11:10 PM, olcott wrote:
>>>>>>>>>>>>>>>>>> On 5/9/2024 9:31 PM, Richard Damon wrote:
>>>>>>>>>>>>>>>>>>> On 5/9/24 11:38 AM, olcott wrote:
>>>>>>>>>>>>>>>>>>>> On 5/8/2024 8:38 PM, immibis wrote:
>>>>>>>>>>>>>>>>>>>>> On 8/05/24 21:05, olcott wrote:
>>>>>>>>>>>>>>>>>>>>>> On 5/8/2024 10:13 AM, Mike Terry wrote:
>>>>>>>>>>>>>>>>>>>>>>> On 08/05/2024 14:01, olcott wrote:
>>>>>>>>>>>>>>>>>>>>>>>> On 5/8/2024 3:59 AM, Mikko wrote:
>>>>>>>>>>>>>>>>>>>>>>>>> On 2024-05-07 19:05:54 +0000, olcott said:
>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>> On 5/7/2024 1:54 PM, Fred. Zwarts wrote:
>>>>>>>>>>>>>>>>>>>>>>>>>>> Op 07.mei.2024 om 17:40 schreef olcott:
>>>>>>>>>>>>>>>>>>>>>>>>>>>> On 5/7/2024 6:18 AM, Richard Damon wrote:
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> On 5/7/24 3:30 AM, Mikko wrote:
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> On 2024-05-06 18:28:37 +0000, olcott said:
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> On 5/6/2024 11:19 AM, Mikko wrote:
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> On 2024-05-05 17:02:25 +0000, olcott said:
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> The x86utm operating system:
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> https://github.com/plolcott/x86utm enables
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> one C function to execute another C
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> function in debug step mode.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Simulating Termination analyzer H
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> simulates the x86 machine code of its
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> input (using libx86emu) in debug step
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> mode until it correctly matches a
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> correct non-halting behavior pattern
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> proving that its input will never
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> stop running unless aborted.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Can D correctly simulated by H
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> terminate normally?
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 00 int H(ptr x, ptr x) // ptr is
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> pointer to int function
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 01 int D(ptr x)
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 02 {
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 03 int Halt_Status = H(x, x);
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 04 if (Halt_Status)
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 05 HERE: goto HERE;
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 06 return Halt_Status;
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 07 }
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 08
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 09 int main()
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 10 {
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 11 H(D,D);
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 12 }
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> *Execution Trace*
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Line 11: main() invokes H(D,D);
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> *keeps repeating* (unless aborted)
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Line 03: simulated D(D) invokes
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> simulated H(D,D) that simulates D(D)
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> *Simulation invariant*
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> D correctly simulated by H cannot
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> possibly reach past its own line 03.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> The above execution trace proves that
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> (for every H/D pair of the
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> infinite set of H/D pairs) each D(D)
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> simulated by the H that this D(D)
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> calls cannot possibly reach past its
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> own line 03.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> When you say "every H/D pair" you should
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> specify which set of pairs
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> you are talking about. As you don't,
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> your words don't mean anything.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Every H/D pair in the universe where D(D)
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> is simulated by the
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> same H(D,D) that D(D) calls. This
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> involves 1 to ∞ steps of D
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> and also includes zero to ∞ recursive
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> simulations where H
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> H simulates itself simulating D(D).
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> "In the universe" is not a set. In typical
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> set theories like ZFC there
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> is no universal set.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>> This template defines an infinite set of
>>>>>>>>>>>>>>>>>>>>>>>>>>>> finite string H/D pairs where each D(D) that
>>>>>>>>>>>>>>>>>>>>>>>>>>>> is simulated by H(D,D) also calls this same
>>>>>>>>>>>>>>>>>>>>>>>>>>>> H(D,D).
>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>> These H/D pairs can be enumerated by the one
>>>>>>>>>>>>>>>>>>>>>>>>>>>> to ∞ simulated steps of D and involve zero
>>>>>>>>>>>>>>>>>>>>>>>>>>>> to ∞ recursive simulations of H simulating
>>>>>>>>>>>>>>>>>>>>>>>>>>>> itself simulating D(D). Every time Lines
>>>>>>>>>>>>>>>>>>>>>>>>>>>> 1,2,3 are simulated again defines
>>>>>>>>>>>>>>>>>>>>>>>>>>>> one more level of recursive simulation.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>> 1st element of H/D pairs 1 step of D is
>>>>>>>>>>>>>>>>>>>>>>>>>>>> simulated by H
>>>>>>>>>>>>>>>>>>>>>>>>>>>> 2nd element of H/D pairs 2 steps of D are
>>>>>>>>>>>>>>>>>>>>>>>>>>>> simulated by H
>>>>>>>>>>>>>>>>>>>>>>>>>>>> 3rd element of H/D pairs 3 steps of D are
>>>>>>>>>>>>>>>>>>>>>>>>>>>> simulated by H
>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>> 4th element of H/D pairs 4 steps of D are
>>>>>>>>>>>>>>>>>>>>>>>>>>>> simulated by H
>>>>>>>>>>>>>>>>>>>>>>>>>>>> this begins the first recursive simulation
>>>>>>>>>>>>>>>>>>>>>>>>>>>> at line 01
>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>> 5th element of H/D pairs 5 steps of D are
>>>>>>>>>>>>>>>>>>>>>>>>>>>> simulated by
>>>>>>>>>>>>>>>>>>>>>>>>>>>> next step of the first recursive simulation
>>>>>>>>>>>>>>>>>>>>>>>>>>>> at line 02
>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>> 6th element of H/D pairs 6 steps of D are
>>>>>>>>>>>>>>>>>>>>>>>>>>>> simulated by
>>>>>>>>>>>>>>>>>>>>>>>>>>>> last step of the first recursive simulation
>>>>>>>>>>>>>>>>>>>>>>>>>>>> at line 03
>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>> 7th element of H/D pairs 7 steps of D are
>>>>>>>>>>>>>>>>>>>>>>>>>>>> simulated by H
>>>>>>>>>>>>>>>>>>>>>>>>>>>> this begins the second recursive simulation
>>>>>>>>>>>>>>>>>>>>>>>>>>>> at line 01
>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>> Is this the definition of the infinite set of
>>>>>>>>>>>>>>>>>>>>>>>>>>> H? We can think of many more simulations that
>>>>>>>>>>>>>>>>>>>>>>>>>>> only these.
>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>> This template defines an infinite set of
>>>>>>>>>>>>>>>>>>>>>>>>>> finite string H/D pairs where
>>>>>>>>>>>>>>>>>>>>>>>>>> each D(D) that is simulated by H(D,D) also
>>>>>>>>>>>>>>>>>>>>>>>>>> calls this same H(D,D).
>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>> No-one can possibly show one element of this
>>>>>>>>>>>>>>>>>>>>>>>>>> set where D(D) reaches
>>>>>>>>>>>>>>>>>>>>>>>>>> past its own line 03.
>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>> If H is a decider of any kind then the D build
>>>>>>>>>>>>>>>>>>>>>>>>> from it reaches its line
>>>>>>>>>>>>>>>>>>>>>>>>> 4 as numberd above. Whether the simulation of D
>>>>>>>>>>>>>>>>>>>>>>>>> by H reaches that line
>>>>>>>>>>>>>>>>>>>>>>>>> is another question.
>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>> *My fully operational code proves otherwise*
>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>> I seems like you guys don't have a clue about
>>>>>>>>>>>>>>>>>>>>>>>> how infinite
>>>>>>>>>>>>>>>>>>>>>>>> recursion works. You can run the code and see
>>>>>>>>>>>>>>>>>>>>>>>> that I am correct.
>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>> I have one concrete instance as fully
>>>>>>>>>>>>>>>>>>>>>>>> operational code.
>>>>>>>>>>>>>>>>>>>>>>>> https://github.com/plolcott/x86utm/blob/master/Halt7.c
>>>>>>>>>>>>>>>>>>>>>>>> line 555 u32 HH(ptr P, ptr I) its input in on
>>>>>>>>>>>>>>>>>>>>>>>> line 932 int DD(int (*x)())
>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>> HH is completely broken - it uses a global
>>>>>>>>>>>>>>>>>>>>>>> variable which is allows HH to detect whether it
>>>>>>>>>>>>>>>>>>>>>>> is the outer HH or a nested (simulated) HH. As a
>>>>>>>>>>>>>>>>>>>>>>> result, the nested HH behaves completely
>>>>>>>>>>>>>>>>>>>>>>> differently to the outer HH - I mean /completely/
>>>>>>>>>>>>>>>>>>>>>>> differently: it goes through a totally separate
>>>>>>>>>>>>>>>>>>>>>>> "I am called in nested mode" code path!
>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>> The encoding of HH is not the pure function that
>>>>>>>>>>>>>>>>>>>>>> it needs to be to
>>>>>>>>>>>>>>>>>>>>>> be a computable function.
>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>> *Maybe you can settle this*
>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>> The disagreement is entirely over an enormously
>>>>>>>>>>>>>>>>>>>>>> much simpler thing.
>>>>>>>>>>>>>>>>>>>>>> The disagreement is that Richard says that a D
>>>>>>>>>>>>>>>>>>>>>> simulated by H could
>>>>>>>>>>>>>>>>>>>>>> reach past its own line 03 and halt.
>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>> Here's the proof:
>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>> 1. A simulation always produces an identical
>>>>>>>>>>>>>>>>>>>>> execution trace to the direct execution.
>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>> *When pathological self-reference is involved this
>>>>>>>>>>>>>>>>>>>> is counter-factual*
>>>>>>>>>>>>>>>>>>>> That no one can possibly show the steps of how D
>>>>>>>>>>>>>>>>>>>> simulated by H possibly
>>>>>>>>>>>>>>>>>>>> reach line 06 of H proves this.
>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>> Richard tried to get away with D never simulated by
>>>>>>>>>>>>>>>>>>>> H as an example
>>>>>>>>>>>>>>>>>>>> of D simulated by H:
>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>> Nope, you are looking at the WRONG message, and I
>>>>>>>>>>>>>>>>>>> have told you this multiple times.
>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>> Message-ID: <v0ummt$2qov3$2@i2pn2.org>
>>>>>>>>>>>>>>>>>> *When you interpret*
>>>>>>>>>>>>>>>>>> On 5/1/2024 7:28 PM, Richard Damon wrote:
>>>>>>>>>>>>>>>>>> > On 5/1/24 11:51 AM, olcott wrote:
>>>>>>>>>>>>>>>>>> *Every D simulated by H that cannot possibly*
>>>>>>>>>>>>>>>>>> *stop running unless aborted by H*
>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>> as *D NEVER simulated by H*
>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>> you have shown a reckless disregard for the truth
>>>>>>>>>>>>>>>>>> that would win a defamation case.
>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>> My H simulated 0 steps of D, of which was ALL of the
>>>>>>>>>>>>>>>>> steps it simulated correctly.
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> *THAT DOES NOT MEET THE SPEC*
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> You haven't GIVEN a defined SPEC.
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> The only definition within Computation Theory, which is
>>>>>>>>>>>>>>> the space you started in, and claim to get to, doesn't
>>>>>>>>>>>>>>> have "aborted" simulations, so you don't have a defintion
>>>>>>>>>>>>>>> of what simulatioin actually means, other than doing
>>>>>>>>>>>>>>> something that tells you something about the behavior of
>>>>>>>>>>>>>>> what is simulated.
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> My H does that, by aborting its "simulation" in shows
>>>>>>>>>>>>>>> that THIS H did not simulate its input to a final state.
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> Just the same result that you partial set of H's showed.
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> *THAT DOES NOT MEET THE SPEC*
>>>>>>>>>>>>>>>> *THAT DOES NOT MEET THE SPEC*
>>>>>>>>>>>>>>>> *THAT DOES NOT MEET THE SPEC*
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> *Every D simulated by H that cannot possibly*
>>>>>>>>>>>>>>>> *stop running unless aborted by H*
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> *Every D simulated by H that cannot possibly*
>>>>>>>>>>>>>>>> *stop running unless aborted by H*
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> *Every D simulated by H that cannot possibly*
>>>>>>>>>>>>>>>> *stop running unless aborted by H*
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> *Every D simulated by H that cannot possibly*
>>>>>>>>>>>>>>>> *stop running unless aborted by H*
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> *Every D simulated by H that cannot possibly*
>>>>>>>>>>>>>>>> *stop running unless aborted by H*
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> Right, and simulating zero steps correctly and them
>>>>>>>>>>>>>>> aborting means H
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> *cannot possibly stop running unless aborted is not met*
>>>>>>>>>>>>>
>>>>>>>>>>>>> Aborted after 0 steps which is all that that H does.
>>>>>>>>>>>>>
>>>>>>>>>>>>
>>>>>>>>>>>> *cannot possibly stop running unless aborted is not met*
>>>>>>>>>>>> *BY cannot possibly start running*
>>>>>>>>>>>
>>>>>>>>>>>>
>>>>>>>>>>>> *cannot possibly stop running unless aborted is not met*
>>>>>>>>>>>> *BY cannot possibly start running*
>>>>>>>>>>>>
>>>>>>>>>>>> *cannot possibly stop running unless aborted is not met*
>>>>>>>>>>>> *BY cannot possibly start running*
>>>>>>>>>>>>
>>>>>>>>>>>> *cannot possibly stop running unless aborted is not met*
>>>>>>>>>>>> *BY cannot possibly start running*
>>>>>>>>>>>>
>>>>>>>>>>>
>>>>>>>>>>> You can start and then immediately stop an not make any
>>>>>>>>>>> progress.
>>>>>>>>>>>
>>>>>>>>>>> A bit like your "first point after 0".
>>>>>>>>>>>
>>>>>>>>>>> You just don't understand how logic works.
>>>>>>>>>>>
>>>>>>>>>>> And your definition is also illogical, as H either DOES or
>>>>>>>>>>> DOES NOT abort its simulation.
>>>>>>>>>>>
>>>>>>>>>>
>>>>>>>>>> *WRONG DICHOTOMY STRAW-MAN DECEPTION*
>>>>>>>>>
>>>>>>>>> But there is no Dichotomy, as there is just H, an not something
>>>>>>>>> to compare it to.
>>>>>>>>>
>>>>>>>>> The other thing you compare it to is not H.
>>>>>>>>>
>>>>>>>>>> "...cannot possibly stop running unless aborted"
>>>>>>>>>> *stops running if not aborted or keeps running if not aborted*
>>>>>>>>>
>>>>>>>>> But *THE* H does one or the other.
>>>>>>>>>
>>>>>>>>
>>>>>>>> Is your employer aware that your memory is this bad?
>>>>>>>> Are you in management where slick double-talk can hide this?
>>>>>>>
>>>>>>> Well, since you don't have an employer, I guess we can tell who
>>>>>>> performs better.
>>>>>>>
>>>>>>>>
>>>>>>>> *I have repeated time and again that I have always been referring*
>>>>>>>> *to the specific infinite set of H/D pairs specified below*
>>>>>>>
>>>>>>> And how does MAIN call an "Infinite set" of functions?
>>>>>>>
>>>>>>> And how is that an exact implementation of the Linz Proof, were H
>>>>>>> and H^ are specific (but arbitrary) machines?
>>>>>>>
>>>>>>
>>>>>> A "specific" and "arbitrary" machine is like a
>>>>>> very tiny little enormously huge thing.
>>>>>>
>>>>>> We can have specific elements of an infinite set such
>>>>>> that every element of this set has common properties.
>>>>>
>>>>> But the element is different then the set.
>>>>>
>>>>
>>>> One element of any type of set theory set is different
>>>> THAN (not then) the whole set, WELL DUH !!!
>>>
>>> Right, so why do you lie that H is the SET, and not one element at a
>>> time.
>>>
>>>>
>>>> Every element of natural numbers > 5 shares that common
>>>> property of > 5.
>>>>
>>> Right, but the set of natural numbers n > 5 doesn't have the property
>>> that the SET (as a set) is greater than 5, since that property is not
>>> a property of the set.
>>>
>>> Just like HALTING is a property of Program, not "sets of programs" so
>>> your POOP is just illogical.
>>>
>>>> *Richard can get this and lies about it*
>>>> *Richard can get this and lies about it*
>>>> *Richard can get this and lies about it*
>>>> *Richard can get this and lies about it*
>>>>
>>>> Every D simulated by H shares the property that it is
>>>> simulated by H.
>>>
>>> Nope, because "being simulated by" is not a property of the machine
>>> iteself, but of the decider looking at it.
>>>
>>>
>>>>
>>>> Every D NEVER simulated by H forms a set that is disjoint
>>>> from the above set.
>>>>
>>>
>>> But simulating zero steps correctly *IS* simulating ALL steps
>>> simulated correctly if you stop before getting to step 1.
>>>
>>> You just don't understand the nature of universal qualifiers.
>>>
>>> Or the actual general meaning of "simulation"
>>>
>>
>> Vacuously true is a bogus concept.
>>
>
> Nope. As I said, you don't understand that actual definition of
> "Simulation".
>
> You have already rejected the meaning it has in Computation Theory, as
> you allow (in fact require it to be allowed) to be aborted, which it is
> not in the Theory (as the only use of "Simulation" is in the description
> of a UTM that ALWAYS simualates until it reaches ano end.
>
> The more general definition does NOT require the "step by steo exact"
> that you seem to assume (yes, that is ONE definiton used in some parts
> of computer science), but since you REFUSED to actually provide an
> actual definition you can't retroactively apply a definition you did not
> app;ly,
>
> That just makes you a LIAR.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer
[toc] | [prev] | [next] | [standalone]
| From | Richard Damon <richard@damon-family.org> |
|---|---|
| Date | 2024-05-10 23:16 -0400 |
| Subject | Olcott admits to creating defintion out of his *ss |
| Message-ID | <v1mnua$lbo5$10@i2pn2.org> |
| In reply to | #104642 |
Apparently, Olcott thinks a "Term of Art" means something he can create. That isn't the right meaning for "Art" here On 5/10/24 10:52 PM, olcott wrote: > On 5/10/2024 9:39 PM, Richard Damon wrote: >> Then you can point to published definitons that match yours? >> > > Now that I know that when people say that a term is undefined > they never meant that it is actually undefined I can fix this.
[toc] | [prev] | [next] | [standalone]
| From | Mikko <mikko.levanto@iki.fi> |
|---|---|
| Date | 2024-05-11 11:27 +0300 |
| Subject | Re: Is Richard a Liar? |
| Message-ID | <v1na6f$1ugl0$1@dont-email.me> |
| In reply to | #104635 |
On 2024-05-11 02:21:10 +0000, olcott said:
> On 5/10/2024 9:17 PM, Richard Damon wrote:
>> On 5/10/24 7:39 PM, olcott wrote:
>>> On 5/10/2024 5:39 PM, Richard Damon wrote:
>>>> On 5/10/24 6:28 PM, olcott wrote:
>>>>> On 5/10/2024 4:59 PM, Richard Damon wrote:
>>>>>> On 5/10/24 5:43 PM, olcott wrote:
>>>>>>> On 5/10/2024 4:19 PM, Richard Damon wrote:
>>>>>>>> On 5/10/24 5:11 PM, olcott wrote:
>>>>>>>>> On 5/10/2024 3:50 PM, Richard Damon wrote:
>>>>>>>>>> On 5/10/24 4:27 PM, olcott wrote:
>>>>>>>>>>> On 5/10/2024 3:09 PM, Richard Damon wrote:
>>>>>>>>>>>> On 5/10/24 1:49 PM, olcott wrote:
>>>>>>>>>>>>> On 5/10/2024 11:12 AM, Richard Damon wrote:
>>>>>>>>>>>>>> On 5/10/24 11:50 AM, olcott wrote:
>>>>>>>>>>>>>>> On 5/10/2024 9:18 AM, Richard Damon wrote:
>>>>>>>>>>>>>>>> On 5/9/24 11:10 PM, olcott wrote:
>>>>>>>>>>>>>>>>> On 5/9/2024 9:31 PM, Richard Damon wrote:
>>>>>>>>>>>>>>>>>> On 5/9/24 11:38 AM, olcott wrote:
>>>>>>>>>>>>>>>>>>> On 5/8/2024 8:38 PM, immibis wrote:
>>>>>>>>>>>>>>>>>>>> On 8/05/24 21:05, olcott wrote:
>>>>>>>>>>>>>>>>>>>>> On 5/8/2024 10:13 AM, Mike Terry wrote:
>>>>>>>>>>>>>>>>>>>>>> On 08/05/2024 14:01, olcott wrote:
>>>>>>>>>>>>>>>>>>>>>>> On 5/8/2024 3:59 AM, Mikko wrote:
>>>>>>>>>>>>>>>>>>>>>>>> On 2024-05-07 19:05:54 +0000, olcott said:
>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>> On 5/7/2024 1:54 PM, Fred. Zwarts wrote:
>>>>>>>>>>>>>>>>>>>>>>>>>> Op 07.mei.2024 om 17:40 schreef olcott:
>>>>>>>>>>>>>>>>>>>>>>>>>>> On 5/7/2024 6:18 AM, Richard Damon wrote:
>>>>>>>>>>>>>>>>>>>>>>>>>>>> On 5/7/24 3:30 AM, Mikko wrote:
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> On 2024-05-06 18:28:37 +0000, olcott said:
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> On 5/6/2024 11:19 AM, Mikko wrote:
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> On 2024-05-05 17:02:25 +0000, olcott said:
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> The x86utm operating system: https://github.com/plolcott/x86utm enables
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> one C function to execute another C function in debug step mode.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Simulating Termination analyzer H simulates the x86 machine code of its
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> input (using libx86emu) in debug step mode until it correctly matches a
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> correct non-halting behavior pattern proving that its input will never
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> stop running unless aborted.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Can D correctly simulated by H terminate normally?
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 00 int H(ptr x, ptr x) // ptr is pointer to int function
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 01 int D(ptr x)
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 02 {
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 03 int Halt_Status = H(x, x);
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 04 if (Halt_Status)
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 05 HERE: goto HERE;
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 06 return Halt_Status;
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 07 }
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 08
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 09 int main()
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 10 {
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 11 H(D,D);
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 12 }
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> *Execution Trace*
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Line 11: main() invokes H(D,D);
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> *keeps repeating* (unless aborted)
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Line 03: simulated D(D) invokes simulated H(D,D) that simulates D(D)
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> *Simulation invariant*
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> D correctly simulated by H cannot possibly reach past its own line 03.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> The above execution trace proves that (for every H/D pair of the
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> infinite set of H/D pairs) each D(D) simulated by the H that this D(D)
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> calls cannot possibly reach past its own line 03.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> When you say "every H/D pair" you should specify which set of pairs
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> you are talking about. As you don't, your words don't mean anything.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Every H/D pair in the universe where D(D) is simulated by the
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> same H(D,D) that D(D) calls. This involves 1 to ∞ steps of D
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> and also includes zero to ∞ recursive simulations where H
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> H simulates itself simulating D(D).
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> "In the universe" is not a set. In typical set theories like ZFC there
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> is no universal set.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>> This template defines an infinite set of finite string H/D pairs where
>>>>>>>>>>>>>>>>>>>>>>>>>>> each D(D) that is simulated by H(D,D) also calls this same H(D,D).
>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>> These H/D pairs can be enumerated by the one to ∞ simulated steps of D
>>>>>>>>>>>>>>>>>>>>>>>>>>> and involve zero to ∞ recursive simulations of H simulating itself
>>>>>>>>>>>>>>>>>>>>>>>>>>> simulating D(D). Every time Lines 1,2,3 are simulated again defines
>>>>>>>>>>>>>>>>>>>>>>>>>>> one more level of recursive simulation.
>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>> 1st element of H/D pairs 1 step of D is simulated by H
>>>>>>>>>>>>>>>>>>>>>>>>>>> 2nd element of H/D pairs 2 steps of D are simulated by H
>>>>>>>>>>>>>>>>>>>>>>>>>>> 3rd element of H/D pairs 3 steps of D are simulated by H
>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>> 4th element of H/D pairs 4 steps of D are simulated by H
>>>>>>>>>>>>>>>>>>>>>>>>>>> this begins the first recursive simulation at line 01
>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>> 5th element of H/D pairs 5 steps of D are simulated by
>>>>>>>>>>>>>>>>>>>>>>>>>>> next step of the first recursive simulation at line 02
>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>> 6th element of H/D pairs 6 steps of D are simulated by
>>>>>>>>>>>>>>>>>>>>>>>>>>> last step of the first recursive simulation at line 03
>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>> 7th element of H/D pairs 7 steps of D are simulated by H
>>>>>>>>>>>>>>>>>>>>>>>>>>> this begins the second recursive simulation at line 01
>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>> Is this the definition of the infinite set of H? We can think of many
>>>>>>>>>>>>>>>>>>>>>>>>>> more simulations that only these.
>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>> This template defines an infinite set of finite string H/D pairs where
>>>>>>>>>>>>>>>>>>>>>>>>> each D(D) that is simulated by H(D,D) also calls this same H(D,D).
>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>> No-one can possibly show one element of this set where D(D) reaches
>>>>>>>>>>>>>>>>>>>>>>>>> past its own line 03.
>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>> If H is a decider of any kind then the D build from it reaches its line
>>>>>>>>>>>>>>>>>>>>>>>> 4 as numberd above. Whether the simulation of D by H reaches that line
>>>>>>>>>>>>>>>>>>>>>>>> is another question.
>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>> *My fully operational code proves otherwise*
>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>> I seems like you guys don't have a clue about how infinite
>>>>>>>>>>>>>>>>>>>>>>> recursion works. You can run the code and see that I am correct.
>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>> I have one concrete instance as fully operational code.
>>>>>>>>>>>>>>>>>>>>>>> https://github.com/plolcott/x86utm/blob/master/Halt7.c
>>>>>>>>>>>>>>>>>>>>>>> line 555 u32 HH(ptr P, ptr I) its input in on
>>>>>>>>>>>>>>>>>>>>>>> line 932 int DD(int (*x)())
>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>> HH is completely broken - it uses a global variable which is allows HH
>>>>>>>>>>>>>>>>>>>>>> to detect whether it is the outer HH or a nested (simulated) HH. As a
>>>>>>>>>>>>>>>>>>>>>> result, the nested HH behaves completely differently to the outer HH -
>>>>>>>>>>>>>>>>>>>>>> I mean /completely/ differently: it goes through a totally separate "I
>>>>>>>>>>>>>>>>>>>>>> am called in nested mode" code path!
>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>> The encoding of HH is not the pure function that it needs to be to
>>>>>>>>>>>>>>>>>>>>> be a computable function.
>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>> *Maybe you can settle this*
>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>> The disagreement is entirely over an enormously much simpler thing.
>>>>>>>>>>>>>>>>>>>>> The disagreement is that Richard says that a D simulated by H could
>>>>>>>>>>>>>>>>>>>>> reach past its own line 03 and halt.
>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>> Here's the proof:
>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>> 1. A simulation always produces an identical execution trace to the
>>>>>>>>>>>>>>>>>>>> direct execution.
>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>> *When pathological self-reference is involved this is counter-factual*
>>>>>>>>>>>>>>>>>>> That no one can possibly show the steps of how D simulated by H possibly
>>>>>>>>>>>>>>>>>>> reach line 06 of H proves this.
>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>> Richard tried to get away with D never simulated by H as an example
>>>>>>>>>>>>>>>>>>> of D simulated by H:
>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>> Nope, you are looking at the WRONG message, and I have told you this
>>>>>>>>>>>>>>>>>> multiple times.
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>> Message-ID: <v0ummt$2qov3$2@i2pn2.org>
>>>>>>>>>>>>>>>>> *When you interpret*
>>>>>>>>>>>>>>>>> On 5/1/2024 7:28 PM, Richard Damon wrote:
>>>>>>>>>>>>>>>>> > On 5/1/24 11:51 AM, olcott wrote:
>>>>>>>>>>>>>>>>> *Every D simulated by H that cannot possibly*
>>>>>>>>>>>>>>>>> *stop running unless aborted by H*
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>> as *D NEVER simulated by H*
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>> you have shown a reckless disregard for the truth
>>>>>>>>>>>>>>>>> that would win a defamation case.
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> My H simulated 0 steps of D, of which was ALL of the steps it simulated
>>>>>>>>>>>>>>>> correctly.
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> *THAT DOES NOT MEET THE SPEC*
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> You haven't GIVEN a defined SPEC.
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> The only definition within Computation Theory, which is the space you
>>>>>>>>>>>>>> started in, and claim to get to, doesn't have "aborted" simulations, so
>>>>>>>>>>>>>> you don't have a defintion of what simulatioin actually means, other
>>>>>>>>>>>>>> than doing something that tells you something about the behavior of
>>>>>>>>>>>>>> what is simulated.
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> My H does that, by aborting its "simulation" in shows that THIS H did
>>>>>>>>>>>>>> not simulate its input to a final state.
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> Just the same result that you partial set of H's showed.
>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> *THAT DOES NOT MEET THE SPEC*
>>>>>>>>>>>>>>> *THAT DOES NOT MEET THE SPEC*
>>>>>>>>>>>>>>> *THAT DOES NOT MEET THE SPEC*
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> *Every D simulated by H that cannot possibly*
>>>>>>>>>>>>>>> *stop running unless aborted by H*
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> *Every D simulated by H that cannot possibly*
>>>>>>>>>>>>>>> *stop running unless aborted by H*
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> *Every D simulated by H that cannot possibly*
>>>>>>>>>>>>>>> *stop running unless aborted by H*
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> *Every D simulated by H that cannot possibly*
>>>>>>>>>>>>>>> *stop running unless aborted by H*
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> *Every D simulated by H that cannot possibly*
>>>>>>>>>>>>>>> *stop running unless aborted by H*
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> Right, and simulating zero steps correctly and them aborting means H
>>>>>>>>>>>>>
>>>>>>>>>>>>> *cannot possibly stop running unless aborted is not met*
>>>>>>>>>>>>
>>>>>>>>>>>> Aborted after 0 steps which is all that that H does.
>>>>>>>>>>>>
>>>>>>>>>>>
>>>>>>>>>>> *cannot possibly stop running unless aborted is not met*
>>>>>>>>>>> *BY cannot possibly start running*
>>>>>>>>>>
>>>>>>>>>>>
>>>>>>>>>>> *cannot possibly stop running unless aborted is not met*
>>>>>>>>>>> *BY cannot possibly start running*
>>>>>>>>>>>
>>>>>>>>>>> *cannot possibly stop running unless aborted is not met*
>>>>>>>>>>> *BY cannot possibly start running*
>>>>>>>>>>>
>>>>>>>>>>> *cannot possibly stop running unless aborted is not met*
>>>>>>>>>>> *BY cannot possibly start running*
>>>>>>>>>>>
>>>>>>>>>>
>>>>>>>>>> You can start and then immediately stop an not make any progress.
>>>>>>>>>>
>>>>>>>>>> A bit like your "first point after 0".
>>>>>>>>>>
>>>>>>>>>> You just don't understand how logic works.
>>>>>>>>>>
>>>>>>>>>> And your definition is also illogical, as H either DOES or DOES NOT
>>>>>>>>>> abort its simulation.
>>>>>>>>>>
>>>>>>>>>
>>>>>>>>> *WRONG DICHOTOMY STRAW-MAN DECEPTION*
>>>>>>>>
>>>>>>>> But there is no Dichotomy, as there is just H, an not something to
>>>>>>>> compare it to.
>>>>>>>>
>>>>>>>> The other thing you compare it to is not H.
>>>>>>>>
>>>>>>>>> "...cannot possibly stop running unless aborted"
>>>>>>>>> *stops running if not aborted or keeps running if not aborted*
>>>>>>>>
>>>>>>>> But *THE* H does one or the other.
>>>>>>>>
>>>>>>>
>>>>>>> Is your employer aware that your memory is this bad?
>>>>>>> Are you in management where slick double-talk can hide this?
>>>>>>
>>>>>> Well, since you don't have an employer, I guess we can tell who
>>>>>> performs better.
>>>>>>
>>>>>>>
>>>>>>> *I have repeated time and again that I have always been referring*
>>>>>>> *to the specific infinite set of H/D pairs specified below*
>>>>>>
>>>>>> And how does MAIN call an "Infinite set" of functions?
>>>>>>
>>>>>> And how is that an exact implementation of the Linz Proof, were H and
>>>>>> H^ are specific (but arbitrary) machines?
>>>>>>
>>>>>
>>>>> A "specific" and "arbitrary" machine is like a
>>>>> very tiny little enormously huge thing.
>>>>>
>>>>> We can have specific elements of an infinite set such
>>>>> that every element of this set has common properties.
>>>>
>>>> But the element is different then the set.
>>>>
>>>
>>> One element of any type of set theory set is different
>>> THAN (not then) the whole set, WELL DUH !!!
>>
>> Right, so why do you lie that H is the SET, and not one element at a time.
>>
>>>
>>> Every element of natural numbers > 5 shares that common
>>> property of > 5.
>>>
>> Right, but the set of natural numbers n > 5 doesn't have the property
>> that the SET (as a set) is greater than 5, since that property is not a
>> property of the set.
>>
>> Just like HALTING is a property of Program, not "sets of programs" so
>> your POOP is just illogical.
>>
>>> *Richard can get this and lies about it*
>>> *Richard can get this and lies about it*
>>> *Richard can get this and lies about it*
>>> *Richard can get this and lies about it*
>>>
>>> Every D simulated by H shares the property that it is
>>> simulated by H.
>>
>> Nope, because "being simulated by" is not a property of the machine
>> iteself, but of the decider looking at it.
>>
>>
>>>
>>> Every D NEVER simulated by H forms a set that is disjoint
>>> from the above set.
>>>
>>
>> But simulating zero steps correctly *IS* simulating ALL steps simulated
>> correctly if you stop before getting to step 1.
>>
>> You just don't understand the nature of universal qualifiers.
>>
>> Or the actual general meaning of "simulation"
>>
>
> Vacuously true is a bogus concept.
If something is vacuously true then it is provably true, so if you
see "vacuously true" in a positive sentence you may read it as if
it were "provably true". The word "vacuously" means that the proof
is very short.
If something is not vacuously true then it may be otherwise true,
so saning "not vacuously true" does not say very much.
--
Mikko
[toc] | [prev] | [next] | [standalone]
| From | olcott <polcott333@gmail.com> |
|---|---|
| Date | 2024-05-11 11:26 -0500 |
| Subject | Re: Is Richard a Liar? |
| Message-ID | <v1o67n$24f4c$1@dont-email.me> |
| In reply to | #104666 |
On 5/11/2024 3:27 AM, Mikko wrote:
> On 2024-05-11 02:21:10 +0000, olcott said:
>
>> On 5/10/2024 9:17 PM, Richard Damon wrote:
>>> On 5/10/24 7:39 PM, olcott wrote:
>>>> On 5/10/2024 5:39 PM, Richard Damon wrote:
>>>>> On 5/10/24 6:28 PM, olcott wrote:
>>>>>> On 5/10/2024 4:59 PM, Richard Damon wrote:
>>>>>>> On 5/10/24 5:43 PM, olcott wrote:
>>>>>>>> On 5/10/2024 4:19 PM, Richard Damon wrote:
>>>>>>>>> On 5/10/24 5:11 PM, olcott wrote:
>>>>>>>>>> On 5/10/2024 3:50 PM, Richard Damon wrote:
>>>>>>>>>>> On 5/10/24 4:27 PM, olcott wrote:
>>>>>>>>>>>> On 5/10/2024 3:09 PM, Richard Damon wrote:
>>>>>>>>>>>>> On 5/10/24 1:49 PM, olcott wrote:
>>>>>>>>>>>>>> On 5/10/2024 11:12 AM, Richard Damon wrote:
>>>>>>>>>>>>>>> On 5/10/24 11:50 AM, olcott wrote:
>>>>>>>>>>>>>>>> On 5/10/2024 9:18 AM, Richard Damon wrote:
>>>>>>>>>>>>>>>>> On 5/9/24 11:10 PM, olcott wrote:
>>>>>>>>>>>>>>>>>> On 5/9/2024 9:31 PM, Richard Damon wrote:
>>>>>>>>>>>>>>>>>>> On 5/9/24 11:38 AM, olcott wrote:
>>>>>>>>>>>>>>>>>>>> On 5/8/2024 8:38 PM, immibis wrote:
>>>>>>>>>>>>>>>>>>>>> On 8/05/24 21:05, olcott wrote:
>>>>>>>>>>>>>>>>>>>>>> On 5/8/2024 10:13 AM, Mike Terry wrote:
>>>>>>>>>>>>>>>>>>>>>>> On 08/05/2024 14:01, olcott wrote:
>>>>>>>>>>>>>>>>>>>>>>>> On 5/8/2024 3:59 AM, Mikko wrote:
>>>>>>>>>>>>>>>>>>>>>>>>> On 2024-05-07 19:05:54 +0000, olcott said:
>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>> On 5/7/2024 1:54 PM, Fred. Zwarts wrote:
>>>>>>>>>>>>>>>>>>>>>>>>>>> Op 07.mei.2024 om 17:40 schreef olcott:
>>>>>>>>>>>>>>>>>>>>>>>>>>>> On 5/7/2024 6:18 AM, Richard Damon wrote:
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> On 5/7/24 3:30 AM, Mikko wrote:
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> On 2024-05-06 18:28:37 +0000, olcott said:
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> On 5/6/2024 11:19 AM, Mikko wrote:
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> On 2024-05-05 17:02:25 +0000, olcott said:
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> The x86utm operating system:
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> https://github.com/plolcott/x86utm enables
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> one C function to execute another C
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> function in debug step mode.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Simulating Termination analyzer H
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> simulates the x86 machine code of its
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> input (using libx86emu) in debug step
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> mode until it correctly matches a
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> correct non-halting behavior pattern
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> proving that its input will never
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> stop running unless aborted.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Can D correctly simulated by H
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> terminate normally?
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 00 int H(ptr x, ptr x) // ptr is
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> pointer to int function
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 01 int D(ptr x)
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 02 {
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 03 int Halt_Status = H(x, x);
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 04 if (Halt_Status)
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 05 HERE: goto HERE;
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 06 return Halt_Status;
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 07 }
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 08
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 09 int main()
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 10 {
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 11 H(D,D);
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 12 }
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> *Execution Trace*
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Line 11: main() invokes H(D,D);
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> *keeps repeating* (unless aborted)
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Line 03: simulated D(D) invokes
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> simulated H(D,D) that simulates D(D)
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> *Simulation invariant*
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> D correctly simulated by H cannot
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> possibly reach past its own line 03.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> The above execution trace proves that
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> (for every H/D pair of the
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> infinite set of H/D pairs) each D(D)
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> simulated by the H that this D(D)
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> calls cannot possibly reach past its
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> own line 03.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> When you say "every H/D pair" you should
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> specify which set of pairs
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> you are talking about. As you don't,
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> your words don't mean anything.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Every H/D pair in the universe where D(D)
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> is simulated by the
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> same H(D,D) that D(D) calls. This
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> involves 1 to ∞ steps of D
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> and also includes zero to ∞ recursive
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> simulations where H
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> H simulates itself simulating D(D).
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> "In the universe" is not a set. In typical
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> set theories like ZFC there
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> is no universal set.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>> This template defines an infinite set of
>>>>>>>>>>>>>>>>>>>>>>>>>>>> finite string H/D pairs where each D(D) that
>>>>>>>>>>>>>>>>>>>>>>>>>>>> is simulated by H(D,D) also calls this same
>>>>>>>>>>>>>>>>>>>>>>>>>>>> H(D,D).
>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>> These H/D pairs can be enumerated by the one
>>>>>>>>>>>>>>>>>>>>>>>>>>>> to ∞ simulated steps of D and involve zero
>>>>>>>>>>>>>>>>>>>>>>>>>>>> to ∞ recursive simulations of H simulating
>>>>>>>>>>>>>>>>>>>>>>>>>>>> itself simulating D(D). Every time Lines
>>>>>>>>>>>>>>>>>>>>>>>>>>>> 1,2,3 are simulated again defines
>>>>>>>>>>>>>>>>>>>>>>>>>>>> one more level of recursive simulation.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>> 1st element of H/D pairs 1 step of D is
>>>>>>>>>>>>>>>>>>>>>>>>>>>> simulated by H
>>>>>>>>>>>>>>>>>>>>>>>>>>>> 2nd element of H/D pairs 2 steps of D are
>>>>>>>>>>>>>>>>>>>>>>>>>>>> simulated by H
>>>>>>>>>>>>>>>>>>>>>>>>>>>> 3rd element of H/D pairs 3 steps of D are
>>>>>>>>>>>>>>>>>>>>>>>>>>>> simulated by H
>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>> 4th element of H/D pairs 4 steps of D are
>>>>>>>>>>>>>>>>>>>>>>>>>>>> simulated by H
>>>>>>>>>>>>>>>>>>>>>>>>>>>> this begins the first recursive simulation
>>>>>>>>>>>>>>>>>>>>>>>>>>>> at line 01
>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>> 5th element of H/D pairs 5 steps of D are
>>>>>>>>>>>>>>>>>>>>>>>>>>>> simulated by
>>>>>>>>>>>>>>>>>>>>>>>>>>>> next step of the first recursive simulation
>>>>>>>>>>>>>>>>>>>>>>>>>>>> at line 02
>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>> 6th element of H/D pairs 6 steps of D are
>>>>>>>>>>>>>>>>>>>>>>>>>>>> simulated by
>>>>>>>>>>>>>>>>>>>>>>>>>>>> last step of the first recursive simulation
>>>>>>>>>>>>>>>>>>>>>>>>>>>> at line 03
>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>> 7th element of H/D pairs 7 steps of D are
>>>>>>>>>>>>>>>>>>>>>>>>>>>> simulated by H
>>>>>>>>>>>>>>>>>>>>>>>>>>>> this begins the second recursive simulation
>>>>>>>>>>>>>>>>>>>>>>>>>>>> at line 01
>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>> Is this the definition of the infinite set of
>>>>>>>>>>>>>>>>>>>>>>>>>>> H? We can think of many more simulations that
>>>>>>>>>>>>>>>>>>>>>>>>>>> only these.
>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>> This template defines an infinite set of
>>>>>>>>>>>>>>>>>>>>>>>>>> finite string H/D pairs where
>>>>>>>>>>>>>>>>>>>>>>>>>> each D(D) that is simulated by H(D,D) also
>>>>>>>>>>>>>>>>>>>>>>>>>> calls this same H(D,D).
>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>> No-one can possibly show one element of this
>>>>>>>>>>>>>>>>>>>>>>>>>> set where D(D) reaches
>>>>>>>>>>>>>>>>>>>>>>>>>> past its own line 03.
>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>> If H is a decider of any kind then the D build
>>>>>>>>>>>>>>>>>>>>>>>>> from it reaches its line
>>>>>>>>>>>>>>>>>>>>>>>>> 4 as numberd above. Whether the simulation of D
>>>>>>>>>>>>>>>>>>>>>>>>> by H reaches that line
>>>>>>>>>>>>>>>>>>>>>>>>> is another question.
>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>> *My fully operational code proves otherwise*
>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>> I seems like you guys don't have a clue about
>>>>>>>>>>>>>>>>>>>>>>>> how infinite
>>>>>>>>>>>>>>>>>>>>>>>> recursion works. You can run the code and see
>>>>>>>>>>>>>>>>>>>>>>>> that I am correct.
>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>> I have one concrete instance as fully
>>>>>>>>>>>>>>>>>>>>>>>> operational code.
>>>>>>>>>>>>>>>>>>>>>>>> https://github.com/plolcott/x86utm/blob/master/Halt7.c
>>>>>>>>>>>>>>>>>>>>>>>> line 555 u32 HH(ptr P, ptr I) its input in on
>>>>>>>>>>>>>>>>>>>>>>>> line 932 int DD(int (*x)())
>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>> HH is completely broken - it uses a global
>>>>>>>>>>>>>>>>>>>>>>> variable which is allows HH to detect whether it
>>>>>>>>>>>>>>>>>>>>>>> is the outer HH or a nested (simulated) HH. As a
>>>>>>>>>>>>>>>>>>>>>>> result, the nested HH behaves completely
>>>>>>>>>>>>>>>>>>>>>>> differently to the outer HH - I mean /completely/
>>>>>>>>>>>>>>>>>>>>>>> differently: it goes through a totally separate
>>>>>>>>>>>>>>>>>>>>>>> "I am called in nested mode" code path!
>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>> The encoding of HH is not the pure function that
>>>>>>>>>>>>>>>>>>>>>> it needs to be to
>>>>>>>>>>>>>>>>>>>>>> be a computable function.
>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>> *Maybe you can settle this*
>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>> The disagreement is entirely over an enormously
>>>>>>>>>>>>>>>>>>>>>> much simpler thing.
>>>>>>>>>>>>>>>>>>>>>> The disagreement is that Richard says that a D
>>>>>>>>>>>>>>>>>>>>>> simulated by H could
>>>>>>>>>>>>>>>>>>>>>> reach past its own line 03 and halt.
>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>> Here's the proof:
>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>> 1. A simulation always produces an identical
>>>>>>>>>>>>>>>>>>>>> execution trace to the direct execution.
>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>> *When pathological self-reference is involved this
>>>>>>>>>>>>>>>>>>>> is counter-factual*
>>>>>>>>>>>>>>>>>>>> That no one can possibly show the steps of how D
>>>>>>>>>>>>>>>>>>>> simulated by H possibly
>>>>>>>>>>>>>>>>>>>> reach line 06 of H proves this.
>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>> Richard tried to get away with D never simulated by
>>>>>>>>>>>>>>>>>>>> H as an example
>>>>>>>>>>>>>>>>>>>> of D simulated by H:
>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>> Nope, you are looking at the WRONG message, and I
>>>>>>>>>>>>>>>>>>> have told you this multiple times.
>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>> Message-ID: <v0ummt$2qov3$2@i2pn2.org>
>>>>>>>>>>>>>>>>>> *When you interpret*
>>>>>>>>>>>>>>>>>> On 5/1/2024 7:28 PM, Richard Damon wrote:
>>>>>>>>>>>>>>>>>> > On 5/1/24 11:51 AM, olcott wrote:
>>>>>>>>>>>>>>>>>> *Every D simulated by H that cannot possibly*
>>>>>>>>>>>>>>>>>> *stop running unless aborted by H*
>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>> as *D NEVER simulated by H*
>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>> you have shown a reckless disregard for the truth
>>>>>>>>>>>>>>>>>> that would win a defamation case.
>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>> My H simulated 0 steps of D, of which was ALL of the
>>>>>>>>>>>>>>>>> steps it simulated correctly.
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> *THAT DOES NOT MEET THE SPEC*
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> You haven't GIVEN a defined SPEC.
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> The only definition within Computation Theory, which is
>>>>>>>>>>>>>>> the space you started in, and claim to get to, doesn't
>>>>>>>>>>>>>>> have "aborted" simulations, so you don't have a defintion
>>>>>>>>>>>>>>> of what simulatioin actually means, other than doing
>>>>>>>>>>>>>>> something that tells you something about the behavior of
>>>>>>>>>>>>>>> what is simulated.
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> My H does that, by aborting its "simulation" in shows
>>>>>>>>>>>>>>> that THIS H did not simulate its input to a final state.
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> Just the same result that you partial set of H's showed.
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> *THAT DOES NOT MEET THE SPEC*
>>>>>>>>>>>>>>>> *THAT DOES NOT MEET THE SPEC*
>>>>>>>>>>>>>>>> *THAT DOES NOT MEET THE SPEC*
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> *Every D simulated by H that cannot possibly*
>>>>>>>>>>>>>>>> *stop running unless aborted by H*
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> *Every D simulated by H that cannot possibly*
>>>>>>>>>>>>>>>> *stop running unless aborted by H*
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> *Every D simulated by H that cannot possibly*
>>>>>>>>>>>>>>>> *stop running unless aborted by H*
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> *Every D simulated by H that cannot possibly*
>>>>>>>>>>>>>>>> *stop running unless aborted by H*
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> *Every D simulated by H that cannot possibly*
>>>>>>>>>>>>>>>> *stop running unless aborted by H*
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> Right, and simulating zero steps correctly and them
>>>>>>>>>>>>>>> aborting means H
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> *cannot possibly stop running unless aborted is not met*
>>>>>>>>>>>>>
>>>>>>>>>>>>> Aborted after 0 steps which is all that that H does.
>>>>>>>>>>>>>
>>>>>>>>>>>>
>>>>>>>>>>>> *cannot possibly stop running unless aborted is not met*
>>>>>>>>>>>> *BY cannot possibly start running*
>>>>>>>>>>>
>>>>>>>>>>>>
>>>>>>>>>>>> *cannot possibly stop running unless aborted is not met*
>>>>>>>>>>>> *BY cannot possibly start running*
>>>>>>>>>>>>
>>>>>>>>>>>> *cannot possibly stop running unless aborted is not met*
>>>>>>>>>>>> *BY cannot possibly start running*
>>>>>>>>>>>>
>>>>>>>>>>>> *cannot possibly stop running unless aborted is not met*
>>>>>>>>>>>> *BY cannot possibly start running*
>>>>>>>>>>>>
>>>>>>>>>>>
>>>>>>>>>>> You can start and then immediately stop an not make any
>>>>>>>>>>> progress.
>>>>>>>>>>>
>>>>>>>>>>> A bit like your "first point after 0".
>>>>>>>>>>>
>>>>>>>>>>> You just don't understand how logic works.
>>>>>>>>>>>
>>>>>>>>>>> And your definition is also illogical, as H either DOES or
>>>>>>>>>>> DOES NOT abort its simulation.
>>>>>>>>>>>
>>>>>>>>>>
>>>>>>>>>> *WRONG DICHOTOMY STRAW-MAN DECEPTION*
>>>>>>>>>
>>>>>>>>> But there is no Dichotomy, as there is just H, an not something
>>>>>>>>> to compare it to.
>>>>>>>>>
>>>>>>>>> The other thing you compare it to is not H.
>>>>>>>>>
>>>>>>>>>> "...cannot possibly stop running unless aborted"
>>>>>>>>>> *stops running if not aborted or keeps running if not aborted*
>>>>>>>>>
>>>>>>>>> But *THE* H does one or the other.
>>>>>>>>>
>>>>>>>>
>>>>>>>> Is your employer aware that your memory is this bad?
>>>>>>>> Are you in management where slick double-talk can hide this?
>>>>>>>
>>>>>>> Well, since you don't have an employer, I guess we can tell who
>>>>>>> performs better.
>>>>>>>
>>>>>>>>
>>>>>>>> *I have repeated time and again that I have always been referring*
>>>>>>>> *to the specific infinite set of H/D pairs specified below*
>>>>>>>
>>>>>>> And how does MAIN call an "Infinite set" of functions?
>>>>>>>
>>>>>>> And how is that an exact implementation of the Linz Proof, were H
>>>>>>> and H^ are specific (but arbitrary) machines?
>>>>>>>
>>>>>>
>>>>>> A "specific" and "arbitrary" machine is like a
>>>>>> very tiny little enormously huge thing.
>>>>>>
>>>>>> We can have specific elements of an infinite set such
>>>>>> that every element of this set has common properties.
>>>>>
>>>>> But the element is different then the set.
>>>>>
>>>>
>>>> One element of any type of set theory set is different
>>>> THAN (not then) the whole set, WELL DUH !!!
>>>
>>> Right, so why do you lie that H is the SET, and not one element at a
>>> time.
>>>
>>>>
>>>> Every element of natural numbers > 5 shares that common
>>>> property of > 5.
>>>>
>>> Right, but the set of natural numbers n > 5 doesn't have the property
>>> that the SET (as a set) is greater than 5, since that property is not
>>> a property of the set.
>>>
>>> Just like HALTING is a property of Program, not "sets of programs" so
>>> your POOP is just illogical.
>>>
>>>> *Richard can get this and lies about it*
>>>> *Richard can get this and lies about it*
>>>> *Richard can get this and lies about it*
>>>> *Richard can get this and lies about it*
>>>>
>>>> Every D simulated by H shares the property that it is
>>>> simulated by H.
>>>
>>> Nope, because "being simulated by" is not a property of the machine
>>> iteself, but of the decider looking at it.
>>>
>>>
>>>>
>>>> Every D NEVER simulated by H forms a set that is disjoint
>>>> from the above set.
>>>>
>>>
>>> But simulating zero steps correctly *IS* simulating ALL steps
>>> simulated correctly if you stop before getting to step 1.
>>>
>>> You just don't understand the nature of universal qualifiers.
>>>
>>> Or the actual general meaning of "simulation"
>>>
>>
>> Vacuously true is a bogus concept.
>
> If something is vacuously true then it is provably true, so if you
> see "vacuously true" in a positive sentence you may read it as if
> it were "provably true". The word "vacuously" means that the proof
> is very short.
>
> If something is not vacuously true then it may be otherwise true,
> so saning "not vacuously true" does not say very much.
>
We have a simpler way to prove Richard is WRONG
I have used the conventional term-of-the-art {Termination Analyzer}
in the title of my paper since 2023/06/19
*Termination Analyzer H is Not Fooled by Pathological Input D*
I am working on providing an academic quality definition of this
term. The conventional term-of-the-art {Termination Analyzer}
would not allow ignoring the input.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer
[toc] | [prev] | [next] | [standalone]
| From | Richard Damon <richard@damon-family.org> |
|---|---|
| Date | 2024-05-11 12:46 -0400 |
| Subject | Re: Is Oclott a Liar? |
| Message-ID | <v1o7ca$nmui$8@i2pn2.org> |
| In reply to | #104679 |
On 5/11/24 12:26 PM, olcott wrote:
> On 5/11/2024 3:27 AM, Mikko wrote:
>> On 2024-05-11 02:21:10 +0000, olcott said:
>>
>>> On 5/10/2024 9:17 PM, Richard Damon wrote:
>>>> On 5/10/24 7:39 PM, olcott wrote:
>>>>> On 5/10/2024 5:39 PM, Richard Damon wrote:
>>>>>> On 5/10/24 6:28 PM, olcott wrote:
>>>>>>> On 5/10/2024 4:59 PM, Richard Damon wrote:
>>>>>>>> On 5/10/24 5:43 PM, olcott wrote:
>>>>>>>>> On 5/10/2024 4:19 PM, Richard Damon wrote:
>>>>>>>>>> On 5/10/24 5:11 PM, olcott wrote:
>>>>>>>>>>> On 5/10/2024 3:50 PM, Richard Damon wrote:
>>>>>>>>>>>> On 5/10/24 4:27 PM, olcott wrote:
>>>>>>>>>>>>> On 5/10/2024 3:09 PM, Richard Damon wrote:
>>>>>>>>>>>>>> On 5/10/24 1:49 PM, olcott wrote:
>>>>>>>>>>>>>>> On 5/10/2024 11:12 AM, Richard Damon wrote:
>>>>>>>>>>>>>>>> On 5/10/24 11:50 AM, olcott wrote:
>>>>>>>>>>>>>>>>> On 5/10/2024 9:18 AM, Richard Damon wrote:
>>>>>>>>>>>>>>>>>> On 5/9/24 11:10 PM, olcott wrote:
>>>>>>>>>>>>>>>>>>> On 5/9/2024 9:31 PM, Richard Damon wrote:
>>>>>>>>>>>>>>>>>>>> On 5/9/24 11:38 AM, olcott wrote:
>>>>>>>>>>>>>>>>>>>>> On 5/8/2024 8:38 PM, immibis wrote:
>>>>>>>>>>>>>>>>>>>>>> On 8/05/24 21:05, olcott wrote:
>>>>>>>>>>>>>>>>>>>>>>> On 5/8/2024 10:13 AM, Mike Terry wrote:
>>>>>>>>>>>>>>>>>>>>>>>> On 08/05/2024 14:01, olcott wrote:
>>>>>>>>>>>>>>>>>>>>>>>>> On 5/8/2024 3:59 AM, Mikko wrote:
>>>>>>>>>>>>>>>>>>>>>>>>>> On 2024-05-07 19:05:54 +0000, olcott said:
>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>> On 5/7/2024 1:54 PM, Fred. Zwarts wrote:
>>>>>>>>>>>>>>>>>>>>>>>>>>>> Op 07.mei.2024 om 17:40 schreef olcott:
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> On 5/7/2024 6:18 AM, Richard Damon wrote:
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> On 5/7/24 3:30 AM, Mikko wrote:
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> On 2024-05-06 18:28:37 +0000, olcott said:
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> On 5/6/2024 11:19 AM, Mikko wrote:
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> On 2024-05-05 17:02:25 +0000, olcott said:
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> The x86utm operating system:
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> https://github.com/plolcott/x86utm
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> enables
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> one C function to execute another C
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> function in debug step mode.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Simulating Termination analyzer H
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> simulates the x86 machine code of its
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> input (using libx86emu) in debug step
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> mode until it correctly matches a
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> correct non-halting behavior pattern
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> proving that its input will never
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> stop running unless aborted.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Can D correctly simulated by H
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> terminate normally?
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 00 int H(ptr x, ptr x) // ptr is
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> pointer to int function
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 01 int D(ptr x)
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 02 {
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 03 int Halt_Status = H(x, x);
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 04 if (Halt_Status)
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 05 HERE: goto HERE;
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 06 return Halt_Status;
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 07 }
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 08
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 09 int main()
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 10 {
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 11 H(D,D);
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 12 }
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> *Execution Trace*
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Line 11: main() invokes H(D,D);
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> *keeps repeating* (unless aborted)
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Line 03: simulated D(D) invokes
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> simulated H(D,D) that simulates D(D)
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> *Simulation invariant*
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> D correctly simulated by H cannot
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> possibly reach past its own line 03.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> The above execution trace proves that
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> (for every H/D pair of the
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> infinite set of H/D pairs) each D(D)
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> simulated by the H that this D(D)
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> calls cannot possibly reach past its
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> own line 03.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> When you say "every H/D pair" you
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> should specify which set of pairs
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> you are talking about. As you don't,
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> your words don't mean anything.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Every H/D pair in the universe where
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> D(D) is simulated by the
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> same H(D,D) that D(D) calls. This
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> involves 1 to ∞ steps of D
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> and also includes zero to ∞ recursive
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> simulations where H
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> H simulates itself simulating D(D).
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> "In the universe" is not a set. In
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> typical set theories like ZFC there
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> is no universal set.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> This template defines an infinite set of
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> finite string H/D pairs where each D(D)
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> that is simulated by H(D,D) also calls this
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> same H(D,D).
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> These H/D pairs can be enumerated by the
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> one to ∞ simulated steps of D and involve
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> zero to ∞ recursive simulations of H
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> simulating itself simulating D(D). Every
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> time Lines 1,2,3 are simulated again defines
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> one more level of recursive simulation.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 1st element of H/D pairs 1 step of D is
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> simulated by H
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 2nd element of H/D pairs 2 steps of D are
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> simulated by H
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 3rd element of H/D pairs 3 steps of D are
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> simulated by H
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 4th element of H/D pairs 4 steps of D are
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> simulated by H
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> this begins the first recursive simulation
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> at line 01
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 5th element of H/D pairs 5 steps of D are
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> simulated by
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> next step of the first recursive simulation
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> at line 02
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 6th element of H/D pairs 6 steps of D are
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> simulated by
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> last step of the first recursive simulation
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> at line 03
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 7th element of H/D pairs 7 steps of D are
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> simulated by H
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> this begins the second recursive simulation
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> at line 01
>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>> Is this the definition of the infinite set
>>>>>>>>>>>>>>>>>>>>>>>>>>>> of H? We can think of many more simulations
>>>>>>>>>>>>>>>>>>>>>>>>>>>> that only these.
>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>> This template defines an infinite set of
>>>>>>>>>>>>>>>>>>>>>>>>>>> finite string H/D pairs where
>>>>>>>>>>>>>>>>>>>>>>>>>>> each D(D) that is simulated by H(D,D) also
>>>>>>>>>>>>>>>>>>>>>>>>>>> calls this same H(D,D).
>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>> No-one can possibly show one element of this
>>>>>>>>>>>>>>>>>>>>>>>>>>> set where D(D) reaches
>>>>>>>>>>>>>>>>>>>>>>>>>>> past its own line 03.
>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>> If H is a decider of any kind then the D build
>>>>>>>>>>>>>>>>>>>>>>>>>> from it reaches its line
>>>>>>>>>>>>>>>>>>>>>>>>>> 4 as numberd above. Whether the simulation of
>>>>>>>>>>>>>>>>>>>>>>>>>> D by H reaches that line
>>>>>>>>>>>>>>>>>>>>>>>>>> is another question.
>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>> *My fully operational code proves otherwise*
>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>> I seems like you guys don't have a clue about
>>>>>>>>>>>>>>>>>>>>>>>>> how infinite
>>>>>>>>>>>>>>>>>>>>>>>>> recursion works. You can run the code and see
>>>>>>>>>>>>>>>>>>>>>>>>> that I am correct.
>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>> I have one concrete instance as fully
>>>>>>>>>>>>>>>>>>>>>>>>> operational code.
>>>>>>>>>>>>>>>>>>>>>>>>> https://github.com/plolcott/x86utm/blob/master/Halt7.c
>>>>>>>>>>>>>>>>>>>>>>>>> line 555 u32 HH(ptr P, ptr I) its input in on
>>>>>>>>>>>>>>>>>>>>>>>>> line 932 int DD(int (*x)())
>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>> HH is completely broken - it uses a global
>>>>>>>>>>>>>>>>>>>>>>>> variable which is allows HH to detect whether it
>>>>>>>>>>>>>>>>>>>>>>>> is the outer HH or a nested (simulated) HH. As a
>>>>>>>>>>>>>>>>>>>>>>>> result, the nested HH behaves completely
>>>>>>>>>>>>>>>>>>>>>>>> differently to the outer HH - I mean
>>>>>>>>>>>>>>>>>>>>>>>> /completely/ differently: it goes through a
>>>>>>>>>>>>>>>>>>>>>>>> totally separate "I am called in nested mode"
>>>>>>>>>>>>>>>>>>>>>>>> code path!
>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>> The encoding of HH is not the pure function that
>>>>>>>>>>>>>>>>>>>>>>> it needs to be to
>>>>>>>>>>>>>>>>>>>>>>> be a computable function.
>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>> *Maybe you can settle this*
>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>> The disagreement is entirely over an enormously
>>>>>>>>>>>>>>>>>>>>>>> much simpler thing.
>>>>>>>>>>>>>>>>>>>>>>> The disagreement is that Richard says that a D
>>>>>>>>>>>>>>>>>>>>>>> simulated by H could
>>>>>>>>>>>>>>>>>>>>>>> reach past its own line 03 and halt.
>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>> Here's the proof:
>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>> 1. A simulation always produces an identical
>>>>>>>>>>>>>>>>>>>>>> execution trace to the direct execution.
>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>> *When pathological self-reference is involved this
>>>>>>>>>>>>>>>>>>>>> is counter-factual*
>>>>>>>>>>>>>>>>>>>>> That no one can possibly show the steps of how D
>>>>>>>>>>>>>>>>>>>>> simulated by H possibly
>>>>>>>>>>>>>>>>>>>>> reach line 06 of H proves this.
>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>> Richard tried to get away with D never simulated by
>>>>>>>>>>>>>>>>>>>>> H as an example
>>>>>>>>>>>>>>>>>>>>> of D simulated by H:
>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>> Nope, you are looking at the WRONG message, and I
>>>>>>>>>>>>>>>>>>>> have told you this multiple times.
>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>> Message-ID: <v0ummt$2qov3$2@i2pn2.org>
>>>>>>>>>>>>>>>>>>> *When you interpret*
>>>>>>>>>>>>>>>>>>> On 5/1/2024 7:28 PM, Richard Damon wrote:
>>>>>>>>>>>>>>>>>>> > On 5/1/24 11:51 AM, olcott wrote:
>>>>>>>>>>>>>>>>>>> *Every D simulated by H that cannot possibly*
>>>>>>>>>>>>>>>>>>> *stop running unless aborted by H*
>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>> as *D NEVER simulated by H*
>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>> you have shown a reckless disregard for the truth
>>>>>>>>>>>>>>>>>>> that would win a defamation case.
>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>> My H simulated 0 steps of D, of which was ALL of the
>>>>>>>>>>>>>>>>>> steps it simulated correctly.
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>> *THAT DOES NOT MEET THE SPEC*
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> You haven't GIVEN a defined SPEC.
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> The only definition within Computation Theory, which is
>>>>>>>>>>>>>>>> the space you started in, and claim to get to, doesn't
>>>>>>>>>>>>>>>> have "aborted" simulations, so you don't have a
>>>>>>>>>>>>>>>> defintion of what simulatioin actually means, other than
>>>>>>>>>>>>>>>> doing something that tells you something about the
>>>>>>>>>>>>>>>> behavior of what is simulated.
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> My H does that, by aborting its "simulation" in shows
>>>>>>>>>>>>>>>> that THIS H did not simulate its input to a final state.
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> Just the same result that you partial set of H's showed.
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>> *THAT DOES NOT MEET THE SPEC*
>>>>>>>>>>>>>>>>> *THAT DOES NOT MEET THE SPEC*
>>>>>>>>>>>>>>>>> *THAT DOES NOT MEET THE SPEC*
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>> *Every D simulated by H that cannot possibly*
>>>>>>>>>>>>>>>>> *stop running unless aborted by H*
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>> *Every D simulated by H that cannot possibly*
>>>>>>>>>>>>>>>>> *stop running unless aborted by H*
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>> *Every D simulated by H that cannot possibly*
>>>>>>>>>>>>>>>>> *stop running unless aborted by H*
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>> *Every D simulated by H that cannot possibly*
>>>>>>>>>>>>>>>>> *stop running unless aborted by H*
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>> *Every D simulated by H that cannot possibly*
>>>>>>>>>>>>>>>>> *stop running unless aborted by H*
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> Right, and simulating zero steps correctly and them
>>>>>>>>>>>>>>>> aborting means H
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> *cannot possibly stop running unless aborted is not met*
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> Aborted after 0 steps which is all that that H does.
>>>>>>>>>>>>>>
>>>>>>>>>>>>>
>>>>>>>>>>>>> *cannot possibly stop running unless aborted is not met*
>>>>>>>>>>>>> *BY cannot possibly start running*
>>>>>>>>>>>>
>>>>>>>>>>>>>
>>>>>>>>>>>>> *cannot possibly stop running unless aborted is not met*
>>>>>>>>>>>>> *BY cannot possibly start running*
>>>>>>>>>>>>>
>>>>>>>>>>>>> *cannot possibly stop running unless aborted is not met*
>>>>>>>>>>>>> *BY cannot possibly start running*
>>>>>>>>>>>>>
>>>>>>>>>>>>> *cannot possibly stop running unless aborted is not met*
>>>>>>>>>>>>> *BY cannot possibly start running*
>>>>>>>>>>>>>
>>>>>>>>>>>>
>>>>>>>>>>>> You can start and then immediately stop an not make any
>>>>>>>>>>>> progress.
>>>>>>>>>>>>
>>>>>>>>>>>> A bit like your "first point after 0".
>>>>>>>>>>>>
>>>>>>>>>>>> You just don't understand how logic works.
>>>>>>>>>>>>
>>>>>>>>>>>> And your definition is also illogical, as H either DOES or
>>>>>>>>>>>> DOES NOT abort its simulation.
>>>>>>>>>>>>
>>>>>>>>>>>
>>>>>>>>>>> *WRONG DICHOTOMY STRAW-MAN DECEPTION*
>>>>>>>>>>
>>>>>>>>>> But there is no Dichotomy, as there is just H, an not
>>>>>>>>>> something to compare it to.
>>>>>>>>>>
>>>>>>>>>> The other thing you compare it to is not H.
>>>>>>>>>>
>>>>>>>>>>> "...cannot possibly stop running unless aborted"
>>>>>>>>>>> *stops running if not aborted or keeps running if not aborted*
>>>>>>>>>>
>>>>>>>>>> But *THE* H does one or the other.
>>>>>>>>>>
>>>>>>>>>
>>>>>>>>> Is your employer aware that your memory is this bad?
>>>>>>>>> Are you in management where slick double-talk can hide this?
>>>>>>>>
>>>>>>>> Well, since you don't have an employer, I guess we can tell who
>>>>>>>> performs better.
>>>>>>>>
>>>>>>>>>
>>>>>>>>> *I have repeated time and again that I have always been referring*
>>>>>>>>> *to the specific infinite set of H/D pairs specified below*
>>>>>>>>
>>>>>>>> And how does MAIN call an "Infinite set" of functions?
>>>>>>>>
>>>>>>>> And how is that an exact implementation of the Linz Proof, were
>>>>>>>> H and H^ are specific (but arbitrary) machines?
>>>>>>>>
>>>>>>>
>>>>>>> A "specific" and "arbitrary" machine is like a
>>>>>>> very tiny little enormously huge thing.
>>>>>>>
>>>>>>> We can have specific elements of an infinite set such
>>>>>>> that every element of this set has common properties.
>>>>>>
>>>>>> But the element is different then the set.
>>>>>>
>>>>>
>>>>> One element of any type of set theory set is different
>>>>> THAN (not then) the whole set, WELL DUH !!!
>>>>
>>>> Right, so why do you lie that H is the SET, and not one element at a
>>>> time.
>>>>
>>>>>
>>>>> Every element of natural numbers > 5 shares that common
>>>>> property of > 5.
>>>>>
>>>> Right, but the set of natural numbers n > 5 doesn't have the
>>>> property that the SET (as a set) is greater than 5, since that
>>>> property is not a property of the set.
>>>>
>>>> Just like HALTING is a property of Program, not "sets of programs"
>>>> so your POOP is just illogical.
>>>>
>>>>> *Richard can get this and lies about it*
>>>>> *Richard can get this and lies about it*
>>>>> *Richard can get this and lies about it*
>>>>> *Richard can get this and lies about it*
>>>>>
>>>>> Every D simulated by H shares the property that it is
>>>>> simulated by H.
>>>>
>>>> Nope, because "being simulated by" is not a property of the machine
>>>> iteself, but of the decider looking at it.
>>>>
>>>>
>>>>>
>>>>> Every D NEVER simulated by H forms a set that is disjoint
>>>>> from the above set.
>>>>>
>>>>
>>>> But simulating zero steps correctly *IS* simulating ALL steps
>>>> simulated correctly if you stop before getting to step 1.
>>>>
>>>> You just don't understand the nature of universal qualifiers.
>>>>
>>>> Or the actual general meaning of "simulation"
>>>>
>>>
>>> Vacuously true is a bogus concept.
>>
>> If something is vacuously true then it is provably true, so if you
>> see "vacuously true" in a positive sentence you may read it as if
>> it were "provably true". The word "vacuously" means that the proof
>> is very short.
>>
>> If something is not vacuously true then it may be otherwise true,
>> so saning "not vacuously true" does not say very much.
>>
>
> We have a simpler way to prove Richard is WRONG
> I have used the conventional term-of-the-art {Termination Analyzer}
> in the title of my paper since 2023/06/19
> *Termination Analyzer H is Not Fooled by Pathological Input D*
No, you havd used a FALSE definition that you claim is the
term-of-the-art definition, one that apparently is just beyound your
ability to understand.
>
> I am working on providing an academic quality definition of this
> term. The conventional term-of-the-art {Termination Analyzer}
> would not allow ignoring the input.
>
Which just shows you don't understand my arguement, because the point is
that YOUR H doesn't correctly look at the actual input given, but claims
that it can answer about THIS D that CALLS THIS H, by looking at a
DIFFERNT D that calls a DIFFERENT H.
If that is allowed, then H doesn't need to know what its input is, as
you logic claims it can process some other input then the one it was given.
It is a statement just like your Dead Cows walking in the pasture.
If YOUR H is allowed to treat D as something other than what this D is,
then you have dropped the requirement that H answer about the input it
was given, and your logic is based on lies.
That you don't understand this, just shows how much lies are the
foundation of your logic. You only accept your own lies, but reject the
lies of others, thus you logic system is inconsistant.
[toc] | [prev] | [next] | [standalone]
| From | Mikko <mikko.levanto@iki.fi> |
|---|---|
| Date | 2024-05-12 12:19 +0300 |
| Subject | Re: Is Richard a Liar? |
| Message-ID | <v1q1ie$2l40t$1@dont-email.me> |
| In reply to | #104679 |
On 2024-05-11 16:26:30 +0000, olcott said:
> On 5/11/2024 3:27 AM, Mikko wrote:
>> On 2024-05-11 02:21:10 +0000, olcott said:
>>
>>> On 5/10/2024 9:17 PM, Richard Damon wrote:
>>>> On 5/10/24 7:39 PM, olcott wrote:
>>>>> On 5/10/2024 5:39 PM, Richard Damon wrote:
>>>>>> On 5/10/24 6:28 PM, olcott wrote:
>>>>>>> On 5/10/2024 4:59 PM, Richard Damon wrote:
>>>>>>>> On 5/10/24 5:43 PM, olcott wrote:
>>>>>>>>> On 5/10/2024 4:19 PM, Richard Damon wrote:
>>>>>>>>>> On 5/10/24 5:11 PM, olcott wrote:
>>>>>>>>>>> On 5/10/2024 3:50 PM, Richard Damon wrote:
>>>>>>>>>>>> On 5/10/24 4:27 PM, olcott wrote:
>>>>>>>>>>>>> On 5/10/2024 3:09 PM, Richard Damon wrote:
>>>>>>>>>>>>>> On 5/10/24 1:49 PM, olcott wrote:
>>>>>>>>>>>>>>> On 5/10/2024 11:12 AM, Richard Damon wrote:
>>>>>>>>>>>>>>>> On 5/10/24 11:50 AM, olcott wrote:
>>>>>>>>>>>>>>>>> On 5/10/2024 9:18 AM, Richard Damon wrote:
>>>>>>>>>>>>>>>>>> On 5/9/24 11:10 PM, olcott wrote:
>>>>>>>>>>>>>>>>>>> On 5/9/2024 9:31 PM, Richard Damon wrote:
>>>>>>>>>>>>>>>>>>>> On 5/9/24 11:38 AM, olcott wrote:
>>>>>>>>>>>>>>>>>>>>> On 5/8/2024 8:38 PM, immibis wrote:
>>>>>>>>>>>>>>>>>>>>>> On 8/05/24 21:05, olcott wrote:
>>>>>>>>>>>>>>>>>>>>>>> On 5/8/2024 10:13 AM, Mike Terry wrote:
>>>>>>>>>>>>>>>>>>>>>>>> On 08/05/2024 14:01, olcott wrote:
>>>>>>>>>>>>>>>>>>>>>>>>> On 5/8/2024 3:59 AM, Mikko wrote:
>>>>>>>>>>>>>>>>>>>>>>>>>> On 2024-05-07 19:05:54 +0000, olcott said:
>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>> On 5/7/2024 1:54 PM, Fred. Zwarts wrote:
>>>>>>>>>>>>>>>>>>>>>>>>>>>> Op 07.mei.2024 om 17:40 schreef olcott:
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> On 5/7/2024 6:18 AM, Richard Damon wrote:
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> On 5/7/24 3:30 AM, Mikko wrote:
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> On 2024-05-06 18:28:37 +0000, olcott said:
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> On 5/6/2024 11:19 AM, Mikko wrote:
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> On 2024-05-05 17:02:25 +0000, olcott said:
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> The x86utm operating system: https://github.com/plolcott/x86utm enables
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> one C function to execute another C function in debug step mode.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Simulating Termination analyzer H simulates the x86 machine code of its
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> input (using libx86emu) in debug step mode until it correctly matches a
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> correct non-halting behavior pattern proving that its input will never
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> stop running unless aborted.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Can D correctly simulated by H terminate normally?
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 00 int H(ptr x, ptr x) // ptr is pointer to int function
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 01 int D(ptr x)
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 02 {
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 03 int Halt_Status = H(x, x);
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 04 if (Halt_Status)
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 05 HERE: goto HERE;
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 06 return Halt_Status;
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 07 }
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 08
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 09 int main()
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 10 {
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 11 H(D,D);
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 12 }
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> *Execution Trace*
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Line 11: main() invokes H(D,D);
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> *keeps repeating* (unless aborted)
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Line 03: simulated D(D) invokes simulated H(D,D) that simulates D(D)
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> *Simulation invariant*
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> D correctly simulated by H cannot possibly reach past its own line 03.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> The above execution trace proves that (for every H/D pair of the
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> infinite set of H/D pairs) each D(D) simulated by the H that this D(D)
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> calls cannot possibly reach past its own line 03.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> When you say "every H/D pair" you should specify which set of pairs
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> you are talking about. As you don't, your words don't mean anything.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Every H/D pair in the universe where D(D) is simulated by the
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> same H(D,D) that D(D) calls. This involves 1 to ∞ steps of D
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> and also includes zero to ∞ recursive simulations where H
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> H simulates itself simulating D(D).
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> "In the universe" is not a set. In typical set theories like ZFC there
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> is no universal set.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> This template defines an infinite set of finite string H/D pairs where
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> each D(D) that is simulated by H(D,D) also calls this same H(D,D).
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> These H/D pairs can be enumerated by the one to ∞ simulated steps of D
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> and involve zero to ∞ recursive simulations of H simulating itself
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> simulating D(D). Every time Lines 1,2,3 are simulated again defines
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> one more level of recursive simulation.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 1st element of H/D pairs 1 step of D is simulated by H
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 2nd element of H/D pairs 2 steps of D are simulated by H
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 3rd element of H/D pairs 3 steps of D are simulated by H
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 4th element of H/D pairs 4 steps of D are simulated by H
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> this begins the first recursive simulation at line 01
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 5th element of H/D pairs 5 steps of D are simulated by
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> next step of the first recursive simulation at line 02
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 6th element of H/D pairs 6 steps of D are simulated by
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> last step of the first recursive simulation at line 03
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 7th element of H/D pairs 7 steps of D are simulated by H
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> this begins the second recursive simulation at line 01
>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>> Is this the definition of the infinite set of H? We can think of many
>>>>>>>>>>>>>>>>>>>>>>>>>>>> more simulations that only these.
>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>> This template defines an infinite set of finite string H/D pairs where
>>>>>>>>>>>>>>>>>>>>>>>>>>> each D(D) that is simulated by H(D,D) also calls this same H(D,D).
>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>> No-one can possibly show one element of this set where D(D) reaches
>>>>>>>>>>>>>>>>>>>>>>>>>>> past its own line 03.
>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>> If H is a decider of any kind then the D build from it reaches its line
>>>>>>>>>>>>>>>>>>>>>>>>>> 4 as numberd above. Whether the simulation of D by H reaches that line
>>>>>>>>>>>>>>>>>>>>>>>>>> is another question.
>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>> *My fully operational code proves otherwise*
>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>> I seems like you guys don't have a clue about how infinite
>>>>>>>>>>>>>>>>>>>>>>>>> recursion works. You can run the code and see that I am correct.
>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>> I have one concrete instance as fully operational code.
>>>>>>>>>>>>>>>>>>>>>>>>> https://github.com/plolcott/x86utm/blob/master/Halt7.c
>>>>>>>>>>>>>>>>>>>>>>>>> line 555 u32 HH(ptr P, ptr I) its input in on
>>>>>>>>>>>>>>>>>>>>>>>>> line 932 int DD(int (*x)())
>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>> HH is completely broken - it uses a global variable which is allows HH
>>>>>>>>>>>>>>>>>>>>>>>> to detect whether it is the outer HH or a nested (simulated) HH. As a
>>>>>>>>>>>>>>>>>>>>>>>> result, the nested HH behaves completely differently to the outer HH -
>>>>>>>>>>>>>>>>>>>>>>>> I mean /completely/ differently: it goes through a totally separate "I
>>>>>>>>>>>>>>>>>>>>>>>> am called in nested mode" code path!
>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>> The encoding of HH is not the pure function that it needs to be to
>>>>>>>>>>>>>>>>>>>>>>> be a computable function.
>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>> *Maybe you can settle this*
>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>> The disagreement is entirely over an enormously much simpler thing.
>>>>>>>>>>>>>>>>>>>>>>> The disagreement is that Richard says that a D simulated by H could
>>>>>>>>>>>>>>>>>>>>>>> reach past its own line 03 and halt.
>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>> Here's the proof:
>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>> 1. A simulation always produces an identical execution trace to the
>>>>>>>>>>>>>>>>>>>>>> direct execution.
>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>> *When pathological self-reference is involved this is counter-factual*
>>>>>>>>>>>>>>>>>>>>> That no one can possibly show the steps of how D simulated by H possibly
>>>>>>>>>>>>>>>>>>>>> reach line 06 of H proves this.
>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>> Richard tried to get away with D never simulated by H as an example
>>>>>>>>>>>>>>>>>>>>> of D simulated by H:
>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>> Nope, you are looking at the WRONG message, and I have told you this
>>>>>>>>>>>>>>>>>>>> multiple times.
>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>> Message-ID: <v0ummt$2qov3$2@i2pn2.org>
>>>>>>>>>>>>>>>>>>> *When you interpret*
>>>>>>>>>>>>>>>>>>> On 5/1/2024 7:28 PM, Richard Damon wrote:
>>>>>>>>>>>>>>>>>>> > On 5/1/24 11:51 AM, olcott wrote:
>>>>>>>>>>>>>>>>>>> *Every D simulated by H that cannot possibly*
>>>>>>>>>>>>>>>>>>> *stop running unless aborted by H*
>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>> as *D NEVER simulated by H*
>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>> you have shown a reckless disregard for the truth
>>>>>>>>>>>>>>>>>>> that would win a defamation case.
>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>> My H simulated 0 steps of D, of which was ALL of the steps it simulated
>>>>>>>>>>>>>>>>>> correctly.
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>> *THAT DOES NOT MEET THE SPEC*
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> You haven't GIVEN a defined SPEC.
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> The only definition within Computation Theory, which is the space you
>>>>>>>>>>>>>>>> started in, and claim to get to, doesn't have "aborted" simulations, so
>>>>>>>>>>>>>>>> you don't have a defintion of what simulatioin actually means, other
>>>>>>>>>>>>>>>> than doing something that tells you something about the behavior of
>>>>>>>>>>>>>>>> what is simulated.
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> My H does that, by aborting its "simulation" in shows that THIS H did
>>>>>>>>>>>>>>>> not simulate its input to a final state.
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> Just the same result that you partial set of H's showed.
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>> *THAT DOES NOT MEET THE SPEC*
>>>>>>>>>>>>>>>>> *THAT DOES NOT MEET THE SPEC*
>>>>>>>>>>>>>>>>> *THAT DOES NOT MEET THE SPEC*
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>> *Every D simulated by H that cannot possibly*
>>>>>>>>>>>>>>>>> *stop running unless aborted by H*
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>> *Every D simulated by H that cannot possibly*
>>>>>>>>>>>>>>>>> *stop running unless aborted by H*
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>> *Every D simulated by H that cannot possibly*
>>>>>>>>>>>>>>>>> *stop running unless aborted by H*
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>> *Every D simulated by H that cannot possibly*
>>>>>>>>>>>>>>>>> *stop running unless aborted by H*
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>> *Every D simulated by H that cannot possibly*
>>>>>>>>>>>>>>>>> *stop running unless aborted by H*
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> Right, and simulating zero steps correctly and them aborting means H
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> *cannot possibly stop running unless aborted is not met*
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> Aborted after 0 steps which is all that that H does.
>>>>>>>>>>>>>>
>>>>>>>>>>>>>
>>>>>>>>>>>>> *cannot possibly stop running unless aborted is not met*
>>>>>>>>>>>>> *BY cannot possibly start running*
>>>>>>>>>>>>
>>>>>>>>>>>>>
>>>>>>>>>>>>> *cannot possibly stop running unless aborted is not met*
>>>>>>>>>>>>> *BY cannot possibly start running*
>>>>>>>>>>>>>
>>>>>>>>>>>>> *cannot possibly stop running unless aborted is not met*
>>>>>>>>>>>>> *BY cannot possibly start running*
>>>>>>>>>>>>>
>>>>>>>>>>>>> *cannot possibly stop running unless aborted is not met*
>>>>>>>>>>>>> *BY cannot possibly start running*
>>>>>>>>>>>>>
>>>>>>>>>>>>
>>>>>>>>>>>> You can start and then immediately stop an not make any progress.
>>>>>>>>>>>>
>>>>>>>>>>>> A bit like your "first point after 0".
>>>>>>>>>>>>
>>>>>>>>>>>> You just don't understand how logic works.
>>>>>>>>>>>>
>>>>>>>>>>>> And your definition is also illogical, as H either DOES or DOES NOT
>>>>>>>>>>>> abort its simulation.
>>>>>>>>>>>>
>>>>>>>>>>>
>>>>>>>>>>> *WRONG DICHOTOMY STRAW-MAN DECEPTION*
>>>>>>>>>>
>>>>>>>>>> But there is no Dichotomy, as there is just H, an not something to
>>>>>>>>>> compare it to.
>>>>>>>>>>
>>>>>>>>>> The other thing you compare it to is not H.
>>>>>>>>>>
>>>>>>>>>>> "...cannot possibly stop running unless aborted"
>>>>>>>>>>> *stops running if not aborted or keeps running if not aborted*
>>>>>>>>>>
>>>>>>>>>> But *THE* H does one or the other.
>>>>>>>>>>
>>>>>>>>>
>>>>>>>>> Is your employer aware that your memory is this bad?
>>>>>>>>> Are you in management where slick double-talk can hide this?
>>>>>>>>
>>>>>>>> Well, since you don't have an employer, I guess we can tell who
>>>>>>>> performs better.
>>>>>>>>
>>>>>>>>>
>>>>>>>>> *I have repeated time and again that I have always been referring*
>>>>>>>>> *to the specific infinite set of H/D pairs specified below*
>>>>>>>>
>>>>>>>> And how does MAIN call an "Infinite set" of functions?
>>>>>>>>
>>>>>>>> And how is that an exact implementation of the Linz Proof, were H and
>>>>>>>> H^ are specific (but arbitrary) machines?
>>>>>>>>
>>>>>>>
>>>>>>> A "specific" and "arbitrary" machine is like a
>>>>>>> very tiny little enormously huge thing.
>>>>>>>
>>>>>>> We can have specific elements of an infinite set such
>>>>>>> that every element of this set has common properties.
>>>>>>
>>>>>> But the element is different then the set.
>>>>>>
>>>>>
>>>>> One element of any type of set theory set is different
>>>>> THAN (not then) the whole set, WELL DUH !!!
>>>>
>>>> Right, so why do you lie that H is the SET, and not one element at a time.
>>>>
>>>>>
>>>>> Every element of natural numbers > 5 shares that common
>>>>> property of > 5.
>>>>>
>>>> Right, but the set of natural numbers n > 5 doesn't have the property
>>>> that the SET (as a set) is greater than 5, since that property is not a
>>>> property of the set.
>>>>
>>>> Just like HALTING is a property of Program, not "sets of programs" so
>>>> your POOP is just illogical.
>>>>
>>>>> *Richard can get this and lies about it*
>>>>> *Richard can get this and lies about it*
>>>>> *Richard can get this and lies about it*
>>>>> *Richard can get this and lies about it*
>>>>>
>>>>> Every D simulated by H shares the property that it is
>>>>> simulated by H.
>>>>
>>>> Nope, because "being simulated by" is not a property of the machine
>>>> iteself, but of the decider looking at it.
>>>>
>>>>
>>>>>
>>>>> Every D NEVER simulated by H forms a set that is disjoint
>>>>> from the above set.
>>>>>
>>>>
>>>> But simulating zero steps correctly *IS* simulating ALL steps simulated
>>>> correctly if you stop before getting to step 1.
>>>>
>>>> You just don't understand the nature of universal qualifiers.
>>>>
>>>> Or the actual general meaning of "simulation"
>>>>
>>>
>>> Vacuously true is a bogus concept.
>>
>> If something is vacuously true then it is provably true, so if you
>> see "vacuously true" in a positive sentence you may read it as if
>> it were "provably true". The word "vacuously" means that the proof
>> is very short.
>>
>> If something is not vacuously true then it may be otherwise true,
>> so saning "not vacuously true" does not say very much.
>>
>
> We have a simpler way to prove Richard is WRONG
> I have used the conventional term-of-the-art {Termination Analyzer}
> in the title of my paper since 2023/06/19
> *Termination Analyzer H is Not Fooled by Pathological Input D*
It is not a conventional term or the art if you use it in a meaning
that is not its conventional meaning. You have used the term
"termination analyzer" in sentences that would be false nor non-sense
if the conventional meaning would apply.
> I am working on providing an academic quality definition of this
> term.
The definition in Wikipedia is good enough.
--
Mikko
[toc] | [prev] | [next] | [standalone]
| From | Richard Damon <richard@damon-family.org> |
|---|---|
| Date | 2024-05-12 07:34 -0400 |
| Subject | Re: Is Richard a Liar? |
| Message-ID | <v1q9fp$qb0p$1@i2pn2.org> |
| In reply to | #104702 |
On 5/12/24 5:19 AM, Mikko wrote: > On 2024-05-11 16:26:30 +0000, olcott said: > >> I am working on providing an academic quality definition of this >> term. > > The definition in Wikipedia is good enough. > I think he means, he is working on a definition that redefines the field to allow him to claim what he wants. Sort of like his new definition of H as an "unconventional" machine that some how both returns an answer but also keeps on running.
[toc] | [prev] | [next] | [standalone]
| From | Mikko <mikko.levanto@iki.fi> |
|---|---|
| Date | 2024-05-12 18:21 +0300 |
| Subject | Re: Is Richard a Liar? |
| Message-ID | <v1qmq8$2prs6$1@dont-email.me> |
| In reply to | #104703 |
On 2024-05-12 11:34:17 +0000, Richard Damon said: > On 5/12/24 5:19 AM, Mikko wrote: >> On 2024-05-11 16:26:30 +0000, olcott said: >> >>> I am working on providing an academic quality definition of this >>> term. >> >> The definition in Wikipedia is good enough. >> > > I think he means, he is working on a definition that redefines the > field to allow him to claim what he wants. Here one can claim whatever one wants anysay. In if one wants to present ones claims on some significant forum then it is better to stick to usual definitions as much as possible. > Sort of like his new definition of H as an "unconventional" machine > that some how both returns an answer but also keeps on running. There are systems where that is possible but unsolvable problems are unsolvable even in those systems. -- Mikko
[toc] | [prev] | [next] | [standalone]
| From | olcott <polcott333@gmail.com> |
|---|---|
| Date | 2024-05-12 10:58 -0500 |
| Subject | Re: Is Richard a Liar? |
| Message-ID | <v1qouc$2qb2s$1@dont-email.me> |
| In reply to | #104710 |
On 5/12/2024 10:21 AM, Mikko wrote: > On 2024-05-12 11:34:17 +0000, Richard Damon said: > >> On 5/12/24 5:19 AM, Mikko wrote: >>> On 2024-05-11 16:26:30 +0000, olcott said: >>> >>>> I am working on providing an academic quality definition of this >>>> term. >>> >>> The definition in Wikipedia is good enough. >>> >> >> I think he means, he is working on a definition that redefines the >> field to allow him to claim what he wants. > > Here one can claim whatever one wants anysay. > In if one wants to present ones claims on some significant forum then > it is better to stick to usual definitions as much as possible. > >> Sort of like his new definition of H as an "unconventional" machine >> that some how both returns an answer but also keeps on running. > > There are systems where that is possible but unsolvable problems are > unsolvable even in those systems. > When Ĥ is applied to ⟨Ĥ⟩ Ĥ.q0 ⟨Ĥ⟩ ⊢* embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qy ∞ Ĥ.q0 ⟨Ĥ⟩ ⊢* embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn embedded_H is an actual UTM that has the extra feature of watching every state transition of its simulated input so that it detects the non-halting behavior pattern that we can all see. Execution trace of Ĥ applied to ⟨Ĥ⟩ (a) Ĥ.q0 The input ⟨Ĥ⟩ is copied then transitions to embedded_H (b) embedded_H applied ⟨Ĥ⟩ ⟨Ĥ⟩ (input and copy) simulates ⟨Ĥ⟩ applied to ⟨Ĥ⟩ (c) which begins at its own simulated ⟨Ĥ.q0⟩ to repeat the process Simulation invariant: ⟨Ĥ⟩ correctly simulated by embedded_H never reaches its own simulated final state of ⟨Ĥ.qn⟩. (1) The directly executed embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩ transitions to its own internal state of embedded_H.qn indicating that the correct and complete simulation of its input never halts. It never reaches Ĥ.qn. (2) embedded_H continues to simulate its input after it transitions to this internal state. (3) Each simulated embedded_H does the same thing. embedded_H is not a halt decider or a partial halt decider because all deciders are required to halt. embedded_H is not even a conventional termination analyzer for this same reason. None-the-less embedded_H does derive the correct halt status of its conventional HP input. -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer
[toc] | [prev] | [next] | [standalone]
| From | Richard Damon <richard@damon-family.org> |
|---|---|
| Date | 2024-05-12 12:57 -0400 |
| Subject | Olcott admits to being a liar! |
| Message-ID | <v1qseb$qvg3$1@i2pn2.org> |
| In reply to | #104712 |
On 5/12/24 11:58 AM, olcott wrote: > On 5/12/2024 10:21 AM, Mikko wrote: >> On 2024-05-12 11:34:17 +0000, Richard Damon said: >> >>> On 5/12/24 5:19 AM, Mikko wrote: >>>> On 2024-05-11 16:26:30 +0000, olcott said: >>>> >>>>> I am working on providing an academic quality definition of this >>>>> term. >>>> >>>> The definition in Wikipedia is good enough. >>>> >>> >>> I think he means, he is working on a definition that redefines the >>> field to allow him to claim what he wants. >> >> Here one can claim whatever one wants anysay. >> In if one wants to present ones claims on some significant forum then >> it is better to stick to usual definitions as much as possible. >> >>> Sort of like his new definition of H as an "unconventional" machine >>> that some how both returns an answer but also keeps on running. >> >> There are systems where that is possible but unsolvable problems are >> unsolvable even in those systems. >> > > When Ĥ is applied to ⟨Ĥ⟩ > Ĥ.q0 ⟨Ĥ⟩ ⊢* embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qy ∞ > Ĥ.q0 ⟨Ĥ⟩ ⊢* embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn > > embedded_H is an actual UTM that has the extra feature of watching > every state transition of its simulated input so that it detects > the non-halting behavior pattern that we can all see. > > Execution trace of Ĥ applied to ⟨Ĥ⟩ > (a) Ĥ.q0 The input ⟨Ĥ⟩ is copied then transitions to embedded_H > (b) embedded_H applied ⟨Ĥ⟩ ⟨Ĥ⟩ (input and copy) simulates ⟨Ĥ⟩ applied to > ⟨Ĥ⟩ > (c) which begins at its own simulated ⟨Ĥ.q0⟩ to repeat the process > > Simulation invariant: ⟨Ĥ⟩ correctly simulated by embedded_H never > reaches its own simulated final state of ⟨Ĥ.qn⟩. > > (1) The directly executed embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩ transitions to its own > internal state of embedded_H.qn indicating that the correct and > complete simulation of its input never halts. It never reaches Ĥ.qn. > > (2) embedded_H continues to simulate its input after it transitions > to this internal state. How? Are you admitting that embedded_H isn't actually the equivalent of a Turing Machine? > > (3) Each simulated embedded_H does the same thing. In other words, you have LIED that embedded_H is just your name for H embedded into H^, and thus your H^ isn't Linz's so it means nothing. > > embedded_H is not a halt decider or a partial halt decider > because all deciders are required to halt. embedded_H is > not even a conventional termination analyzer for this same > reason. None-the-less embedded_H does derive the correct > halt status of its conventional HP input. > And thus you admit that either H isn't a Halt Decider, or that your H^ isn't the right H^ So, you have just proven that you have wasted your last 20 years on your lies that embedded_H IS the required copy of H as described by Linz's proof.
[toc] | [prev] | [next] | [standalone]
| From | Mikko <mikko.levanto@iki.fi> |
|---|---|
| Date | 2024-05-14 12:44 +0300 |
| Subject | Re: Is Richard a Liar? |
| Message-ID | <v1vbpd$3gbc$1@dont-email.me> |
| In reply to | #104712 |
On 2024-05-12 15:58:02 +0000, olcott said: > On 5/12/2024 10:21 AM, Mikko wrote: >> On 2024-05-12 11:34:17 +0000, Richard Damon said: >> >>> On 5/12/24 5:19 AM, Mikko wrote: >>>> On 2024-05-11 16:26:30 +0000, olcott said: >>>> >>>>> I am working on providing an academic quality definition of this >>>>> term. >>>> >>>> The definition in Wikipedia is good enough. >>>> >>> >>> I think he means, he is working on a definition that redefines the >>> field to allow him to claim what he wants. >> >> Here one can claim whatever one wants anysay. >> In if one wants to present ones claims on some significant forum then >> it is better to stick to usual definitions as much as possible. >> >>> Sort of like his new definition of H as an "unconventional" machine >>> that some how both returns an answer but also keeps on running. >> >> There are systems where that is possible but unsolvable problems are >> unsolvable even in those systems. >> > > When Ĥ is applied to ⟨Ĥ⟩ > Ĥ.q0 ⟨Ĥ⟩ ⊢* embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qy ∞ > Ĥ.q0 ⟨Ĥ⟩ ⊢* embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn This notation does not work with machines that can, or have parts that can, return a value without (or before) termination. -- Mikko
[toc] | [prev] | [next] | [standalone]
| From | olcott <polcott333@gmail.com> |
|---|---|
| Date | 2024-05-14 09:21 -0500 |
| Subject | Re: Is Richard a Liar? |
| Message-ID | <v1vs0m$7577$4@dont-email.me> |
| In reply to | #104827 |
On 5/14/2024 4:44 AM, Mikko wrote: > On 2024-05-12 15:58:02 +0000, olcott said: > >> On 5/12/2024 10:21 AM, Mikko wrote: >>> On 2024-05-12 11:34:17 +0000, Richard Damon said: >>> >>>> On 5/12/24 5:19 AM, Mikko wrote: >>>>> On 2024-05-11 16:26:30 +0000, olcott said: >>>>> >>>>>> I am working on providing an academic quality definition of this >>>>>> term. >>>>> >>>>> The definition in Wikipedia is good enough. >>>>> >>>> >>>> I think he means, he is working on a definition that redefines the >>>> field to allow him to claim what he wants. >>> >>> Here one can claim whatever one wants anysay. >>> In if one wants to present ones claims on some significant forum then >>> it is better to stick to usual definitions as much as possible. >>> >>>> Sort of like his new definition of H as an "unconventional" machine >>>> that some how both returns an answer but also keeps on running. >>> >>> There are systems where that is possible but unsolvable problems are >>> unsolvable even in those systems. >>> >> >> When Ĥ is applied to ⟨Ĥ⟩ >> Ĥ.q0 ⟨Ĥ⟩ ⊢* embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qy ∞ >> Ĥ.q0 ⟨Ĥ⟩ ⊢* embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn > > This notation does not work with machines that can, or have parts > that can, return a value without (or before) termination. > ⊢* specifies a wildcard set of state transitions that could include a transition to a non-final state embedded_H.qn. -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer
[toc] | [prev] | [next] | [standalone]
| From | Richard Damon <richard@damon-family.org> |
|---|---|
| Date | 2024-05-14 22:15 -0400 |
| Subject | Re: Olcott is a Liar! |
| Message-ID | <v215s7$12b7d$3@i2pn2.org> |
| In reply to | #104835 |
On 5/14/24 10:21 AM, olcott wrote: > On 5/14/2024 4:44 AM, Mikko wrote: >> On 2024-05-12 15:58:02 +0000, olcott said: >> >>> On 5/12/2024 10:21 AM, Mikko wrote: >>>> On 2024-05-12 11:34:17 +0000, Richard Damon said: >>>> >>>>> On 5/12/24 5:19 AM, Mikko wrote: >>>>>> On 2024-05-11 16:26:30 +0000, olcott said: >>>>>> >>>>>>> I am working on providing an academic quality definition of this >>>>>>> term. >>>>>> >>>>>> The definition in Wikipedia is good enough. >>>>>> >>>>> >>>>> I think he means, he is working on a definition that redefines the >>>>> field to allow him to claim what he wants. >>>> >>>> Here one can claim whatever one wants anysay. >>>> In if one wants to present ones claims on some significant forum then >>>> it is better to stick to usual definitions as much as possible. >>>> >>>>> Sort of like his new definition of H as an "unconventional" machine >>>>> that some how both returns an answer but also keeps on running. >>>> >>>> There are systems where that is possible but unsolvable problems are >>>> unsolvable even in those systems. >>>> >>> >>> When Ĥ is applied to ⟨Ĥ⟩ >>> Ĥ.q0 ⟨Ĥ⟩ ⊢* embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qy ∞ >>> Ĥ.q0 ⟨Ĥ⟩ ⊢* embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >> >> This notation does not work with machines that can, or have parts >> that can, return a value without (or before) termination. >> > > ⊢* specifies a wildcard set of state transitions that could > include a transition to a non-final state embedded_H.qn. > > But if it is not a "final state" of embedded_H, then it is not an answering state. This is the definition of how a Turing Machine gives an answer. If you are trying to define something different, an "Olcott" machine, you need to actually define it, and then show that your definitions generate a system that is actually useful.
[toc] | [prev] | [next] | [standalone]
| From | Mikko <mikko.levanto@iki.fi> |
|---|---|
| Date | 2024-05-15 11:04 +0300 |
| Subject | Re: Is Richard a Liar? |
| Message-ID | <v21qac$oojb$1@dont-email.me> |
| In reply to | #104835 |
On 2024-05-14 14:21:10 +0000, olcott said: > On 5/14/2024 4:44 AM, Mikko wrote: >> On 2024-05-12 15:58:02 +0000, olcott said: >> >>> On 5/12/2024 10:21 AM, Mikko wrote: >>>> On 2024-05-12 11:34:17 +0000, Richard Damon said: >>>> >>>>> On 5/12/24 5:19 AM, Mikko wrote: >>>>>> On 2024-05-11 16:26:30 +0000, olcott said: >>>>>> >>>>>>> I am working on providing an academic quality definition of this >>>>>>> term. >>>>>> >>>>>> The definition in Wikipedia is good enough. >>>>>> >>>>> >>>>> I think he means, he is working on a definition that redefines the >>>>> field to allow him to claim what he wants. >>>> >>>> Here one can claim whatever one wants anysay. >>>> In if one wants to present ones claims on some significant forum then >>>> it is better to stick to usual definitions as much as possible. >>>> >>>>> Sort of like his new definition of H as an "unconventional" machine >>>>> that some how both returns an answer but also keeps on running. >>>> >>>> There are systems where that is possible but unsolvable problems are >>>> unsolvable even in those systems. >>>> >>> >>> When Ĥ is applied to ⟨Ĥ⟩ >>> Ĥ.q0 ⟨Ĥ⟩ ⊢* embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qy ∞ >>> Ĥ.q0 ⟨Ĥ⟩ ⊢* embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn >> >> This notation does not work with machines that can, or have parts >> that can, return a value without (or before) termination. >> > > ⊢* specifies a wildcard set of state transitions that could > include a transition to a non-final state embedded_H.qn. The term "wildcard" is usually not used in this context. And the word "set" is not sufficiently specific, so "sequence" should be used instead. Anyway, the language cannot handle a situation where one part of a machine gives its result to another parts and then both continue their execution. -- Mikko
[toc] | [prev] | [next] | [standalone]
| From | olcott <polcott333@gmail.com> |
|---|---|
| Date | 2024-05-15 10:03 -0500 |
| Subject | Re: Is Richard a Liar? |
| Message-ID | <v22irp$u8vi$2@dont-email.me> |
| In reply to | #104881 |
On 5/15/2024 3:04 AM, Mikko wrote:
> On 2024-05-14 14:21:10 +0000, olcott said:
>
>> On 5/14/2024 4:44 AM, Mikko wrote:
>>> On 2024-05-12 15:58:02 +0000, olcott said:
>>>
>>>> On 5/12/2024 10:21 AM, Mikko wrote:
>>>>> On 2024-05-12 11:34:17 +0000, Richard Damon said:
>>>>>
>>>>>> On 5/12/24 5:19 AM, Mikko wrote:
>>>>>>> On 2024-05-11 16:26:30 +0000, olcott said:
>>>>>>>
>>>>>>>> I am working on providing an academic quality definition of this
>>>>>>>> term.
>>>>>>>
>>>>>>> The definition in Wikipedia is good enough.
>>>>>>>
>>>>>>
>>>>>> I think he means, he is working on a definition that redefines the
>>>>>> field to allow him to claim what he wants.
>>>>>
>>>>> Here one can claim whatever one wants anysay.
>>>>> In if one wants to present ones claims on some significant forum then
>>>>> it is better to stick to usual definitions as much as possible.
>>>>>
>>>>>> Sort of like his new definition of H as an "unconventional"
>>>>>> machine that some how both returns an answer but also keeps on
>>>>>> running.
>>>>>
>>>>> There are systems where that is possible but unsolvable problems are
>>>>> unsolvable even in those systems.
>>>>>
>>>>
>>>> When Ĥ is applied to ⟨Ĥ⟩
>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qy ∞
>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn
>>>
>>> This notation does not work with machines that can, or have parts
>>> that can, return a value without (or before) termination.
>>>
>>
>> ⊢* specifies a wildcard set of state transitions that could
>> include a transition to a non-final state embedded_H.qn.
>
> The term "wildcard" is usually not used in this context. And the word
> "set" is not sufficiently specific, so "sequence" should be used instead.
>
Yes that is better.
⊢* specifies a wildcard sequence of state transitions
*Here is how Linz says it*
The Linz term “move” means a state transition and its corresponding
tape head action {move_left, move_right, read, write}.
⊢* indicates an arbitrary number of moves.
> Anyway, the language cannot handle a situation where one part of a
> machine gives its result to another parts and then both continue their
> execution.
>
The language of Turing machine descriptions certainly can handle
TM's that do not halt. It can also handle transitioning through
a specific state to another state.
This specific state can encode a halt status value. New ideas are
hard because there is no standard boiler-plate that can be applied
to them.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer
[toc] | [prev] | [next] | [standalone]
| From | Richard Damon <richard@damon-family.org> |
|---|---|
| Date | 2024-05-15 20:24 -0400 |
| Subject | Re: Olcott is a Liar! |
| Message-ID | <v23jnm$15707$1@i2pn2.org> |
| In reply to | #104900 |
On 5/15/24 11:03 AM, olcott wrote:
> On 5/15/2024 3:04 AM, Mikko wrote:
>> On 2024-05-14 14:21:10 +0000, olcott said:
>>
>>> On 5/14/2024 4:44 AM, Mikko wrote:
>>>> On 2024-05-12 15:58:02 +0000, olcott said:
>>>>
>>>>> On 5/12/2024 10:21 AM, Mikko wrote:
>>>>>> On 2024-05-12 11:34:17 +0000, Richard Damon said:
>>>>>>
>>>>>>> On 5/12/24 5:19 AM, Mikko wrote:
>>>>>>>> On 2024-05-11 16:26:30 +0000, olcott said:
>>>>>>>>
>>>>>>>>> I am working on providing an academic quality definition of this
>>>>>>>>> term.
>>>>>>>>
>>>>>>>> The definition in Wikipedia is good enough.
>>>>>>>>
>>>>>>>
>>>>>>> I think he means, he is working on a definition that redefines
>>>>>>> the field to allow him to claim what he wants.
>>>>>>
>>>>>> Here one can claim whatever one wants anysay.
>>>>>> In if one wants to present ones claims on some significant forum then
>>>>>> it is better to stick to usual definitions as much as possible.
>>>>>>
>>>>>>> Sort of like his new definition of H as an "unconventional"
>>>>>>> machine that some how both returns an answer but also keeps on
>>>>>>> running.
>>>>>>
>>>>>> There are systems where that is possible but unsolvable problems are
>>>>>> unsolvable even in those systems.
>>>>>>
>>>>>
>>>>> When Ĥ is applied to ⟨Ĥ⟩
>>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qy ∞
>>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn
>>>>
>>>> This notation does not work with machines that can, or have parts
>>>> that can, return a value without (or before) termination.
>>>>
>>>
>>> ⊢* specifies a wildcard set of state transitions that could
>>> include a transition to a non-final state embedded_H.qn.
>>
>> The term "wildcard" is usually not used in this context. And the word
>> "set" is not sufficiently specific, so "sequence" should be used instead.
>>
>
> Yes that is better.
> ⊢* specifies a wildcard sequence of state transitions
>
> *Here is how Linz says it*
> The Linz term “move” means a state transition and its corresponding
> tape head action {move_left, move_right, read, write}.
> ⊢* indicates an arbitrary number of moves.
>
>> Anyway, the language cannot handle a situation where one part of a
>> machine gives its result to another parts and then both continue their
>> execution.
>>
>
> The language of Turing machine descriptions certainly can handle
> TM's that do not halt. It can also handle transitioning through
> a specific state to another state.
>
> This specific state can encode a halt status value. New ideas are
> hard because there is no standard boiler-plate that can be applied
> to them.
>
Except that Turing Machine "output" / "Answer" is specified as being
given when the machine halts.
Thus, it can not "indicate" halt status by passing through a non-halting
state, as that doesn't meet the definitions.
Of course, you problem is you just don't know what you are talking about.
[toc] | [prev] | [next] | [standalone]
Page 9 of 33 — ← Prev page 1 … 7 8 [9] 10 11 … 33 Next page →
Back to top | Article view | comp.theory
csiph-web