Re: Halting Problem is wrong two different ways

Liste des GroupesRevenir à theory 
Sujet : Re: Halting Problem is wrong two different ways
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory sci.logic
Date : 07. Jun 2024, 16:09:54
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v3v4bi$22vrk$7@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
User-Agent : Mozilla Thunderbird
On 6/7/2024 1:22 AM, Mikko wrote:
On 2024-06-06 15:18:21 +0000, olcott said:
>
*Here is that problem statement*
Prove that sum(3,4) is incorrect on the basis that
sum(3,4) cannot and does not provide the sum of 5 + 6.
 That problem statement does not restrict what another
problem statement may specify.
 
It is an analogy.
All halt deciders are only allowed to report on the actual
behavior of their actual input.
I have proven right here that the actual behavior of the actual
input is that it remains stuck in recursive simulation.
Try any show how this DD can be correctly simulated by any HH
such that this DD reaches past its machine address [00001dbe]
_DD()
[00001e12] 55         push ebp
[00001e13] 8bec       mov  ebp,esp
[00001e15] 51         push ecx
[00001e16] 8b4508     mov  eax,[ebp+08]
[00001e19] 50         push eax      ; push DD
[00001e1a] 8b4d08     mov  ecx,[ebp+08]
[00001e1d] 51         push ecx      ; push DD
[00001e1e] e85ff5ffff call 00001382 ; call HH
I proved that I am correct and no one even looks
at this proof, that is NOT AN HONEST DIALOGUE.
The above proof proves that DD is correctly simulated by HH
and DD simulated by HH DOES MEET the Sipser approve criteria.
<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
   H can abort its simulation of D and correctly report that D
   specifies a non-halting sequence of configurations.
