Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.theory > #105818
| 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-05-31 09:25 -0500 |
| Organization | A noiseless patient Spider |
| Message-ID | <v3cml5$28tmt$1@dont-email.me> (permalink) |
| References | <v3a40t$1o2ef$1@dont-email.me> <v3asj2$2ihjj$2@i2pn2.org> <v3asv1$1s60g$1@dont-email.me> <v3bvg7$24rgd$1@dont-email.me> |
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 }
>>>>
>>>> The left hand-side are line numbers of correct C code.
>>>> This code does compile and does conform to c17.
>>>>
>>>> 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.
>>>
>>
>> To actually understand my words (as in an actual honest dialogue)
>> you must pay careful attention to every single word. Maybe you
>> had no idea that *pure functions* must always 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*
I stop at your first big mistake so that we can resolve this key
mistake before moving on.
"...the Turing machine will halt whenever it enters a final state."
Linz(1990:234)
In computer programming, a pure function is a function that has the
following properties:
(1) the function return values are identical for identical arguments
(no variation with local static variables, non-local variables, mutable
reference arguments or input streams), and
(2) the function has no side effects (no mutation of local static
variables, non-local variables, mutable reference arguments or
input/output streams). https://en.wikipedia.org/wiki/Pure_function
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.
Linz, Peter 1990. *An Introduction to Formal Languages and Automata*
Lexington/Toronto: D. C. Heath and Company. (317-320)
--
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