Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC

Liste des GroupesRevenir à theory 
Sujet : Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theory
Date : 23. May 2025, 20:00:02
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <715d75a5eec9e1d17f62330a5e974f7faab8335c@i2pn2.org>
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 26 27 28 29 30
User-Agent : Mozilla Thunderbird
On 5/23/25 12:45 PM, olcott wrote:
On 5/23/2025 2:30 AM, Mikko wrote:
On 2025-05-22 18:46:10 +0000, olcott said:
>
On 5/22/2025 1:33 PM, Richard Heathfield wrote:
On 22/05/2025 19:16, olcott wrote:
>
<snip>
>
In other words you are too scatterbrained to keep
focused on a single point until closure is achieved.
>
Closure happened in 1936.
>
>
*CLOSURE ON THIS POINT HAS NEVER BEEN ACHIEVED*
>
When you try to define an input D to simulating termination
analyzer H that actually does the opposite of whatever value
that H returns you find that this
KEY ELEMENT OF THE CONVENTIONAL HALTING
PROBLEM PROOFS CANNOT POSSIBLY EXIST.
>
Unless H is a counter-example to the Church-Turing thesis it
is possible to construct such D and prove that H is not a
halting decider.
>
 When you do that within the abstraction of Turing Machines
people get confused and conflate the computation that
the halt decider is contained within as its own input.
No, and in fact, the explictiness of Turing Machines makes that confusion impossible.
Note, it is quite possible that they just happen to be the same computation, and thus will do the same thing.

 *This mistake is more obvious when it is made concrete*
 int main()
{
   DD(); // How does the HHH that DD calls report
}       // on the behavior of its caller?
 
No, THAT is the hiding of the explictness, and makes your claim seem reasonable.
The fact is that HHH is NOT being asked about "the behavior of its caller", but about "the behavior of the program provided as its input".
The fact they represent the same program is irrelevent.
HHH(DD), if HHH and DD are programs, means that HHH(DD) will return the same answer to EVERYONE, regardless of who it is, that it the nature of programs. And by the construction of DD, if actually followed, will also be a program that does the same thing every time (since it has no input). Note, HHH needs to be given the COMPLETE representation of DD, which means ALL of its code, and thus that input includes the HHH that it calls that is the HHH that is claimed to be giving the right answer, which is the HHH that DOES abort and return 0.
Thus, DD() is ALWAYS a halting computation by your stipulations, and HHH(DD) will always abort and return 0 and thus is wrong.
Of course, then you blow up your whole argument by then claiming that that isn't what you have stipulated HHH and DD to be, but they are NOT PROGRAMS, and thus even talking about them in program terms is the fallacy of Catergory Error.
No HHH can correctly simulate a non-program input, as simulation is a property of programs. And non-programs do not have a Halting Property, as that is just a property of Programs.
Thus, you are just proving your utter stupidity.