</MIT Professor Sipser agreed to ONLY these verbatim words10/13/2022>
Professor Sipser <is> the author of the best selling theory of
computation textbook.
*Introduction to the Theory of Computation, by Michael Sipser*
https://www.amazon.com/Introduction-Theory-Computation-Michael-Sipser/dp/113318779X/
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Date Sujet#  Auteur
3 Jun 24 * Why does Olcott care about simulation, anyway?332immibis
3 Jun 24 +- Re: Why does Olcott care about simulation, anyway?1Richard Damon
3 Jun 24 +* Re: Why does Olcott care about simulation, anyway?309Mike Terry
3 Jun 24 i+* Re: Why does Olcott care about simulation, anyway? --- Mikes Review29olcott
3 Jun 24 ii+- Re: Why does Olcott care about simulation, anyway? --- Mikes Review1Richard Damon
3 Jun 24 ii+- Re: Why does Olcott care about simulation, anyway? --- Mikes Review1immibis
3 Jun 24 ii`* Re: Why does Olcott care about simulation, anyway? --- Mikes Review26Mike Terry
3 Jun 24 ii `* Re: Why does Olcott care about simulation, anyway? --- Mikes Review25olcott
4 Jun 24 ii  +- Re: Why does Olcott care about simulation, anyway? --- Mikes Review1Richard Damon
4 Jun 24 ii  `* Re: Why does Olcott care about simulation, anyway? --- Mikes Review23Mike Terry
4 Jun 24 ii   `* Re: Why does Olcott care about simulation, anyway? --- Mikes Review22olcott
4 Jun 24 ii    `* Re: Why does Olcott care about simulation, anyway? --- Mikes Review21Richard Damon
4 Jun 24 ii     `* Re: Why does Olcott care about simulation, anyway? --- Mikes Review20olcott
4 Jun 24 ii      +* Re: Why does Olcott care about simulation, anyway? --- Mikes Review13Richard Damon
4 Jun 24 ii      i`* Re: Why does Olcott care about simulation, anyway? --- Mikes Review12olcott
5 Jun 24 ii      i +- Re: Why does Olcott care about simulation, anyway? --- Mikes Review1Richard Damon
5 Jun 24 ii      i `* Re: Why does Olcott care about simulation, anyway? --- Mikes Review10Mikko
5 Jun 24 ii      i  `* Re: Why does Olcott care about simulation, anyway? --- Mikes Review9olcott
5 Jun 24 ii      i   +* Re: Why does Olcott care about simulation, anyway? --- Mikes Review2wij
5 Jun 24 ii      i   i`- Re: Why does Olcott care about simulation, anyway? --- Mikes Review1olcott
6 Jun 24 ii      i   +* Re: Why does Olcott care about simulation, anyway? --- Mikes Review5Mikko
6 Jun 24 ii      i   i`* Re: Why does Olcott care about simulation, anyway? --- Mikes Review4olcott
6 Jun 24 ii      i   i `* Re: Why does Olcott care about simulation, anyway? --- Mikes Review3Mikko
6 Jun 24 ii      i   i  `* Re: Why does Olcott care about simulation, anyway? --- Mikes Review2olcott
7 Jun 24 ii      i   i   `- Re: Why does Olcott care about simulation, anyway? --- Mikes Review1Richard Damon
6 Jun 24 ii      i   `- Re: Why does Olcott care about simulation, anyway? --- Mikes Review1Richard Damon
4 Jun 24 ii      `* Re: Why does Olcott care about simulation, anyway? --- Mikes Review6Mike Terry
4 Jun 24 ii       `* Re: Why does Olcott care about simulation, anyway? --- Mikes Review5olcott
4 Jun 24 ii        +* Re: Why does Olcott care about simulation, anyway? --- Mikes Review3Richard Damon
4 Jun 24 ii        i`* Re: Why does Olcott care about simulation, anyway? --- Mikes Review2olcott
5 Jun 24 ii        i `- Re: Why does Olcott care about simulation, anyway? --- Mikes Review1Richard Damon
4 Jun 24 ii        `- Re: Why does Olcott care about simulation, anyway? --- Mikes Review1immibis
3 Jun 24 i`* Re: Why does Olcott care about simulation, anyway?279Ben Bacarisse
3 Jun 24 i +* Re: Why does Olcott care about simulation, anyway? --- Ben's Review277olcott
3 Jun 24 i i+- Re: Why does Olcott care about simulation, anyway? --- Ben's Review1immibis
3 Jun 24 i i+* Re: Why does Olcott care about simulation, anyway? --- Ben's Review73Mikko
3 Jun 24 i ii`* Re: Why does Olcott care about simulation, anyway? --- Ben's Review72olcott
4 Jun 24 i ii +- Re: Why does Olcott care about simulation, anyway? --- Ben's Review1Richard Damon
4 Jun 24 i ii +* Re: Why does Olcott care about simulation, anyway? --- Ben's Review2joes
4 Jun 24 i ii i`- Re: Why does Olcott care about simulation, anyway? --- Ben's Review1olcott
4 Jun 24 i ii +* Re: Why does Olcott care about simulation, anyway? --- Ben's Review67Mikko
4 Jun 24 i ii i`* Halting Problem is wrong two different ways66olcott
4 Jun 24 i ii i +- Re: Halting Problem is wrong two different ways1immibis
5 Jun 24 i ii i +* Re: Halting Problem is wrong two different ways41Richard Damon
5 Jun 24 i ii i i`* Re: Halting Problem is wrong two different ways40olcott
5 Jun 24 i ii i i +* Re: Halting Problem is wrong two different ways21John Smith
5 Jun 24 i ii i i i`* Re: Halting Problem is wrong two different ways20olcott
5 Jun 24 i ii i i i +* Re: Halting Problem is wrong two different ways4Richard Damon
5 Jun 24 i ii i i i i`* Re: Halting Problem is wrong two different ways3Mikko
5 Jun 24 i ii i i i i `* Re: Halting Problem is wrong two different ways2olcott
6 Jun 24 i ii i i i i  `- Re: Halting Problem is wrong two different ways1Richard Damon
5 Jun 24 i ii i i i `* Re: Halting Problem is wrong two different ways15John Smith
5 Jun 24 i ii i i i  `* Re: Halting Problem is wrong two different ways14olcott
5 Jun 24 i ii i i i   +* Re: Halting Problem is wrong two different ways3John Smith
5 Jun 24 i ii i i i   i+- Re: Halting Problem is wrong two different ways1olcott
5 Jun 24 i ii i i i   i`- Re: Halting Problem is wrong two different ways1joes
5 Jun 24 i ii i i i   +* Re: Halting Problem is wrong two different ways6joes
6 Jun 24 i ii i i i   i`* Re: Halting Problem is wrong two different ways --very stupid5olcott
6 Jun 24 i ii i i i   i +- Re: Halting Problem is wrong two different ways --very stupid1Richard Damon
6 Jun 24 i ii i i i   i `* Re: Halting Problem is wrong two different ways --very stupid3Mikko
6 Jun 24 i ii i i i   i  `* Re: Halting Problem is wrong two different ways --very stupid2olcott
7 Jun 24 i ii i i i   i   `- Re: Halting Problem is wrong two different ways --very stupid1Richard Damon
6 Jun 24 i ii i i i   +- Re: Halting Problem is wrong two different ways1Richard Damon
6 Jun 24 i ii i i i   `* Re: Halting Problem is wrong two different ways3Mikko
6 Jun 24 i ii i i i    `* Re: Halting Problem is wrong two different ways2olcott
7 Jun 24 i ii i i i     `- Re: Halting Problem is wrong two different ways1Richard Damon
5 Jun 24 i ii i i +- Re: Halting Problem is wrong two different ways1Richard Damon
5 Jun 24 i ii i i `* Re: Halting Problem is wrong two different ways17Fred. Zwarts
5 Jun 24 i ii i i  `* Re: Halting Problem is wrong two different ways16olcott
5 Jun 24 i ii i i   +* Re: Halting Problem is wrong two different ways7Fred. Zwarts
6 Jun 24 i ii i i   i`* Re: Halting Problem is wrong two different ways6olcott
6 Jun 24 i ii i i   i `* Re: Halting Problem is wrong two different ways5Fred. Zwarts
6 Jun 24 i ii i i   i  `* Re: Halting Problem is wrong two different ways4olcott
6 Jun 24 i ii i i   i   `* Re: Halting Problem is wrong two different ways3Fred. Zwarts
6 Jun 24 i ii i i   i    +- Re: Halting Problem is wrong two different ways1olcott
6 Jun 24 i ii i i   i    `- Re: Halting Problem is wrong two different ways1immibis
6 Jun 24 i ii i i   +- Re: Halting Problem is wrong two different ways1Richard Damon
6 Jun 24 i ii i i   `* Re: Halting Problem is wrong two different ways7Mikko
6 Jun 24 i ii i i    `* Re: Halting Problem is wrong two different ways6olcott
6 Jun 24 i ii i i     +* Re: Halting Problem is wrong two different ways4Mikko
6 Jun 24 i ii i i     i`* Re: Halting Problem is wrong two different ways3olcott
7 Jun 24 i ii i i     i +- Re: Halting Problem is wrong two different ways1Richard Damon
7 Jun 24 i ii i i     i `- Re: Halting Problem is wrong two different ways1Mikko
7 Jun 24 i ii i i     `- Re: Halting Problem is wrong two different ways1Richard Damon
5 Jun 24 i ii i `* Re: Halting Problem is wrong two different ways23Mikko
5 Jun 24 i ii i  `* Re: Halting Problem is wrong two different ways22olcott
5 Jun 24 i ii i   +- Re: Halting Problem is wrong two different ways1joes
6 Jun 24 i ii i   +- Re: Halting Problem is wrong two different ways1Richard Damon
6 Jun 24 i ii i   +* Re: Halting Problem is wrong two different ways18Mikko
6 Jun 24 i ii i   i`* Re: Halting Problem is wrong two different ways17olcott
6 Jun 24 i ii i   i `* Re: Halting Problem is wrong two different ways16Mikko
6 Jun 24 i ii i   i  `* Re: Halting Problem is wrong two different ways15olcott
7 Jun 24 i ii i   i   `* Re: Halting Problem is wrong two different ways14Mikko
7 Jun 24 i ii i   i    `* Re: Halting Problem is wrong two different ways13olcott
7 Jun 24 i ii i   i     +- Re: Halting Problem is wrong two different ways1Richard Damon
7 Jun 24 i ii i   i     +* Re: Halting Problem is wrong two different ways8joes
8 Jun 24 i ii i   i     i`* Re: Halting Problem is wrong two different ways7olcott
8 Jun 24 i ii i   i     i `* Re: Halting Problem is wrong two different ways6Mikko
8 Jun 24 i ii i   i     i  `* Re: Halting Problem is wrong two different ways5olcott
8 Jun 24 i ii i   i     i   +- Re: Halting Problem is wrong two different ways1Richard Damon
9 Jun 24 i ii i   i     i   `* Re: Halting Problem is wrong two different ways3Mikko
8 Jun 24 i ii i   i     `* Re: Halting Problem is wrong two different ways3Mikko
7 Jun 24 i ii i   `- Re: Halting Problem is wrong two different ways1immibis
4 Jun 24 i ii `- Re: Why does Olcott care about simulation, anyway? --- Ben's Review1immibis
3 Jun 24 i i+* Re: Why does Olcott care about simulation, anyway? --- Ben's Review201Fred. Zwarts
4 Jun 24 i i`- Re: Why does Olcott care about simulation, anyway? --- Ben's Review1Richard Damon
3 Jun 24 i `- Re: Why does Olcott care about simulation, anyway?1Mike Terry
3 Jun 24 +* Re: Why does Olcott care about simulation, anyway?20Fred. Zwarts
3 Jun 24 `- Re: Why does Olcott care about simulation, anyway?1Mikko

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal