Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
| From | Python <python@invalid.org> |
|---|---|
| Newsgroups | comp.theory, sci.logic |
| Subject | Re: Michael Sipser of MIT validates the notion of a simulating halt decider |
| Date | 2022-10-14 18:53 +0200 |
| Organization | A noiseless patient Spider |
| Message-ID | <tic45l$25uem$3@dont-email.me> (permalink) |
| References | (12 earlier) <tibvnb$t6j$1@gioia.aioe.org> <tic06g$25uem$1@dont-email.me> <tic12q$1ier$1@gioia.aioe.org> <tic1g5$25uem$2@dont-email.me> <tic367$26ado$2@dont-email.me> |
Cross-posted to 2 groups.
Lying demented Peter Olcott wrote:
..
> int Sipser_D(ptr2 M)
> {
> if ( Sipser_H(M, M) )
> return 0;
> return 1;
> }
>
> int main()
> {
> Output((char*)"Input_Halts = ", Sipser_D(Sipser_D));
> }
>
> _Sipser_D()
> [000012ae] 55 push ebp
> [000012af] 8bec mov ebp,esp
> [000012b1] 8b4508 mov eax,[ebp+08]
> [000012b4] 50 push eax
> [000012b5] 8b4d08 mov ecx,[ebp+08]
> [000012b8] 51 push ecx
> [000012b9] e880fdffff call 0000103e
> [000012be] 83c408 add esp,+08
> [000012c1] 85c0 test eax,eax
> [000012c3] 7404 jz 000012c9
> [000012c5] 33c0 xor eax,eax
> [000012c7] eb05 jmp 000012ce
> [000012c9] b801000000 mov eax,00000001
> [000012ce] 5d pop ebp
> [000012cf] c3 ret
> Size in bytes:(0034) [000012cf]
>
> Sipser_H: Begin Simulation Execution Trace Stored at:111fa8
> machine stack stack machine assembly
> address address data code language
> ======== ======== ======== ========= =============
> [000012ae][00111f94][00111f98] 55 push ebp // Begin Sipser_D
> [000012af][00111f94][00111f98] 8bec mov ebp,esp
> [000012b1][00111f94][00111f98] 8b4508 mov eax,[ebp+08]
> [000012b4][00111f90][000012ae] 50 push eax // push Sipser_D
> [000012b5][00111f90][000012ae] 8b4d08 mov ecx,[ebp+08]
> [000012b8][00111f8c][000012ae] 51 push ecx // push Sipser_D
> [000012b9][00111f88][000012be] e880fdffff call 0000103e // call Sipser_H
> Sipser_H: Infinitely Recursive Simulation Detected Simulation Stopped
>
> The above line-by-line execution trace of the simulation of D by H is
> proven to exactly match the behavior that the first seven lines of the
> x86 source-code of D specifies.
So they don't match past line 7. You was lying, as usual.
> It also proves that the x86 source-code of Sipser_D specifies that it
> will continue to call Sipser_H in recursive simulation until the
> executed Sipser_H aborts its simulation of Sipser_D.
Obviously false concerning execution of Sipster_D.
Sipser_H is returning 0 so Sipser_D will halt.
You have a serious mental health issue, Peter.
Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-12 10:08 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider "Fred. Zwarts" <F.Zwarts@KVI.nl> - 2022-10-12 17:54 +0200
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Ben Bacarisse <ben.usenet@bsb.me.uk> - 2022-10-12 17:46 +0100
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-12 12:04 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-12 16:07 -0700
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-16 23:58 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-17 06:51 -0400
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <none-ya@beez-waxes.com> - 2022-10-17 09:43 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-17 18:33 -0400
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <none-ya@beez-waxes.com> - 2022-10-17 17:47 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-17 19:04 -0400
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-17 19:06 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-17 20:52 -0400
Re: Michael Sipser of MIT validates the notion of a simulating halt decider [Ben agrees] olcott <none-ya@beez-waxes.com> - 2022-10-17 20:03 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider [ Ben agrees ] olcott <polcott2@gmail.com> - 2022-10-17 19:04 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider [ Ben agrees ] Python <python@invalid.org> - 2022-10-18 02:36 +0200
Re: Michael Sipser of MIT validates the notion of a simulating halt decider [ Ben agrees ] olcott <none-ya@beez-waxes.com> - 2022-10-17 19:56 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider [ Ben agrees ] Python <python@invalid.org> - 2022-10-18 03:01 +0200
Re: Michael Sipser of MIT validates the notion of a simulating halt decider [ Ben agrees ] olcott <polcott2@gmail.com> - 2022-10-17 20:10 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider [ Ben agrees ] Python <python@invalid.org> - 2022-10-18 03:24 +0200
Re: Michael Sipser of MIT validates the notion of a simulating halt decider [ Ben agrees ] olcott <polcott2@gmail.com> - 2022-10-17 20:27 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider [ Ben agrees ] Richard Damon <Richard@Damon-Family.org> - 2022-10-17 21:33 -0400
Re: Michael Sipser of MIT validates the notion of a simulating halt decider [ Ben agrees ] Richard Damon <Richard@Damon-Family.org> - 2022-10-17 20:54 -0400
Re: Michael Sipser of MIT validates the notion of a simulating halt decider [ Ben agrees ] olcott <none-ya@beez-waxes.com> - 2022-10-17 20:06 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider [ Ben agrees ] Richard Damon <Richard@Damon-Family.org> - 2022-10-17 21:26 -0400
Re: Michael Sipser of MIT validates the notion of a simulating halt decider [ Ben agrees ] olcott <polcott2@gmail.com> - 2022-10-17 20:35 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider [ Ben agrees ] Richard Damon <Richard@Damon-Family.org> - 2022-10-17 21:46 -0400
Re: Michael Sipser of MIT validates the notion of a simulating halt decider [ Ben agrees ] olcott <polcott2@gmail.com> - 2022-10-17 20:57 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider [ Ben agrees ] Dennis Bush <dbush.mobile@gmail.com> - 2022-10-17 19:03 -0700
Re: Michael Sipser of MIT validates the notion of a simulating halt decider [ Ben agrees ] olcott <polcott2@gmail.com> - 2022-10-17 21:14 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider [ Ben agrees ] Dennis Bush <dbush.mobile@gmail.com> - 2022-10-17 19:23 -0700
Re: Michael Sipser of MIT validates the notion of a simulating halt decider [ Ben agrees ] olcott <NoOne@NoWhere.com> - 2022-10-17 21:34 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider [ Ben agrees ] Dennis Bush <dbush.mobile@gmail.com> - 2022-10-17 19:41 -0700
Re: Michael Sipser of MIT validates the notion of a simulating halt decider [ Ben agrees ] olcott <polcott2@gmail.com> - 2022-10-17 21:48 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider [ Ben agrees ] Dennis Bush <dbush.mobile@gmail.com> - 2022-10-17 19:56 -0700
Re: Michael Sipser of MIT validates the notion of a simulating halt decider [ Ben agrees ] olcott <polcott2@gmail.com> - 2022-10-17 22:09 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider [ Ben agrees ] olcott <polcott2@gmail.com> - 2022-10-17 22:27 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider [ Ben agrees ] Richard Damon <Richard@Damon-Family.org> - 2022-10-17 22:05 -0400
Re: Michael Sipser of MIT validates the notion of a simulating halt decider [ Ben agrees ] olcott <polcott2@gmail.com> - 2022-10-17 21:19 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider [ Ben agrees ] Richard Damon <Richard@Damon-Family.org> - 2022-10-17 22:32 -0400
Re: Michael Sipser of MIT validates the notion of a simulating halt decider [ Ben agrees ] olcott <NoOne@NoWhere.com> - 2022-10-17 21:36 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider [ Ben agrees ] Paul N <gw7rib@aol.com> - 2022-10-18 05:55 -0700
Re: Michael Sipser of MIT validates the notion of a simulating halt decider [ Ben agrees ] olcott <polcott2@gmail.com> - 2022-10-18 09:58 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Paul N <gw7rib@aol.com> - 2022-10-17 04:59 -0700
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <none-ya@beez-waxes.com> - 2022-10-17 09:20 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <none-ya@beez-waxes.com> - 2022-10-17 09:31 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-12 11:48 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-12 18:24 +0100
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <none-ya@beez-waxes.com> - 2022-10-12 12:38 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-12 18:52 +0100
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-12 13:04 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-12 19:07 +0100
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-12 13:25 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-12 19:30 +0100
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-12 14:17 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-12 20:26 +0100
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-12 14:32 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-12 20:50 +0100
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <none-ya@beez-waxes.com> - 2022-10-12 15:07 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider "dklei...@gmail.com" <dkleinecke@gmail.com> - 2022-10-12 12:32 -0700
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-12 15:03 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider "dklei...@gmail.com" <dkleinecke@gmail.com> - 2022-10-12 15:23 -0700
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <none-ya@beez-waxes.com> - 2022-10-12 17:39 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-13 17:17 +0100
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <none-ya@beez-waxes.com> - 2022-10-13 11:46 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-13 17:47 +0100
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-13 12:26 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider "B.H." <xlt.pjw@gmail.com> - 2022-10-13 13:13 -0700
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-13 19:06 -0400
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-13 18:22 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-13 20:59 -0400
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <none-ya@beez-waxes.com> - 2022-10-13 20:13 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-13 21:56 -0400
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-13 20:19 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Python <python@invalid.org> - 2022-10-14 03:44 +0200
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Bingo !!! olcott <polcott2@gmail.com> - 2022-10-13 21:07 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Bingo !!! Richard Damon <Richard@Damon-Family.org> - 2022-10-13 22:21 -0400
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-13 22:01 -0400
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-13 21:11 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-13 22:27 -0400
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Bingo^2 olcott <none-ya@beez-waxes.com> - 2022-10-13 21:37 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Bingo^2 Richard Damon <Richard@Damon-Family.org> - 2022-10-13 23:00 -0400
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Bingo^2 olcott <polcott2@gmail.com> - 2022-10-13 22:28 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Bingo^2 Richard Damon <Richard@Damon-Family.org> - 2022-10-13 23:51 -0400
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Bingo^2 olcott <polcott2@gmail.com> - 2022-10-13 23:00 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Bingo^2 Richard Damon <Richard@Damon-Family.org> - 2022-10-14 07:56 -0400
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Bingo^2 olcott <none-ya@beez-waxes.com> - 2022-10-14 09:13 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Bingo^2 Richard Damon <Richard@Damon-Family.org> - 2022-10-14 13:34 -0400
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Bingo^2 olcott <none-ya@beez-waxes.com> - 2022-10-13 23:01 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Bingo^2 Richard Damon <Richard@Damon-Family.org> - 2022-10-14 08:05 -0400
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Bingo^2 olcott <none-ya@beez-waxes.com> - 2022-10-14 09:14 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Bingo^2 Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-14 15:32 +0100
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Bingo^2 Richard Damon <Richard@Damon-Family.org> - 2022-10-14 13:01 -0400
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-13 19:01 -0400
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-12 18:42 -0400
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-12 17:59 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-12 20:04 -0400
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-12 20:00 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-12 21:52 -0400
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-12 21:03 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-12 22:13 -0400
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <none-ya@beez-waxes.com> - 2022-10-12 21:33 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-12 22:51 -0400
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-12 18:37 -0400
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-12 17:46 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2022-10-12 16:49 -0700
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <none-ya@beez-waxes.com> - 2022-10-12 19:27 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider (correct a typo) olcott <polcott2@gmail.com> - 2022-10-12 19:35 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider (correct a typo) Richard Damon <Richard@Damon-Family.org> - 2022-10-12 20:45 -0400
Re: Michael Sipser of MIT validates the notion of a simulating halt decider (correct a typo) olcott <polcott2@gmail.com> - 2022-10-12 20:03 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider (correct a typo) Richard Damon <Richard@Damon-Family.org> - 2022-10-12 21:59 -0400
Re: Michael Sipser of MIT validates the notion of a simulating halt decider (correct a typo) olcott <polcott2@gmail.com> - 2022-10-12 21:07 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider (correct a typo) Richard Damon <Richard@Damon-Family.org> - 2022-10-12 22:17 -0400
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-12 20:42 -0400
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2022-10-12 18:23 -0700
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-12 20:31 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Ben Bacarisse <ben.usenet@bsb.me.uk> - 2022-10-13 03:50 +0100
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-12 23:15 -0400
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <none-ya@beez-waxes.com> - 2022-10-12 22:51 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-13 07:50 -0400
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-13 09:35 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Python <python@invalid.org> - 2022-10-13 17:54 +0200
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <none-ya@beez-waxes.com> - 2022-10-13 11:28 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-13 19:12 -0400
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-13 19:11 -0400
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Ben Bacarisse <ben.usenet@bsb.me.uk> - 2022-10-13 12:29 +0100
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <none-ya@beez-waxes.com> - 2022-10-12 22:29 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Jeff Barnett <jbb@notatt.com> - 2022-10-13 11:28 -0600
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-13 12:40 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-13 18:43 +0100
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-13 12:52 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Python <python@invalid.org> - 2022-10-13 20:09 +0200
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-13 13:32 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Python <python@invalid.org> - 2022-10-13 20:34 +0200
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <none-ya@beez-waxes.com> - 2022-10-13 13:45 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Python <python@invalid.org> - 2022-10-13 20:51 +0200
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-13 13:55 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Python <python@invalid.org> - 2022-10-13 20:58 +0200
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <none-ya@beez-waxes.com> - 2022-10-13 14:03 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Python <python@invalid.org> - 2022-10-13 21:06 +0200
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-13 14:14 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Jeff Barnett <jbb@notatt.com> - 2022-10-13 23:06 -0600
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-14 00:28 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-14 08:09 -0400
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <none-ya@beez-waxes.com> - 2022-10-14 09:20 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Python <python@invalid.org> - 2022-10-14 16:38 +0200
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <none-ya@beez-waxes.com> - 2022-10-14 10:37 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Python <python@invalid.org> - 2022-10-14 17:45 +0200
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <none-ya@beez-waxes.com> - 2022-10-14 11:00 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Python <python@invalid.org> - 2022-10-14 18:07 +0200
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-14 11:36 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Python <python@invalid.org> - 2022-10-14 18:53 +0200
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Python <python@invalid.org> - 2022-10-14 18:59 +0200
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <none-ya@beez-waxes.com> - 2022-10-14 12:06 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Python <python@invalid.org> - 2022-10-14 19:12 +0200
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <none-ya@beez-waxes.com> - 2022-10-14 12:24 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Python <python@invalid.org> - 2022-10-14 19:29 +0200
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <none-ya@beez-waxes.com> - 2022-10-14 12:57 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-14 14:17 -0400
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-14 13:29 -0400
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <none-ya@beez-waxes.com> - 2022-10-14 13:26 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-14 14:40 -0400
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <none-ya@beez-waxes.com> - 2022-10-14 14:06 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-14 15:52 -0400
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <none-ya@beez-waxes.com> - 2022-10-14 15:09 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-14 16:28 -0400
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <none-ya@beez-waxes.com> - 2022-10-14 15:49 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-14 17:00 -0400
Re: Trickery Ben Bacarisse <ben.usenet@bsb.me.uk> - 2022-10-15 01:21 +0100
Re: Trickery of Ben refusing to accept a SHD even after it has been affirmed olcott <polcott2@gmail.com> - 2022-10-14 19:29 -0500
Re: Trickery of Ben refusing to accept a SHD even after it has been affirmed Richard Damon <Richard@Damon-Family.org> - 2022-10-14 20:39 -0400
Re: Trickery of Ben refusing to accept a SHD even after it has been affirmed Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-15 09:40 +0100
Re: Trickery of Ben refusing to accept a SHD even after it has been affirmed olcott <polcott2@gmail.com> - 2022-10-15 08:17 -0500
Re: Trickery of Ben refusing to accept a SHD even after it has been affirmed Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-15 14:20 +0100
Re: Trickery of Ben refusing to accept a SHD even after it has been affirmed olcott <polcott2@gmail.com> - 2022-10-15 08:28 -0500
Re: Trickery of Ben refusing to accept a SHD even after it has been affirmed Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-15 14:31 +0100
Re: Trickery of Ben refusing to accept a SHD even after it has been affirmed olcott <none-ya@beez-waxes.com> - 2022-10-15 09:09 -0500
Re: Trickery of Ben refusing to accept a SHD even after it has been affirmed Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-15 15:13 +0100
Re: Trickery of Ben refusing to accept a SHD even after it has been affirmed olcott <none-ya@beez-waxes.com> - 2022-10-15 09:26 -0500
Re: Trickery of Ben refusing to accept a SHD even after it has been affirmed Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-15 15:30 +0100
Re: Trickery of Ben refusing to accept a SHD even after it has been affirmed [academic theft] olcott <none-ya@beez-waxes.com> - 2022-10-15 09:39 -0500
Re: Trickery of Ben refusing to accept a SHD even after it has been affirmed [academic theft] Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-15 15:42 +0100
Re: Trickery of Ben refusing to accept a SHD even after it has been affirmed wij <wyniijj2@gmail.com> - 2022-10-15 06:51 -0700
Re: Trickery of Ben refusing to accept a SHD even after it has been affirmed olcott <none-ya@beez-waxes.com> - 2022-10-15 09:16 -0500
Re: Trickery of Ben refusing to accept a SHD even after it has been affirmed Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-15 15:25 +0100
Re: Trickery of Ben refusing to accept a SHD even after it has been affirmed [academic theft] olcott <none-ya@beez-waxes.com> - 2022-10-15 09:36 -0500
Re: Trickery of Ben refusing to accept a SHD even after it has been affirmed [academic theft] Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-15 15:40 +0100
Re: Trickery of Ben refusing to accept a SHD even after it has been affirmed [academic theft] olcott <polcott2@gmail.com> - 2022-10-15 09:56 -0500
Re: Trickery of Ben refusing to accept a SHD even after it has been affirmed [academic theft] Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-15 16:02 +0100
Re: Trickery of Ben refusing to accept a SHD even after it has been affirmed [academic theft] olcott <none-ya@beez-waxes.com> - 2022-10-15 10:24 -0500
Re: Trickery of Ben refusing to accept a SHD even after it has been affirmed [academic theft] Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-15 16:27 +0100
Re: Trickery of Ben refusing to accept a SHD even after it has been affirmed wij <wyniijj2@gmail.com> - 2022-10-15 07:38 -0700
Re: Trickery of Ben refusing to accept a SHD even after it has been affirmed olcott <polcott2@gmail.com> - 2022-10-15 09:46 -0500
Re: Trickery of Ben refusing to accept a SHD even after it has been affirmed olcott <polcott2@gmail.com> - 2022-10-15 09:52 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Ben Bacarisse <ben.usenet@bsb.me.uk> - 2022-10-13 19:53 +0100
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-13 13:56 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-13 19:17 -0400
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Mikko <mikko.levanto@iki.fi> - 2022-10-14 13:07 +0300
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <none-ya@beez-waxes.com> - 2022-10-14 09:08 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-17 00:11 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-17 06:54 -0400
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Ben Bacarisse <ben.usenet@bsb.me.uk> - 2022-10-17 16:23 +0100
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <none-ya@beez-waxes.com> - 2022-10-17 10:40 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-17 18:36 -0400
Re: Michael Sipser of MIT validates the notion of a simulating halt decider [--Ben agrees--] olcott <none-ya@beez-waxes.com> - 2022-10-17 19:41 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider [--Ben agrees--] olcott <none-ya@beez-waxes.com> - 2022-10-17 19:53 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider [--Ben agrees--] olcott <polcott2@gmail.com> - 2022-10-17 19:54 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <none-ya@beez-waxes.com> - 2022-10-19 16:59 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider (Ben's support) olcott <none-ya@beez-waxes.com> - 2022-10-20 22:17 -0500
Re: Ben agrees that Sipser_H is correct according to its halt status criteria olcott <polcott2@gmail.com> - 2022-10-20 22:41 -0500
Ben agrees that Sipser_H is correct according to its halt status criteria olcott <polcott2@gmail.com> - 2022-10-21 15:03 -0500
Re: Ben agrees that Sipser_H is correct according to its halt status criteria [Paul N Lies] olcott <polcott2@gmail.com> - 2022-10-22 14:20 -0500
Paul N is a liar or does not bother to pay attention olcott <polcott2@gmail.com> - 2022-10-22 17:10 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Philip White <philipwhite363@gmail.com> - 2022-10-12 18:51 -0700
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-12 20:58 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Philip White <philipwhite363@gmail.com> - 2022-10-12 19:09 -0700
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <none-ya@beez-waxes.com> - 2022-10-12 21:32 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider "B.H." <xlt.pjw@gmail.com> - 2022-10-12 20:07 -0700
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <none-ya@beez-waxes.com> - 2022-10-12 22:36 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Philip White <philipwhite363@gmail.com> - 2022-10-13 09:18 -0700
Re: Michael Sipser of MIT validates the notion of a simulating halt decider wij <wyniijj2@gmail.com> - 2022-10-13 14:35 -0700
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Python <python@invalid.org> - 2022-10-14 02:50 +0200
Re: Michael Sipser of MIT validates the notion of a simulating halt decider wij <wyniijj2@gmail.com> - 2022-10-13 19:09 -0700
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-12 22:19 -0400
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-12 22:05 -0400
Re: Michael Sipser of MIT validates the notion of a simulating halt decider om@iki.fi (Otto J. Makela) - 2022-10-13 10:47 +0300
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-13 09:33 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2022-10-13 10:42 -0700
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <none-ya@beez-waxes.com> - 2022-10-13 12:48 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2022-10-13 11:20 -0700
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-13 13:37 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-13 19:40 +0100
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-13 13:49 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-13 19:52 +0100
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2022-10-13 12:52 -0700
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-13 15:12 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider "Fred. Zwarts" <F.Zwarts@KVI.nl> - 2022-10-13 21:07 +0200
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-13 14:19 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider "Fred. Zwarts" <F.Zwarts@KVI.nl> - 2022-10-13 21:28 +0200
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-13 15:11 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Ben Bacarisse <ben.usenet@bsb.me.uk> - 2022-10-13 20:24 +0100
Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-13 14:32 -0500
Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-13 19:19 -0400
Re: Michael Sipser of MIT validates the notion of a simulating halt decider [-Update-] olcott <polcott2@gmail.com> - 2022-10-30 11:43 -0500
csiph-web