Date Sujet#  Auteur
21 May 25 * Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion334Richard Damon
21 May 25 +* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion2Richard Heathfield
21 May 25 i`- Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion1Richard Damon
21 May 25 `* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC331olcott
21 May 25  +* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC329Richard Heathfield
21 May 25  i`* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC328olcott
21 May 25  i +* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC320Richard Heathfield
21 May 25  i i`* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC319olcott
21 May 25  i i `* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC318Richard Heathfield
21 May 25  i i  `* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC317olcott
21 May 25  i i   `* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC316Richard Heathfield
21 May 25  i i    +* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC2Keith Thompson
21 May 25  i i    i`- Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC1Richard Heathfield
21 May 25  i i    +* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC311olcott
21 May 25  i i    i`* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC310Richard Heathfield
21 May 25  i i    i `* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC309olcott
21 May 25  i i    i  `* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC308Richard Heathfield
21 May 25  i i    i   `* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC307olcott
21 May 25  i i    i    `* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC306Richard Heathfield
21 May 25  i i    i     `* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC305olcott
22 May 25  i i    i      `* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC304Richard Heathfield
22 May 25  i i    i       `* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC303olcott
22 May 25  i i    i        +* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC254Richard Heathfield
22 May 25  i i    i        i`* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC253Keith Thompson
22 May 25  i i    i        i +* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC251Richard Heathfield
23 May 25  i i    i        i i`* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC250Mike Terry
23 May 25  i i    i        i i +* How do computations actually work?81olcott
23 May 25  i i    i        i i i+* Re: How do computations actually work?19wij
23 May 25  i i    i        i i ii+* Re: How do computations actually work?17olcott
23 May 25  i i    i        i i iii`* Re: How do computations actually work?16Mikko
23 May 25  i i    i        i i iii `* Re: How do computations actually work?15olcott
23 May 25  i i    i        i i iii  +* Re: How do computations actually work?6Richard Damon
23 May 25  i i    i        i i iii  i`* Re: How do computations actually work?5olcott
23 May 25  i i    i        i i iii  i +* Re: How do computations actually work?3Fred. Zwarts
23 May 25  i i    i        i i iii  i i`* Re: How do computations actually work?2olcott
23 May 25  i i    i        i i iii  i i `- Re: How do computations actually work?1Fred. Zwarts
23 May 25  i i    i        i i iii  i `- Re: How do computations actually work?1Richard Damon
24 May 25  i i    i        i i iii  `* Re: How do computations actually work?8Mikko
24 May 25  i i    i        i i iii   `* Re: How do computations actually work?7olcott
24 May 25  i i    i        i i iii    +* Re: How do computations actually work?4dbush
24 May 25  i i    i        i i iii    i`* Re: How do computations actually work?3olcott
24 May 25  i i    i        i i iii    i +- Re: How do computations actually work?1dbush
24 May 25  i i    i        i i iii    i `- Re: How do computations actually work?1Richard Damon
24 May 25  i i    i        i i iii    +- Re: How do computations actually work?1Richard Damon
25 May 25  i i    i        i i iii    `- Re: How do computations actually work?1Mikko
23 May 25  i i    i        i i ii`- Re: How do computations actually work?1Mikko
23 May 25  i i    i        i i i+* Re: How do computations actually work?39Mikko
23 May 25  i i    i        i i ii`* Re: How do computations actually work?38olcott
23 May 25  i i    i        i i ii +- Re: How do computations actually work?1Richard Damon
24 May 25  i i    i        i i ii `* Re: How do computations actually work?36Mikko
24 May 25  i i    i        i i ii  `* Re: How do computations actually work?35olcott
24 May 25  i i    i        i i ii   +- Re: How do computations actually work?1Richard Damon
25 May 25  i i    i        i i ii   `* Re: How do computations actually work?33Mikko
25 May 25  i i    i        i i ii    `* Re: How do computations actually work?32olcott
25 May 25  i i    i        i i ii     +* Re: How do computations actually work?19Fred. Zwarts
26 May 25  i i    i        i i ii     i`* Re: How do computations actually work?18olcott
27 May 25  i i    i        i i ii     i `* Re: How do computations actually work?17Mikko
27 May 25  i i    i        i i ii     i  `* Re: How do computations actually work?16olcott
28 May 25  i i    i        i i ii     i   `* Re: How do computations actually work?15Mikko
28 May 25  i i    i        i i ii     i    `* Re: How do computations actually work?14olcott
28 May 25  i i    i        i i ii     i     +* Re: How do computations actually work?9Fred. Zwarts
28 May 25  i i    i        i i ii     i     i`* Re: How do computations actually work?8olcott
29 May 25  i i    i        i i ii     i     i +- Re: How do computations actually work?1Richard Damon
29 May 25  i i    i        i i ii     i     i `* Re: How do computations actually work?6Fred. Zwarts
29 May 25  i i    i        i i ii     i     i  `* Re: How do computations actually work?5Richard Heathfield
30 May 25  i i    i        i i ii     i     i   `* Re: How do computations actually work?4Mikko
30 May 25  i i    i        i i ii     i     i    `* Re: How do computations actually work?3Richard Heathfield
30 May 25  i i    i        i i ii     i     i     `* Re: How do computations actually work?2olcott
31 May 25  i i    i        i i ii     i     i      `- Re: How do computations actually work?1Fred. Zwarts
29 May 25  i i    i        i i ii     i     +* Re: How do computations actually work?3Mikko
29 May 25  i i    i        i i ii     i     i`* Re: How do computations actually work?2Richard Heathfield
30 May 25  i i    i        i i ii     i     i `- Re: How do computations actually work?1Mikko
29 May 25  i i    i        i i ii     i     `- Re: How do computations actually work?1Richard Damon
26 May 25  i i    i        i i ii     `* Re: How do computations actually work?12Mikko
26 May 25  i i    i        i i ii      `* Re: How do computations actually work?11olcott
26 May 25  i i    i        i i ii       +* Re: How do computations actually work?9Fred. Zwarts
26 May 25  i i    i        i i ii       i`* Re: How do computations actually work?8olcott
26 May 25  i i    i        i i ii       i +* Re: How do computations actually work?2Fred. Zwarts
26 May 25  i i    i        i i ii       i i`- Re: How do computations actually work?1olcott
26 May 25  i i    i        i i ii       i +- Re: How do computations actually work?1Richard Damon
27 May 25  i i    i        i i ii       i `* Re: How do computations actually work?4Mikko
27 May 25  i i    i        i i ii       i  `* Re: How do computations actually work?3olcott
28 May 25  i i    i        i i ii       i   +- Re: How do computations actually work?1Richard Damon
28 May 25  i i    i        i i ii       i   `- Re: How do computations actually work?1Mikko
26 May 25  i i    i        i i ii       `- Re: How do computations actually work?1Richard Damon
23 May 25  i i    i        i i i+- Re: How do computations actually work?1Richard Damon
24 May 25  i i    i        i i i`* Re: How do computations actually work?21Mikko
24 May 25  i i    i        i i i `* Re: How do computations actually work?20olcott
24 May 25  i i    i        i i i  +- Re: How do computations actually work?1Richard Damon
25 May 25  i i    i        i i i  `* Re: How do computations actually work?18Mikko
25 May 25  i i    i        i i i   +* Re: How do computations actually work?4Richard Heathfield
25 May 25  i i    i        i i i   i`* Re: How do computations actually work?3Richard Damon
25 May 25  i i    i        i i i   i `* Re: How do computations actually work?2Richard Heathfield
25 May 25  i i    i        i i i   i  `- Re: How do computations actually work?1Richard Damon
25 May 25  i i    i        i i i   `* Re: How do computations actually work?13olcott
26 May 25  i i    i        i i i    `* Re: How do computations actually work?12Mikko
26 May 25  i i    i        i i i     `* Re: How do computations actually work?11olcott
27 May 25  i i    i        i i i      `* Re: How do computations actually work?10Mikko
27 May 25  i i    i        i i i       `* Re: How do computations actually work?9olcott
28 May 25  i i    i        i i i        +- Re: How do computations actually work?1Richard Damon
28 May 25  i i    i        i i i        `* Re: How do computations actually work?7Mikko
23 May 25  i i    i        i i +- Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC1Richard Heathfield
23 May 25  i i    i        i i +* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC8olcott
23 May 25  i i    i        i i `* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC159Ben Bacarisse
22 May 25  i i    i        i `- Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC1olcott
22 May 25  i i    i        `* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC48joes
23 May 25  i i    `* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC2Ben Bacarisse
21 May 25  i +* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC5Fred. Zwarts
22 May 25  i `* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC2Richard Damon
21 May 25  `- Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC1Richard Damon

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal