Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met

Liste des GroupesRevenir à theory 
Sujet : Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
De : news.dead.person.stones (at) *nospam* darjeeling.plus.com (Mike Terry)
Groupes : comp.theory
Date : 21. May 2025, 02:06:02
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <100j8tq$2gba4$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25
User-Agent : Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101 Firefox/91.0 SeaMonkey/2.53.18.2
On 20/05/2025 18:46, Fred. Zwarts wrote:
Op 20.mei.2025 om 16:37 schreef olcott:
On 5/20/2025 2:06 AM, Mikko wrote:
On 2025-05-20 04:20:54 +0000, olcott said:
>
<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
     If simulating halt decider H correctly simulates its
     input D until H correctly determines that its simulated D
     would never stop running unless aborted then
>
Do you understand that we are only evaluating whether
or not HHH/DDD meets this above criteria?
>
I do understand that the meaning of the behaviour is not mentioned
in the creteria and is therefore irrelevant, an obvious consequence
of which is that your "WRONG!" above is false.
>
>
*H correctly simulates its input D until*
specifies that HHH must simulate DDD according
to the meaning of the rules of the x86 language.
>
The meaning of every step of the behavior is
precisely specified by the x86 language.
>
_DDD()
[00002172] 55         push ebp      ; housekeeping
[00002173] 8bec       mov ebp,esp   ; housekeeping
[00002175] 6872210000 push 00002172 ; push DDD
[0000217a] e853f4ffff call 000015d2 ; call HHH(DDD)
[0000217f] 83c404     add esp,+04
[00002182] 5d         pop ebp
[00002183] c3         ret
Size in bytes:(0018) [00002183]
>
*H correctly simulates its input D*
00002172 00002173 00002175 0000217a
H correctly simulates itself simulating DDD
00002172 00002173 00002175 0000217a
>
*until H correctly determines that its simulated D*
*would never stop running unless aborted*
 That is a wild guess of HHH, not a correct determination. When it sees the call to HHH and we know that HHH halts, we know that there is only a finite recursion, so the 'would never stop running' exists only in your dreams.
The input is a finite string that includes the code of Halt7.c, which specifies that the simulation will abort. So, HHH is wrong when it assumes that an abort is needed for this input to prevent  a never stop running.
Face the facts, not your dreams. Try a real argument, instead a repetition of your dream. Try to get out of rebuttal mode.
 
>
H sees DDD call the same function with the same
parameter and there are no conditional branch
instructions from the beginning of DDD to calling
HHH(DDD) again. This repeating pattern proves
non-termination.
>
>
 HHH does not even see a full cycle, so it cannot know that there are no conditional branches in the cycle. You can view a full cycle in different ways:
1) from the first start of DDD up to the second start of DDD. The second beginning of DDD is reached after many steps of the simulation, which contains a lot of conditional branching instruction.
2) From the first start of HHH up to the second start of HHH. In this cycle there are also many conditional branch instructions within HHH.
So, it is misleading to say that there are no conditional branch instruction in the full cycle.
That a small part of the cycle does not have conditional branch instructions does not prove anything.
Face the facts. Stop repeating your dreams. Come out of rebuttal mode and try a serious honest dialogue.
 
Yes, that all correct.  There are loads of conditional branch instructions performed by HHH as part of DDD.  This makes a nonsense of the implementation of PO's "infinite recursion" test.
But there is a worse nonsense here:  even if there were indeed no conditional branches between the matching call statements in the simulation, THAT STILL WOULD NOT BE ENOUGH TO GUARANTEE INFINITE RECURSION!
So his whole test idea is just nonsense, PLUS it has a nonsense implementation that ignores the bulk of simulated code for no justifiable reason.  Nonsense^2.
Mike.

