Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error

Liste des GroupesRevenir à s logic 
Sujet : Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory sci.logic
Date : 05. Jun 2024, 04:19:22
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v3ohvb$pi6u$5@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/4/2024 9:13 PM, John Smith wrote:
On 5/06/24 04:07, olcott wrote:
On 6/4/2024 8:39 PM, John Smith wrote:
On 5/06/24 03:33, olcott wrote:
On 6/4/2024 8:20 PM, John Smith wrote:
On 4/06/24 20:02, olcott wrote:
Those words are dead obviously correct about how a partial simulation
does correctly determine the halt status of this function:
>
void Infinite_Recursion2(u32 N)
{
     H(Infinite_Recursion2, (ptr)N);
}
>
Does Infinite_Recursion2 halt?
>
When halting is defined in the software engineering terms of
terminating normally then Infinite_Recursion2 does not even
halt when it runs out of stack space and crashes.
>
H always halts, and never runs out of stack space, because it is a decider. How does Infinite_Recursion2 run out of stack space, if H doesn't run out of stack space?
>
>
When we are on actual physical machines as my fully operational
HH/DD are running put of stack space is possible.
>
 Then increase the stack space until it doesn't run out. Turing machines can't run out of stack space unless you programmed them wrong.
It is fully operational C code it can run out of stack space
even if you give it googolplex of terabytes.
--
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?172immibis
3 Jun 24 +* Re: Why does Olcott care about simulation, anyway?2Richard Damon
3 Jun 24 i`- Re: Why does Olcott care about simulation, anyway?1wij
3 Jun 24 +* Re: Why does Olcott care about simulation, anyway?149Mike Terry
3 Jun 24 i+* Re: Why does Olcott care about simulation, anyway? --- Mikes Review19olcott
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 Review16Mike Terry
3 Jun 24 ii `* Re: Why does Olcott care about simulation, anyway? --- Mikes Review15olcott
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 Review13Mike Terry
4 Jun 24 ii   `* Re: Why does Olcott care about simulation, anyway? --- Mikes Review12olcott
4 Jun 24 ii    `* Re: Why does Olcott care about simulation, anyway? --- Mikes Review11Richard Damon
4 Jun 24 ii     `* Re: Why does Olcott care about simulation, anyway? --- Mikes Review10olcott
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 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?1wij
3 Jun 24 i+- Re: Why does Olcott care about simulation, anyway?1wij
3 Jun 24 i`* Re: Why does Olcott care about simulation, anyway?127Ben Bacarisse
3 Jun 24 i +* Re: Why does Olcott care about simulation, anyway? --- Ben's Review125olcott
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 Review85Fred. Zwarts
3 Jun 24 i ii`* Mike Terry Reply to Fred Zwarts84olcott
4 Jun 24 i ii +* Re: Mike Terry Reply to Fred Zwarts82Fred. Zwarts
4 Jun 24 i ii i`* Re: Mike Terry Reply to Fred Zwarts81Fred. Zwarts
4 Jun 24 i ii i `* Re: Mike Terry Reply to Fred Zwarts80Mike Terry
4 Jun 24 i ii i  `* How Partial Simulations correctly determine non-halting ---Mike Terry Error79olcott
5 Jun 24 i ii i   +* Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error28John Smith
5 Jun 24 i ii i   i`* Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error27olcott
5 Jun 24 i ii i   i `* Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error26John Smith
5 Jun 24 i ii i   i  `* Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error25olcott
5 Jun 24 i ii i   i   `* Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error24John Smith
5 Jun 24 i ii i   i    +* Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error5olcott
5 Jun 24 i ii i   i    i`* Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error4John Smith
5 Jun 24 i ii i   i    i `* Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error3olcott
5 Jun 24 i ii i   i    i  +- Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error1joes
6 Jun 24 i ii i   i    i  `- Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error1Richard Damon
5 Jun 24 i ii i   i    `* Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error18Ben Bacarisse
5 Jun 24 i ii i   i     +* Re: How Partial Simulations correctly determine non-halting --- Ben's strawman deception2olcott
7 Jun 24 i ii i   i     i`- Re: How Partial Simulations correctly determine non-halting --- Ben's strawman deception1olcon'tt
5 Jun 24 i ii i   i     `* Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error15Mike Terry
5 Jun 24 i ii i   i      `* Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error14olcott
5 Jun 24 i ii i   i       +* Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error6John Smith
5 Jun 24 i ii i   i       i+* Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error2olcott
5 Jun 24 i ii i   i       ii`- Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error1joes
6 Jun 24 i ii i   i       i`* Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error3Mike Terry
6 Jun 24 i ii i   i       i `* Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error !!!2olcott
6 Jun 24 i ii i   i       i  `- Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error !!!1Richard Damon
5 Jun 24 i ii i   i       `* Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error7Mike Terry
6 Jun 24 i ii i   i        `* Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error6olcott
6 Jun 24 i ii i   i         `* Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error5Mike Terry
7 Jun 24 i ii i   i          `* Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error4olcott
7 Jun 24 i ii i   i           +- Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error1Richard Damon
7 Jun 24 i ii i   i           `* Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error2olcott
7 Jun 24 i ii i   i            `- Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error1Richard Damon
5 Jun 24 i ii i   +- Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error1Richard Damon
5 Jun 24 i ii i   `* Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error49olcott
6 Jun 24 i ii i    +- Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error1Richard Damon
6 Jun 24 i ii i    `* Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error47olcott
7 Jun 24 i ii i     +* Re: How Partial Simulations correctly determine non-halting ---Ben's 10/2022 analysis45olcott
7 Jun 24 i ii i     i+* Re: How Partial Simulations correctly determine non-halting ---Ben's 10/2022 analysis13Python
7 Jun 24 i ii i     ii`* Re: How Partial Simulations correctly determine non-halting ---Ben's 10/2022 analysis12olcott
7 Jun 24 i ii i     ii +* Re: How Partial Simulations correctly determine non-halting ---Ben's 10/2022 analysis7Python
7 Jun 24 i ii i     ii i`* Re: How Partial Simulations correctly determine non-halting ---Ben's 10/2022 analysis6olcott
7 Jun 24 i ii i     ii i +- Re: How Partial Simulations correctly determine non-halting ---Ben's 10/2022 analysis1Richard Damon
7 Jun 24 i ii i     ii i `* Re: How Partial Simulations correctly determine non-halting ---Ben's 10/2022 analysis4olcott
7 Jun 24 i ii i     ii i  +- Re: How Partial Simulations correctly determine non-halting ---Ben's 10/2022 analysis1Richard Damon
8 Jun 24 i ii i     ii i  `* Re: How Partial Simulations correctly determine non-halting ---Ben's 10/2022 analysis ---2olcott
8 Jun 24 i ii i     ii i   `- Re: How Partial Simulations correctly determine non-halting ---Ben's 10/2022 analysis ---1Richard Damon
7 Jun 24 i ii i     ii +- Re: How Partial Simulations correctly determine non-halting ---Ben's 10/2022 analysis1Richard Damon
7 Jun 24 i ii i     ii `* Re: How Partial Simulations incorrectly determine non-halting ---Ben's 10/2022 analysis3olcott
7 Jun 24 i ii i     ii  +- Re: How Partial Simulations incorrectly determine non-halting ---Ben's 10/2022 analysis1news2
7 Jun 24 i ii i     ii  `- Re: How Partial Simulations incorrectly determine non-halting ---Ben's 10/2022 analysis1Richard Damon
7 Jun 24 i ii i     i+- Re: How Partial Simulations correctly determine non-halting ---Ben's 10/2022 analysis1Richard Damon
7 Jun 24 i ii i     i+* Re: How Partial Simulations correctly determine non-halting ---Ben's 10/2022 analysis24olcott
7 Jun 24 i ii i     ii+- Re: How Partial Simulations correctly determine non-halting ---Ben's 10/2022 analysis1Richard Damon
8 Jun 24 i ii i     ii`* Re: How Partial Simulations correctly determine non-halting ---Should I quit Richard at this point?22olcott
8 Jun 24 i ii i     ii `* Re: How Partial Simulations correctly determine non-halting ---Should I quit Richard at this point?21Richard Damon
8 Jun 24 i ii i     ii  `* Re: How Partial Simulations correctly determine non-halting ---Should I quit Richard at this point?20olcott
8 Jun 24 i ii i     ii   `* Re: How Partial Simulations correctly determine non-halting ---Should I quit Richard at this point?19Richard Damon
8 Jun 24 i ii i     ii    `* Re: How Partial Simulations correctly determine non-halting ---Should I quit Richard at this point?18olcott
8 Jun 24 i ii i     ii     `* Re: How Partial Simulations correctly determine non-halting ---Should I quit Richard at this point?17Richard Damon
8 Jun 24 i ii i     ii      `* Re: How Partial Simulations correctly determine non-halting ---Should I quit Richard at this point?16olcott
8 Jun 24 i ii i     ii       `* Re: How Partial Simulations correctly determine non-halting ---Should I quit Richard at this point?15Richard Damon
8 Jun 24 i ii i     ii        `* Re: How Partial Simulations correctly determine non-halting ---Should I quit Richard at this point?14olcott
8 Jun 24 i ii i     ii         `* Re: How Partial Simulations correctly determine non-halting ---Should I quit Richard at this point?13Richard Damon
8 Jun 24 i ii i     ii          `* Re: How Partial Simulations correctly determine non-halting ---Should I quit Richard at this point?12olcott
8 Jun 24 i ii i     ii           `* Re: How Partial Simulations correctly determine non-halting ---Should I quit Richard at this point?11Richard Damon
8 Jun 24 i ii i     ii            `* Re: How Partial Simulations correctly determine non-halting ---Should I quit Richard at this point?10olcott
8 Jun 24 i ii i     ii             `* Re: How Partial Simulations correctly determine non-halting ---Should I quit Richard at this point?9Richard Damon
8 Jun 24 i ii i     ii              `* Re: How Partial Simulations correctly determine non-halting ---Should I quit Richard at this point?8olcott
9 Jun 24 i ii i     ii               `* Re: How Partial Simulations correctly determine non-halting ---Should I quit Richard at this point?7Richard Damon
9 Jun 24 i ii i     ii                `* Re: How Partial Simulations correctly determine non-halting ---Should I quit Richard at this point?6olcott
9 Jun 24 i ii i     ii                 `* Re: How Partial Simulations correctly determine non-halting ---Should I quit Richard at this point?5Richard Damon
7 Jun 24 i ii i     i`* Re: How Partial Simulations correctly determine non-halting ---Ben's 10/2022 analysis6joes
7 Jun 24 i ii i     `- Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error1Richard Damon
4 Jun 24 i ii `- Re: Mike Terry Reply to Fred Zwarts1Fred. Zwarts
4 Jun 24 i i+- Re: Why does Olcott care about simulation, anyway? --- Ben's Review1Richard Damon
4 Jun 24 i i`* Halting Problem is wrong two different ways37olcott
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

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal