Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.theory > #105921
| From | olcott <polcott333@gmail.com> |
|---|---|
| Newsgroups | comp.theory |
| Subject | Re: D correctly simulated by H cannot possibly reach its own line 06 and halt |
| Date | 2024-06-01 13:34 -0500 |
| Organization | A noiseless patient Spider |
| Message-ID | <v3fpjd$2t7mj$3@dont-email.me> (permalink) |
| References | (1 earlier) <v3asj2$2ihjj$2@i2pn2.org> <v3asv1$1s60g$1@dont-email.me> <v3bvg7$24rgd$1@dont-email.me> <v3cml5$28tmt$1@dont-email.me> <v3fp7v$2o13h$4@i2pn2.org> |
On 6/1/2024 1:28 PM, joes wrote:
> Am Fri, 31 May 2024 09:25:40 -0500 schrieb olcott:
>> On 5/31/2024 2:50 AM, Fred. Zwarts wrote:
>>> Op 31.mei.2024 om 00:01 schreef olcott:
>>>> On 5/30/2024 4:54 PM, joes wrote:
>>>>> Am Thu, 30 May 2024 09:55:24 -0500 schrieb olcott:
>>>>>
>>>>>> typedef int (*ptr)(); // ptr is pointer to int function in C
>>>>>> 00 int H(ptr p, ptr i);
>>>>>> 01 int D(ptr p)
>>>>>> 02 {
>>>>>> 03 int Halt_Status = H(p, p);
>>>>>> 04 if (Halt_Status)
>>>>>> 05 HERE: goto HERE;
>>>>>> 06 return Halt_Status;
>>>>>> 07 }
>>>>>> 08
>>>>>> 09 int main()
>>>>>> 10 {
>>>>>> 11 H(D,D);
>>>>>> 12 return 0;
>>>>>> 13 }
>
>>>>>> Everyone with sufficient knowledge of C can easily determine that D
>>>>>> correctly emulated by any *pure function* H (using an x86 emulator)
>>>>>> cannot possibly reach its own simulated final state at line 06 and
>>>>>> halt.
>>>>> Yeah, of course not, if H doesn’t halt.
>
>>>> Or maybe you did not know that every computation that never reaches
>>>> its own final state *DOES NOT HALT* even if it stops running because
>>>> it is no longer simulated.
>>> Since the claim is that H is also a computation, it holds for H, as
>>> well. That means that H *DOES NOT HALT* even if it stops running because
>>> it is no longer simulated.
>> *pure function H definitely halts you are confused*
> The fuck? If H halts, then D can definitely reach past line 4.
>
*Trying to get away with changing the subject away from this*
*is known as the strawman deception*
DD correctly simulated by pure function HH cannot possibly reach
its own final state at line 06 in any finite number of steps of
correct simulation.
>> DD correctly simulated by pure function HH cannot possibly reach
>> its own final state at line 06 in any finite number of steps of
>> correct simulation.
>>
>> Pure function H reaches its own final state after the finite number
>> of steps of correct simulation, thus halts.
>
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer
Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
Re: D correctly simulated by H cannot possibly reach its own line 06 and halt joes <noreply@example.com> - 2024-05-30 21:54 +0000
Re: D correctly simulated by H cannot possibly reach its own line 06 and halt olcott <polcott333@gmail.com> - 2024-05-30 17:01 -0500
Re: D correctly simulated by H cannot possibly reach its own line 06 and halt Richard Damon <richard@damon-family.org> - 2024-05-30 21:37 -0400
Re: D correctly simulated by H cannot possibly reach its own line 06 and halt "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-31 09:50 +0200
Re: D correctly simulated by H cannot possibly reach its own line 06 and halt olcott <polcott333@gmail.com> - 2024-05-31 09:25 -0500
Re: D correctly simulated by H cannot possibly reach its own line 06 and halt "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-31 17:37 +0200
Re: D correctly simulated by H cannot possibly reach its own line 06 and halt olcott <polcott333@gmail.com> - 2024-05-31 10:54 -0500
Re: D correctly simulated by H cannot possibly reach its own line 06 and halt "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-31 18:18 +0200
Re: D correctly simulated by H cannot possibly reach its own line 06 and halt olcott <polcott333@gmail.com> - 2024-05-31 12:01 -0500
Re: D correctly simulated by H cannot possibly reach its own line 06 and halt immibis <news@immibis.com> - 2024-05-31 19:53 +0200
Re: D correctly simulated by H cannot possibly reach its own line 06 and halt "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-31 20:15 +0200
Re: D correctly simulated by H cannot possibly reach its own line 06 and halt olcott <polcott333@gmail.com> - 2024-05-31 13:22 -0500
Re: D correctly simulated by H cannot possibly reach its own line 06 and halt "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-31 20:55 +0200
Re: D correctly simulated by H cannot possibly reach its own line 06 and halt olcott <polcott333@gmail.com> - 2024-05-31 14:07 -0500
Re: D correctly simulated by H cannot possibly reach its own line 06 and halt "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-31 21:35 +0200
Re: D correctly simulated by H cannot possibly reach its own line 06 and halt --- Mike Terry olcott <polcott333@gmail.com> - 2024-05-31 14:54 -0500
Re: D correctly simulated by H cannot possibly reach its own line 06 and halt --- Mike Terry "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-06-01 10:49 +0200
Re: D correctly simulated by H cannot possibly reach its own line 06 and halt --- Mike Terry olcott <polcott333@gmail.com> - 2024-06-01 10:15 -0500
Re: D correctly simulated by H cannot possibly reach its own line 06 and halt --- Mike Terry Richard Damon <richard@damon-family.org> - 2024-06-01 11:23 -0400
Re: D correctly simulated by H cannot possibly reach its own line 06 and halt --- Mike Terry Mikko <mikko.levanto@iki.fi> - 2024-06-02 10:49 +0300
Re: D correctly simulated by H cannot possibly reach its own line 06 and halt --- Mike Terry olcott <polcott333@gmail.com> - 2024-06-02 08:33 -0500
Re: D correctly simulated by H cannot possibly reach its own line 06 and halt --- Mike Terry Richard Damon <richard@damon-family.org> - 2024-06-02 13:23 -0400
Re: D correctly simulated by H cannot possibly reach its own line 06 and halt --- Mike Terry Mikko <mikko.levanto@iki.fi> - 2024-06-03 11:09 +0300
Re: D correctly simulated by H cannot possibly reach its own line 06 and halt --- Mike Terry olcott <polcott333@gmail.com> - 2024-06-03 08:07 -0500
Re: D correctly simulated by H cannot possibly reach its own line 06 and halt --- Mike Terry Mikko <mikko.levanto@iki.fi> - 2024-06-03 20:15 +0300
Re: D correctly simulated by H cannot possibly reach its own line 06 and halt --- Mike Terry olcott <polcott333@gmail.com> - 2024-06-03 14:28 -0500
Re: D correctly simulated by H cannot possibly reach its own line 06 and halt immibis <news@immibis.com> - 2024-06-01 14:43 +0200
Re: D correctly simulated by H cannot possibly reach its own line 06 and halt immibis <news@immibis.com> - 2024-06-01 14:42 +0200
Re: D correctly simulated by H cannot possibly reach its own line 06 and halt Richard Damon <richard@damon-family.org> - 2024-06-01 08:57 -0400
Re: D correctly simulated by H cannot possibly reach its own line 06 and halt immibis <news@immibis.com> - 2024-06-01 14:41 +0200
Re: D correctly simulated by H cannot possibly reach its own line 06 and halt immibis <news@immibis.com> - 2024-05-31 19:52 +0200
Re: D correctly simulated by H cannot possibly reach its own line 06 and halt joes <noreply@example.com> - 2024-06-01 18:33 +0000
Re: D correctly simulated by H cannot possibly reach its own line 06 and halt olcott <polcott333@gmail.com> - 2024-06-01 13:37 -0500
Re: D correctly simulated by H cannot possibly reach its own line 06 and halt Richard Damon <richard@damon-family.org> - 2024-06-01 14:44 -0400
Re: D correctly simulated by H cannot possibly reach its own line 06 and halt joes <noreply@example.com> - 2024-06-02 09:51 +0000
Re: D correctly simulated by H cannot possibly reach its own line 06 and halt immibis <news@immibis.com> - 2024-05-31 19:48 +0200
Re: D correctly simulated by H cannot possibly reach its own line 06 and halt Mikko <mikko.levanto@iki.fi> - 2024-06-01 10:56 +0300
Re: D correctly simulated by H cannot possibly reach its own line 06 and halt olcott <polcott333@gmail.com> - 2024-06-01 09:44 -0500
Re: D correctly simulated by H cannot possibly reach its own line 06 and halt Mikko <mikko.levanto@iki.fi> - 2024-06-02 10:56 +0300
Deciders are ONLY accountable for their actual inputs --- olcott <polcott333@gmail.com> - 2024-06-02 08:46 -0500
Re: Deciders are ONLY accountable for their actual inputs --- Richard Damon <richard@damon-family.org> - 2024-06-02 13:23 -0400
Re: Deciders are ONLY accountable for their actual inputs --- Mikko <mikko.levanto@iki.fi> - 2024-06-03 11:47 +0300
Re: Deciders are ONLY accountable for their actual inputs --- olcott <polcott333@gmail.com> - 2024-06-03 08:09 -0500
Re: Deciders are ONLY accountable for their actual inputs --- Richard Damon <richard@damon-family.org> - 2024-06-03 20:56 -0400
Re: Deciders are ONLY accountable for their actual inputs --- Mikko <mikko.levanto@iki.fi> - 2024-06-03 11:35 +0300
Re: Deciders are ONLY accountable for their actual inputs --- olcott <polcott333@gmail.com> - 2024-06-03 07:52 -0500
Re: Deciders are ONLY accountable for their actual inputs --- Mikko <mikko.levanto@iki.fi> - 2024-06-03 17:56 +0300
Re: Deciders are ONLY accountable for their actual inputs --- "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-06-03 22:15 +0200
Re: D correctly simulated by H cannot possibly reach its own line 06 and halt joes <noreply@example.com> - 2024-06-01 18:28 +0000
Re: D correctly simulated by H cannot possibly reach its own line 06 and halt olcott <polcott333@gmail.com> - 2024-06-01 13:34 -0500
Re: D correctly simulated by H cannot possibly reach its own line 06 and halt Richard Damon <richard@damon-family.org> - 2024-06-01 14:47 -0400
Re: D correctly simulated by H cannot possibly reach its own line 06 and halt Mikko <mikko.levanto@iki.fi> - 2024-06-02 11:00 +0300
Re: D correctly simulated by H cannot possibly reach its own line 06 and halt olcott <polcott333@gmail.com> - 2024-06-02 08:51 -0500
Re: D correctly simulated by H cannot possibly reach its own line 06 and halt Richard Damon <richard@damon-family.org> - 2024-06-02 13:23 -0400
Re: D correctly simulated by H cannot possibly reach its own line 06 and halt immibis <news@immibis.com> - 2024-06-02 21:02 +0200
Re: D correctly simulated by H cannot possibly reach its own line 06 and halt Mikko <mikko.levanto@iki.fi> - 2024-06-03 12:11 +0300
Re: D correctly simulated by H cannot possibly reach its own line 06 and halt olcott <polcott333@gmail.com> - 2024-06-03 08:12 -0500
Re: D correctly simulated by H cannot possibly reach its own line 06 and halt Mikko <mikko.levanto@iki.fi> - 2024-06-03 17:58 +0300
DD correctly simulated by HH cannot possibly reach past its own line 03 and halt olcott <polcott333@gmail.com> - 2024-06-03 13:25 -0500
Re: DD correctly simulated by HH cannot possibly reach past its own line 03 and halt Mikko <mikko.levanto@iki.fi> - 2024-06-04 11:54 +0300
Re: D correctly simulated by H cannot possibly reach its own line 06 and halt "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-06-03 22:18 +0200
Re: D correctly simulated by H cannot possibly reach its own line 06 and halt olcott <polcott333@gmail.com> - 2024-06-03 16:18 -0500
Re: D correctly simulated by H cannot possibly reach its own line 06 and halt Richard Damon <richard@damon-family.org> - 2024-06-03 20:56 -0400
Re: D correctly simulated by H cannot possibly reach its own line 06 and halt immibis <news@immibis.com> - 2024-05-31 10:39 +0200
Re: D correctly simulated by H cannot possibly reach its own line 06 and halt joes <noreply@example.com> - 2024-06-01 18:13 +0000
Re: D correctly simulated by H cannot possibly reach its own line 06 and halt olcott <polcott333@gmail.com> - 2024-06-01 13:23 -0500
Re: D correctly simulated by H cannot possibly reach its own line 06 and halt Richard Damon <richard@damon-family.org> - 2024-06-01 16:29 -0400
csiph-web