Date Sujet#  Auteur
15 May 25 * Overcoming the proof of undecidability of the Halting Problem by a simple example in C231olcott
15 May 25 +* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C18olcott
15 May 25 i+* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C12olcott
16 May 25 ii+* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C7olcott
16 May 25 iii+* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C2olcott
16 May 25 iiii`- Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C1Richard Damon
16 May 25 iii`* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C4Mikko
16 May 25 iii `* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C3olcott
16 May 25 iii  +- Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C1Richard Damon
17 May 25 iii  `- Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C1Mikko
16 May 25 ii`* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C4Mikko
16 May 25 ii `* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C3olcott
16 May 25 ii  +- Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C1Richard Damon
17 May 25 ii  `- Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C1Mikko
16 May 25 i`* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C5Mikko
16 May 25 i `* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C4olcott
16 May 25 i  +- Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C1olcott
16 May 25 i  +- Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C1Richard Damon
17 May 25 i  `- Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C1Mikko
16 May 25 `* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C212olcott
16 May 25  +* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C61Richard Heathfield
16 May 25  i`* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C60olcott
16 May 25  i +* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C3Richard Heathfield
16 May 25  i i`* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C2olcott
16 May 25  i i `- Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C1Richard Heathfield
16 May 25  i `* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C56Mikko
16 May 25  i  `* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C55olcott
16 May 25  i   +* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C29Richard Heathfield
17 May 25  i   i`* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C28olcott
17 May 25  i   i +* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C6Richard Damon
17 May 25  i   i i`* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C5olcott
17 May 25  i   i i `* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C4Richard Damon
17 May 25  i   i i  `* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C3olcott
17 May 25  i   i i   +- Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C1Fred. Zwarts
17 May 25  i   i i   `- Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C1Richard Damon
17 May 25  i   i `* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C21Richard Heathfield
17 May 25  i   i  `* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C20olcott
17 May 25  i   i   +* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C15Richard Heathfield
17 May 25  i   i   i`* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C14olcott
17 May 25  i   i   i `* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C13Richard Heathfield
17 May 25  i   i   i  `* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C12olcott
17 May 25  i   i   i   +* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C5Richard Heathfield
17 May 25  i   i   i   i`* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C4olcott
17 May 25  i   i   i   i `* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C3Richard Heathfield
17 May 25  i   i   i   i  `* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C2olcott
17 May 25  i   i   i   i   `- Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C1Richard Heathfield
17 May 25  i   i   i   `* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C6Richard Damon
18 May 25  i   i   i    `* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C5Richard Heathfield
19 May 25  i   i   i     `* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C4Mikko
19 May 25  i   i   i      `* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C3Richard Heathfield
19 May 25  i   i   i       `* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C2Mikko
19 May 25  i   i   i        `- Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C1Richard Heathfield
17 May 25  i   i   `* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C4Richard Damon
17 May 25  i   i    `* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C3olcott
17 May 25  i   i     +- Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C1Fred. Zwarts
17 May 25  i   i     `- Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C1Richard Damon
16 May 25  i   +* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C3Richard Damon
17 May 25  i   i`* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C2olcott
17 May 25  i   i `- Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C1Richard Damon
17 May 25  i   `* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C22Mikko
18 May 25  i    `* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C21Richard Heathfield
18 May 25  i     `* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C20Ben Bacarisse
19 May 25  i      +* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C18Richard Heathfield
19 May 25  i      i`* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C17Ben Bacarisse
19 May 25  i      i `* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C16olcott
19 May 25  i      i  +* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C14Richard Heathfield
19 May 25  i      i  i`* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C13olcott
19 May 25  i      i  i +* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C11Richard Heathfield
19 May 25  i      i  i i+* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C8Richard Heathfield
19 May 25  i      i  i ii`* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C7Richard Heathfield
19 May 25  i      i  i ii `* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C6olcott
19 May 25  i      i  i ii  +* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C4Richard Heathfield
19 May 25  i      i  i ii  i`* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C3olcott
19 May 25  i      i  i ii  i +- Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C1Richard Heathfield
19 May 25  i      i  i ii  i `- Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C1Mikko
19 May 25  i      i  i ii  `- Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C1Richard Damon
19 May 25  i      i  i i+- Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C1Mikko
19 May 25  i      i  i i`- Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C1Richard Damon
19 May 25  i      i  i `- Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C1Mikko
19 May 25  i      i  `- Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C1Mikko
19 May 25  i      `- Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C1Mikko
16 May 25  +* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C5Richard Damon
16 May 25  i`* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C4olcott
16 May 25  i `* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C3Richard Damon
16 May 25  i  `* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C2olcott
16 May 25  i   `- Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C1Richard Damon
16 May 25  `* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C145Mikko
16 May 25   `* Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met144olcott
17 May 25    `* Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met143Mikko
17 May 25     `* Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met142olcott
17 May 25      +* Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met3Richard Damon
17 May 25      i`* Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met2olcott
18 May 25      i `- Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met1Mikko
18 May 25      `* Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met138Mikko
18 May 25       +* Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met131Mike Terry
18 May 25       i`* Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met130olcott
18 May 25       i +* Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met28joes
18 May 25       i i`* Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met27olcott
18 May 25       i i +- Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met1Richard Damon
19 May 25       i i `* Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met25Mikko
20 May 25       i i  `* Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met24olcott
18 May 25       i `* Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met101Richard Damon
18 May 25       `* Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met6olcott

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal