Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
| From | olcott <none-ya@beez-waxes.com> |
|---|---|
| Newsgroups | comp.theory, sci.logic |
| Subject | E correctly simulated by H would never reach its last instruction and terminate normally |
| Date | 2022-11-12 16:04 -0600 |
| Organization | Aioe.org NNTP Server |
| Message-ID | <tkp59k$1f9q$1@gioia.aioe.org> (permalink) |
| References | (17 earlier) <tkopjk$fah$1@gioia.aioe.org> <90SbL.14321$%VI9.7406@fx34.iad> <tkoqo1$ta1$1@gioia.aioe.org> <LmSbL.74300$Jjx8.17367@fx15.iad> <87iljjyiee.fsf_-_@bsb.me.uk> |
Cross-posted to 2 groups.
On 11/12/2022 3:25 PM, Ben Bacarisse wrote:
> Hello. My name is Ben and I am an Olcottaholic. It's been 176 days
> since my last post.
>
> Stay strong, Richard. ;-)
>
I made the essence of my work simple enough that only expert knowledge
of the C programming language is required. H simulates its input using
an x86 emulator.
void Infinite_Loop()
{
HERE: goto HERE;
}
It is an easily verified fact that Infinite_Loop correctly simulated by
H would never reach its own last instruction and terminate normally
after 1 to ∞ steps of correct simulation.
void E(void (*x)())
{
H(x, x);
}
It is an easily verified fact that E correctly simulated by H would
never reach its own last instruction and terminate normally after 1 to ∞
steps of correct simulation. E remains stuck in recursive simulation
until aborted.
When H returns 0 to main() it correctly predicts that E correctly
simulated by H would never reach its own last instruction (final state)
and terminate normally after 1 to ∞ of correct simulation.
--
Copyright 2022 Pete Olcott
"Talent hits a target no one else can hit;
Genius hits a target no one else can see."
Arthur Schopenhauer
Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
Simulating halt decider applied to a simpler input olcott <polcott2@gmail.com> - 2022-11-11 09:28 -0600
Re: Simulating halt decider applied to a simpler input Richard Damon <Richard@Damon-Family.org> - 2022-11-11 10:57 -0500
Re: Simulating halt decider applied to a simpler input Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-11-11 18:36 +0000
Re: Simulating halt decider applied to a simpler input Richard Damon <Richard@Damon-Family.org> - 2022-11-11 13:43 -0500
Re: Simulating halt decider applied to a simpler input olcott <polcott2@gmail.com> - 2022-11-11 13:16 -0600
Re: Simulating halt decider applied to a simpler input Richard Damon <Richard@Damon-Family.org> - 2022-11-11 14:30 -0500
Re: Simulating halt decider applied to a simpler input olcott <polcott2@gmail.com> - 2022-11-11 13:39 -0600
Re: Simulating halt decider applied to a simpler input Richard Damon <Richard@Damon-Family.org> - 2022-11-11 16:07 -0500
Re: Simulating halt decider applied to a simpler input olcott <polcott2@gmail.com> - 2022-11-11 15:15 -0600
Re: Simulating halt decider applied to a simpler input Richard Damon <Richard@Damon-Family.org> - 2022-11-11 16:44 -0500
Re: Simulating halt decider applied to a simpler input Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-11-11 21:54 +0000
Re: Simulating halt decider applied to a simpler input olcott <none-ya@beez-waxes.com> - 2022-11-11 16:44 -0600
Re: Simulating halt decider applied to a simpler input Richard Damon <Richard@Damon-Family.org> - 2022-11-11 18:25 -0500
Re: Simulating halt decider applied to a simpler input Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-11-11 23:55 +0000
Re: Simulating halt decider applied to a simpler input olcott <none-ya@beez-waxes.com> - 2022-11-11 17:59 -0600
Re: Simulating halt decider applied to a simpler input Richard Damon <Richard@Damon-Family.org> - 2022-11-11 19:24 -0500
Re: Simulating halt decider applied to a simpler input olcott <polcott2@gmail.com> - 2022-11-11 18:46 -0600
Re: Simulating halt decider applied to a simpler input Richard Damon <Richard@Damon-Family.org> - 2022-11-11 21:15 -0500
Re: Simulating halt decider applied to a simpler input olcott <none-ya@beez-waxes.com> - 2022-11-11 20:35 -0600
Re: Simulating halt decider applied to a simpler input Richard Damon <Richard@Damon-Family.org> - 2022-11-11 21:45 -0500
Re: Simulating halt decider applied to a simpler input olcott <none-ya@beez-waxes.com> - 2022-11-11 20:48 -0600
Re: Simulating halt decider applied to a simpler input Richard Damon <Richard@Damon-Family.org> - 2022-11-11 21:56 -0500
Re: Simulating halt decider applied to a simpler input olcott <none-ya@beez-waxes.com> - 2022-11-11 22:00 -0600
Re: Simulating halt decider applied to a simpler input Richard Damon <Richard@Damon-Family.org> - 2022-11-12 09:02 -0500
Re: Simulating halt decider applied to a simpler input olcott <polcott2@gmail.com> - 2022-11-12 08:43 -0600
Re: Simulating halt decider applied to a simpler input Richard Damon <Richard@Damon-Family.org> - 2022-11-12 10:06 -0500
Re: Simulating halt decider applied to a simpler input Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-11-12 15:12 +0000
Re: Simulating halt decider applied to a simpler input Richard Damon <Richard@Damon-Family.org> - 2022-11-12 10:52 -0500
Re: Simulating halt decider applied to a simpler input olcott <polcott2@gmail.com> - 2022-11-12 10:20 -0600
Re: Simulating halt decider applied to a simpler input Richard Damon <Richard@Damon-Family.org> - 2022-11-12 11:47 -0500
Re: Simulating halt decider applied to a simpler input olcott <none-ya@beez-waxes.com> - 2022-11-11 22:17 -0600
Re: Simulating halt decider applied to a simpler input Richard Damon <Richard@Damon-Family.org> - 2022-11-12 09:08 -0500
Re: Simulating halt decider applied to a simpler input olcott <polcott2@gmail.com> - 2022-11-12 08:55 -0600
Re: Simulating halt decider applied to a simpler input Richard Damon <Richard@Damon-Family.org> - 2022-11-12 10:02 -0500
Re: Simulating halt decider applied to a simpler input Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-11-12 14:09 +0000
Re: Simulating halt decider applied to a simpler input Richard Damon <Richard@Damon-Family.org> - 2022-11-12 09:32 -0500
Re: Simulating halt decider applied to a simpler input Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-11-12 14:41 +0000
Re: Simulating halt decider applied to a simpler input Richard Damon <Richard@Damon-Family.org> - 2022-11-12 09:52 -0500
Re: Simulating halt decider applied to a simpler input Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-11-12 15:03 +0000
Re: Simulating halt decider applied to a simpler input Richard Damon <Richard@Damon-Family.org> - 2022-11-12 10:26 -0500
Re: Simulating halt decider applied to a simpler input Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-11-12 15:38 +0000
Re: Simulating halt decider applied to a simpler input Richard Damon <Richard@Damon-Family.org> - 2022-11-12 10:59 -0500
Re: Simulating halt decider applied to a simpler input olcott <polcott2@gmail.com> - 2022-11-12 10:06 -0600
Re: Simulating halt decider applied to a simpler input Richard Damon <Richard@Damon-Family.org> - 2022-11-12 11:21 -0500
Re: Simulating halt decider applied to a simpler input olcott <polcott2@gmail.com> - 2022-11-12 09:50 -0600
Re: Simulating halt decider applied to a simpler input Richard Damon <Richard@Damon-Family.org> - 2022-11-12 11:26 -0500
Re: Simulating halt decider applied to a simpler input olcott <polcott2@gmail.com> - 2022-11-12 11:00 -0600
Re: Simulating halt decider applied to a simpler input Richard Damon <Richard@Damon-Family.org> - 2022-11-12 12:59 -0500
Re: Simulating halt decider applied to a simpler input olcott <polcott2@gmail.com> - 2022-11-12 12:16 -0600
Re: Simulating halt decider applied to a simpler input Richard Damon <Richard@Damon-Family.org> - 2022-11-12 13:24 -0500
Re: Simulating halt decider applied to a simpler input Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-11-12 18:42 +0000
Re: Simulating halt decider applied to a simpler input Richard Damon <Richard@Damon-Family.org> - 2022-11-12 14:00 -0500
Re: Simulating halt decider applied to a simpler input Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-11-12 19:26 +0000
Re: Simulating halt decider applied to a simpler input olcott <none-ya@beez-waxes.com> - 2022-11-12 13:37 -0600
Re: Simulating halt decider applied to a simpler input Richard Damon <Richard@Damon-Family.org> - 2022-11-12 14:54 -0500
Re: Simulating halt decider applied to a simpler input olcott <none-ya@beez-waxes.com> - 2022-11-12 12:45 -0600
Re: Simulating halt decider applied to a simpler input Richard Damon <Richard@Damon-Family.org> - 2022-11-12 13:57 -0500
Re: Simulating halt decider applied to a simpler input olcott <none-ya@beez-waxes.com> - 2022-11-12 13:04 -0600
Re: Simulating halt decider applied to a simpler input Richard Damon <Richard@Damon-Family.org> - 2022-11-12 14:21 -0500
Re: Simulating halt decider applied to a simpler input olcott <polcott2@gmail.com> - 2022-11-12 13:36 -0600
Re: Simulating halt decider applied to a simpler input Richard Damon <Richard@Damon-Family.org> - 2022-11-12 15:01 -0500
Re: Simulating halt decider applied to a simpler input olcott <none-ya@beez-waxes.com> - 2022-11-12 14:07 -0600
Re: Simulating halt decider applied to a simpler input Richard Damon <Richard@Damon-Family.org> - 2022-11-12 15:26 -0500
Re: Simulating halt decider applied to a simpler input olcott <none-ya@beez-waxes.com> - 2022-11-12 14:35 -0600
Re: Simulating halt decider applied to a simpler input Richard Damon <Richard@Damon-Family.org> - 2022-11-12 16:28 -0500
Re: Simulating halt decider applied to a simpler input olcott <polcott2@gmail.com> - 2022-11-12 15:59 -0600
Olcottaholics anonymous Ben Bacarisse <ben.usenet@bsb.me.uk> - 2022-11-12 21:25 +0000
E correctly simulated by H would never reach its last instruction and terminate normally olcott <none-ya@beez-waxes.com> - 2022-11-12 16:04 -0600
Re: E correctly simulated by H would never reach its last instruction and terminate normally Richard Damon <Richard@Damon-Family.org> - 2022-11-12 17:26 -0500
Re: E correctly simulated by H would never reach its last instruction and terminate normally olcott <polcott2@gmail.com> - 2022-11-12 16:33 -0600
Re: E correctly simulated by H would never reach its last instruction and terminate normally Richard Damon <Richard@Damon-Family.org> - 2022-11-12 17:55 -0500
Re: E correctly simulated by H would never reach its last instruction and terminate normally olcott <polcott2@gmail.com> - 2022-11-12 17:38 -0600
Re: E correctly simulated by H would never reach its last instruction and terminate normally Richard Damon <Richard@Damon-Family.org> - 2022-11-12 19:02 -0500
Re: E correctly simulated by H would never reach its last instruction and terminate normally olcott <polcott2@gmail.com> - 2022-11-12 19:31 -0600
Re: E correctly simulated by H would never reach its last instruction and terminate normally Richard Damon <Richard@Damon-Family.org> - 2022-11-12 21:30 -0500
Re: E correctly simulated by H would never reach its last instruction and terminate normally olcott <polcott2@gmail.com> - 2022-11-12 22:00 -0600
Re: E correctly simulated by H would never reach its last instruction and terminate normally Richard Damon <Richard@Damon-Family.org> - 2022-11-12 23:38 -0500
Re: E correctly simulated by H would never reach its last instruction and terminate normally olcott <none-ya@beez-waxes.com> - 2022-11-12 23:04 -0600
Re: E correctly simulated by H would never reach its last instruction and terminate normally Richard Damon <Richard@Damon-Family.org> - 2022-11-13 08:00 -0500
Re: E correctly simulated by H would never reach its last instruction and terminate normally olcott <none-ya@beez-waxes.com> - 2022-11-13 09:39 -0600
Re: E correctly simulated by H would never reach its last instruction and terminate normally Richard Damon <Richard@Damon-Family.org> - 2022-11-13 14:34 -0500
Re: E correctly simulated by H would never reach its last instruction and terminate normally olcott <none-ya@beez-waxes.com> - 2022-11-13 13:49 -0600
Re: E correctly simulated by H would never reach its last instruction and terminate normally Richard Damon <Richard@Damon-Family.org> - 2022-11-13 15:38 -0500
Re: E correctly simulated by H would never reach its last instruction and terminate normally olcott <polcott2@gmail.com> - 2022-11-13 14:51 -0600
Re: E correctly simulated by H would never reach its last instruction and terminate normally Richard Damon <news.x.richarddamon@xoxy.net> - 2022-11-13 16:02 -0500
Re: E correctly simulated by H would never reach its last instruction and terminate normally olcott <polcott2@gmail.com> - 2022-11-13 15:16 -0600
Re: E correctly simulated by H would never reach its last instruction and terminate normally Richard Damon <Richard@Damon-Family.org> - 2022-11-13 16:59 -0500
Re: E correctly simulated by H would never reach its last instruction and terminate normally olcott <polcott2@gmail.com> - 2022-11-13 16:08 -0600
Re: E correctly simulated by H would never reach its last instruction and terminate normally Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-11-13 22:25 +0000
Re: E correctly simulated by H would never reach its last instruction and terminate normally Dennis Bush <dbush.mobile@gmail.com> - 2022-11-13 14:33 -0800
Re: E correctly simulated by H would never reach its last instruction and terminate normally olcott <polcott2@gmail.com> - 2022-11-13 16:42 -0600
Re: E correctly simulated by H would never reach its last instruction and terminate normally Richard Damon <Richard@Damon-Family.org> - 2022-11-13 18:14 -0500
Re: E correctly simulated by H would never reach its last instruction and terminate normally olcott <polcott2@gmail.com> - 2022-11-13 17:26 -0600
Re: E correctly simulated by H would never reach its last instruction and terminate normally Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-11-13 23:52 +0000
Re: E correctly simulated by H would never reach its last instruction and terminate normally olcott <none-ya@beez-waxes.com> - 2022-11-13 18:00 -0600
Re: E correctly simulated by H would never reach its last instruction and terminate normally Richard Damon <Richard@Damon-Family.org> - 2022-11-13 19:33 -0500
Re: E correctly simulated by H would never reach its last instruction and terminate normally Richard Damon <Richard@Damon-Family.org> - 2022-11-13 19:29 -0500
Re: E correctly simulated by H would never reach its last instruction and terminate normally Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-11-14 19:27 +0000
Re: E correctly simulated by H would never reach its last instruction and terminate normally olcott <polcott2@gmail.com> - 2022-11-14 13:44 -0600
Re: E correctly simulated by H would never reach its last instruction and terminate normally Richard Damon <Richard@Damon-Family.org> - 2022-11-14 21:53 -0500
Re: E correctly simulated by H would never reach its last instruction and terminate normally Richard Damon <Richard@Damon-Family.org> - 2022-11-14 21:53 -0500
Re: E correctly simulated by H would never reach its last instruction and terminate normally Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-11-15 17:45 +0000
Re: E correctly simulated by H would never reach its last instruction and terminate normally olcott <none-ya@beez-waxes.com> - 2022-11-15 12:00 -0600
Re: E correctly simulated by H would never reach its last instruction and terminate normally Richard Damon <Richard@Damon-Family.org> - 2022-11-16 20:04 -0500
Re: E correctly simulated by H would never reach its last instruction and terminate normally Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-11-17 17:14 +0000
Re: E correctly simulated by H would never reach its last instruction and terminate normally olcott <polcott2@gmail.com> - 2022-11-17 11:25 -0600
Re: E correctly simulated by H would never reach its last instruction and terminate normally olcott <polcott2@gmail.com> - 2022-11-13 17:36 -0600
Re: E correctly simulated by H would never reach its last instruction and terminate normally Richard Damon <Richard@Damon-Family.org> - 2022-11-13 19:36 -0500
Re: E correctly simulated by H would never reach its last instruction and terminate normally Richard Damon <Richard@Damon-Family.org> - 2022-11-13 18:07 -0500
Re: E correctly simulated by H would never reach its last instruction and terminate normally Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-11-13 23:30 +0000
Re: E correctly simulated by H would never reach its last instruction and terminate normally Richard Damon <Richard@Damon-Family.org> - 2022-11-13 19:37 -0500
Re: E correctly simulated by H would never reach its last instruction and terminate normally "Fred. Zwarts" <F.Zwarts@KVI.nl> - 2022-11-14 11:02 +0100
Re: E correctly simulated by H would never reach its last instruction and terminate normally wij <wyniijj5@gmail.com> - 2022-11-14 03:44 -0800
Re: E correctly simulated by H would never reach its last instruction and terminate normally Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2022-11-14 16:17 +0000
Re: E correctly simulated by H would never reach its last instruction and terminate normally André G. Isaak <agisaak@gm.invalid> - 2022-11-14 11:34 -0700
Re: E correctly simulated by H would never reach its last instruction and terminate normally olcott <polcott2@gmail.com> - 2022-11-14 13:20 -0600
Re: E correctly simulated by H would never reach its last instruction and terminate normally Richard Damon <Richard@Damon-Family.org> - 2022-11-14 21:53 -0500
Re: E correctly simulated by H would never reach its last instruction and terminate normally olcott <none-ya@beez-waxes.com> - 2022-11-14 20:00 -0600
Re: E correctly simulated by H would never reach its last instruction and terminate normally Richard Damon <Richard@Damon-Family.org> - 2022-11-14 21:52 -0500
Re: E correctly simulated by H would never reach its last instruction and terminate normally Richard Damon <Richard@Damon-Family.org> - 2022-11-13 18:04 -0500
Re: E correctly simulated by H would never reach its last instruction and terminate normally olcott <polcott2@gmail.com> - 2022-11-13 17:20 -0600
Re: E correctly simulated by H would never reach its last instruction and terminate normally Richard Damon <Richard@Damon-Family.org> - 2022-11-13 19:43 -0500
Re: E correctly simulated by H would never reach its last instruction and terminate normally Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-11-13 05:40 +0000
Re: E correctly simulated by H would never reach its last instruction and terminate normally Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-11-13 04:17 +0000
Re: E correctly simulated by H would never reach its last instruction and terminate normally olcott <polcott2@gmail.com> - 2022-11-13 12:35 -0600
Re: Simulating halt decider applied to a simpler input Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-11-12 18:19 +0000
Re: Simulating halt decider applied to a simpler input Richard Damon <Richard@Damon-Family.org> - 2022-11-12 13:33 -0500
Re: Simulating halt decider applied to a simpler input olcott <polcott2@gmail.com> - 2022-11-12 09:51 -0600
Re: Simulating halt decider applied to a simpler input Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-11-12 14:50 +0000
Re: Simulating halt decider applied to a simpler input olcott <polcott2@gmail.com> - 2022-11-11 16:37 -0600
Re: Simulating halt decider applied to a simpler input Richard Damon <Richard@Damon-Family.org> - 2022-11-11 18:20 -0500
Re: Simulating halt decider applied to a simpler input olcott <none-ya@beez-waxes.com> - 2022-11-11 17:39 -0600
Re: Simulating halt decider applied to a simpler input Richard Damon <Richard@Damon-Family.org> - 2022-11-11 18:48 -0500
Re: Simulating halt decider applied to a simpler input olcott <none-ya@beez-waxes.com> - 2022-11-11 18:05 -0600
Re: Simulating halt decider applied to a simpler input Richard Damon <Richard@Damon-Family.org> - 2022-11-11 19:29 -0500
Re: Simulating halt decider applied to a simpler input olcott <polcott2@gmail.com> - 2022-11-11 18:51 -0600
Re: Simulating halt decider applied to a simpler input Richard Damon <Richard@Damon-Family.org> - 2022-11-11 21:25 -0500
Re: Simulating halt decider applied to a simpler input olcott <none-ya@beez-waxes.com> - 2022-11-11 20:36 -0600
Re: Simulating halt decider applied to a simpler input Richard Damon <Richard@Damon-Family.org> - 2022-11-11 21:51 -0500
Re: Simulating halt decider applied to a simpler input olcott <none-ya@beez-waxes.com> - 2022-11-11 20:57 -0600
Re: Simulating halt decider applied to a simpler input Richard Damon <Richard@Damon-Family.org> - 2022-11-11 22:25 -0500
Re: Simulating halt decider applied to a simpler input olcott <none-ya@beez-waxes.com> - 2022-11-11 21:36 -0600
Re: Simulating halt decider applied to a simpler input Richard Damon <Richard@Damon-Family.org> - 2022-11-12 09:11 -0500
Re: Simulating halt decider applied to a simpler input Jeff Barnett <jbb@notatt.com> - 2022-11-11 12:56 -0700
Re: Simulating halt decider applied to a simpler input olcott <polcott2@gmail.com> - 2022-11-11 14:19 -0600
Re: Simulating halt decider applied to a simpler input Jeff Barnett <jbb@notatt.com> - 2022-11-11 18:43 -0700
Re: Simulating halt decider applied to a simpler input olcott <none-ya@beez-waxes.com> - 2022-11-11 21:06 -0600
Re: Simulating halt decider applied to a simpler input olcott <none-ya@beez-waxes.com> - 2022-11-11 20:21 -0600
Re: Simulating halt decider applied to a simpler input olcott <polcott2@gmail.com> - 2022-11-11 23:35 -0600
Re: Simulating halt decider applied to a simpler input Richard Damon <Richard@Damon-Family.org> - 2022-11-12 09:15 -0500
Re: Simulating halt decider applied to a simpler input Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-11-12 14:31 +0000
Re: Simulating halt decider applied to a simpler input olcott <polcott2@gmail.com> - 2022-11-12 08:35 -0600
Re: Simulating halt decider applied to a simpler input Richard Damon <Richard@Damon-Family.org> - 2022-11-12 09:58 -0500
Re: Simulating halt decider applied to a simpler input Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-11-12 15:16 +0000
Re: Simulating halt decider applied to a simpler input Richard Damon <Richard@Damon-Family.org> - 2022-11-12 10:41 -0500
Re: Simulating halt decider applied to a simpler input Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-11-12 15:52 +0000
Re: Simulating halt decider applied to a simpler input Richard Damon <Richard@Damon-Family.org> - 2022-11-12 11:09 -0500
Re: Simulating halt decider applied to a simpler input Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-11-12 16:42 +0000
Re: Simulating halt decider applied to a simpler input olcott <polcott2@gmail.com> - 2022-11-12 11:04 -0600
Re: Simulating halt decider applied to a simpler input Richard Damon <Richard@Damon-Family.org> - 2022-11-12 12:07 -0500
Re: Simulating halt decider applied to a simpler input olcott <polcott2@gmail.com> - 2022-11-12 09:27 -0600
Re: Simulating halt decider applied to a simpler input Richard Damon <Richard@Damon-Family.org> - 2022-11-12 10:46 -0500
Re: Simulating halt decider applied to a simpler input olcott <polcott2@gmail.com> - 2022-11-12 10:02 -0600
Re: Simulating halt decider applied to a simpler input Richard Damon <Richard@Damon-Family.org> - 2022-11-12 11:14 -0500
csiph-web