Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--

Liste des GroupesRevenir à s logic 
Sujet : Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--
De : polcott2 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory sci.logic
Date : 16. Mar 2024, 06:15:43
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <ut36dg$2nm61$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13
User-Agent : Mozilla Thunderbird
On 3/15/2024 10:57 PM, immibis wrote:
On 16/03/24 04:29, olcott wrote:
On 3/15/2024 10:17 PM, immibis wrote:
On 16/03/24 03:18, olcott wrote:
It means that every H(D,D) that correctly determines by a partial
simulation of its input: "H correctly simulates its input D until"
that "D would never stop running unless aborted" that this H(D,D)
<is> necessarily correct.
>
And what does that mean?
>
saying non-halting as it now is looking at a TOTALLY new set of input.
>
You don't seem very "Exhaustive" in your reasoning.
>
>
// The categorically exhaustive part
For every H(D,D) of the infinite set of encodings of H
that simulate their input
>
And what does that mean?
>
I am trying to make my words as clear as possible so reviews
like this one are very helpful.
>
There cannot possibly exist any H(D,D) that is called by
D where H(D,D) simulates its input and D(D) stops running
and H never aborts its simulation.
 And what does THAT mean? What is "any H(D,D)"?
 
*software engineering and set theory*
Every C function named H(D,D) that simulates its input and
D(D) calls H(D,D) never stops running unless aborted by H.

I think you are probably using words in a different way than everyone else so it would be nice to understand your words as well as I understand Turing machines.
 
>
 >
 > *no D(D) ever stops running unless aborted by H*
>
 
--
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
15 Mar 24 * Proof that H(D,D) meets its abort criteria467olcott
15 Mar 24 +* Re: Proof that H(D,D) meets its abort criteria23immibis
15 Mar 24 i`* Re: Proof that H(D,D) meets its abort criteria22olcott
15 Mar 24 i +* Re: Proof that H(D,D) meets its abort criteria10Richard Damon
15 Mar 24 i i+* Re: Proof that H(D,D) meets its abort criteria6olcott
15 Mar 24 i ii+* Re: Proof that H(D,D) meets its abort criteria4olcott
15 Mar 24 i iii`* Re: Proof that H(D,D) meets its abort criteria3olcott
15 Mar 24 i iii `* Re: Proof that H(D,D) meets its abort criteria2olcott
15 Mar 24 i iii  `- Re: Proof that H(D,D) meets its abort criteria1olcott
15 Mar 24 i ii`- Re: Proof that H(D,D) meets its abort criteria1olcott
15 Mar 24 i i`* Re: Proof that H(D,D) meets its abort criteria3olcott
15 Mar 24 i i `* Re: Proof that H(D,D) meets its abort criteria2olcott
15 Mar 24 i i  `- Re: Proof that H(D,D) meets its abort criteria1Richard Damon
15 Mar 24 i `* Re: Proof that H(D,D) meets its abort criteria11immibis
15 Mar 24 i  `* Re: Proof that H(D,D) meets its abort criteria10olcott
15 Mar 24 i   `* Re: Proof that H(D,D) meets its abort criteria9olcott
15 Mar 24 i    `* Re: Proof that H(D,D) meets its abort criteria8Richard Damon
15 Mar 24 i     `* Re: Proof that H(D,D) meets its abort criteria7olcott
15 Mar 24 i      `* Re: Proof that H(D,D) meets its abort criteria6Richard Damon
15 Mar 24 i       `* Re: Proof that H(D,D) meets its abort criteria5olcott
16 Mar 24 i        `* Re: Proof that H(D,D) meets its abort criteria4Richard Damon
16 Mar 24 i         `* Re: Proof that H(D,D) meets its abort criteria3olcott
16 Mar 24 i          `* Re: Proof that H(D,D) meets its abort criteria2olcott
16 Mar 24 i           `- Re: Proof that H(D,D) meets its abort criteria1Richard Damon
15 Mar 24 +* Re: Proof that H(D,D) meets its abort criteria440Richard Damon
15 Mar 24 i`* Re: Proof that H(D,D) meets its abort criteria439olcott
15 Mar 24 i +* Re: Proof that H(D,D) meets its abort criteria11Richard Damon
15 Mar 24 i i`* Re: Proof that H(D,D) meets its abort criteria10olcott
15 Mar 24 i i +* Re: Proof that H(D,D) meets its abort criteria3immibis
15 Mar 24 i i i`* Re: Proof that H(D,D) meets its abort criteria2olcott
15 Mar 24 i i i `- Re: Proof that H(D,D) meets its abort criteria1olcott
15 Mar 24 i i `* Re: Proof that H(D,D) meets its abort criteria6olcott
15 Mar 24 i i  `* Re: Proof that H(D,D) meets its abort criteria5olcott
15 Mar 24 i i   +* Re: Proof that H(D,D) meets its abort criteria3olcott
15 Mar 24 i i   i+- Re: Proof that H(D,D) meets its abort criteria1olcott
16 Mar 24 i i   i`- Re: Obviously Olcott doesn't understand what his own words mean!1immibis
16 Mar 24 i i   `- Re: Proof that H(D,D) meets its abort criteria1immibis
15 Mar 24 i `* Re: Proof that H(D,D) meets its abort criteria427immibis
15 Mar 24 i  +* Re: Proof that H(D,D) meets its abort criteria425olcott
15 Mar 24 i  i+* Re: Proof that H(D,D) meets its abort criteria39immibis
15 Mar 24 i  ii+* Re: Proof that H(D,D) meets its abort criteria5olcott
15 Mar 24 i  iii+* Re: Proof that H(D,D) meets its abort criteria3olcott
17 Mar 24 i  iiii`* Re: Proof that H(D,D) meets its abort criteria --timing error--2olcott
17 Mar 24 i  iiii `- Re: Proof that H(D,D) meets its abort criteria --timing error--1olcott
16 Mar 24 i  iii`- Re: Proof that H(D,D) meets its abort criteria1immibis
16 Mar 24 i  ii+* Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--29olcott
16 Mar 24 i  iii+* Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--19olcott
16 Mar 24 i  iiii`* Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--18olcott
16 Mar 24 i  iiii `* Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--17olcott
16 Mar 24 i  iiii  +* Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--9olcott
16 Mar 24 i  iiii  i`* Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--8olcott
16 Mar 24 i  iiii  i `* Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--7immibis
16 Mar 24 i  iiii  i  `* Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--6olcott
16 Mar 24 i  iiii  i   +* Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--2immibis
16 Mar 24 i  iiii  i   i`- Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--1olcott
17 Mar 24 i  iiii  i   `* Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--3olcott
17 Mar 24 i  iiii  i    +- Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--1Richard Damon
17 Mar 24 i  iiii  i    `- Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--1immibis
16 Mar 24 i  iiii  `* Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--7immibis
16 Mar 24 i  iiii   `* Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--6olcott
16 Mar 24 i  iiii    +- Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--1immibis
17 Mar 24 i  iiii    `* Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--4Richard Damon
17 Mar 24 i  iiii     `* Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--3olcott
17 Mar 24 i  iiii      +- Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--1immibis
17 Mar 24 i  iiii      `- Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--1Richard Damon
16 Mar 24 i  iii`* Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--9immibis
16 Mar 24 i  iii `* Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--8olcott
16 Mar 24 i  iii  `* Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--7immibis
16 Mar 24 i  iii   `* Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--6olcott
16 Mar 24 i  iii    `* Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--5immibis
16 Mar 24 i  iii     `* Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--4olcott
16 Mar 24 i  iii      `* Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--3immibis
16 Mar 24 i  iii       `* Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--2olcott
16 Mar 24 i  iii        `- Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--1immibis
16 Mar 24 i  ii+* Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--3olcott
16 Mar 24 i  iii`* Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--2immibis
16 Mar 24 i  iii `- Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--1olcott
21 Mar 24 i  ii`- Re: Proof that H(D,D) meets its abort criteria--Mikes-rebuttal--1olcott
15 Mar 24 i  i`* Re: Proof that H(D,D) meets its abort criteria385olcott
15 Mar 24 i  i `* Re: Proof that H(D,D) meets its abort criteria384olcott
15 Mar 24 i  i  `* Re: Proof that H(D,D) meets its abort criteria --mistake--383olcott
16 Mar 24 i  i   `* Re: Proof that H(D,D) meets its abort criteria --mistake--382olcott
16 Mar 24 i  i    `* Re: Proof that H(D,D) meets its abort criteria --mistake--381olcott
16 Mar 24 i  i     +* Re: Proof that H(D,D) meets its abort criteria --mistake--363olcott
16 Mar 24 i  i     i`* Re: Proof that H(D,D) meets its abort criteria --mistake--362olcott
17 Mar 24 i  i     i `* Re: Proof that H(D,D) meets its abort criteria --mistake--361Richard Damon
17 Mar 24 i  i     i  `* Re: Proof that H(D,D) meets its abort criteria --self-evident truth--360olcott
17 Mar 24 i  i     i   +* Re: Proof that H(D,D) meets its abort criteria --self-evident truth--25immibis
17 Mar 24 i  i     i   i`* Re: Proof that H(D,D) meets its abort criteria --self-evident truth--24olcott
17 Mar 24 i  i     i   i +* Re: Proof that H(D,D) meets its abort criteria --self-evident truth--16Richard Damon
17 Mar 24 i  i     i   i i`* Re: Proof that H(D,D) meets its abort criteria --self-evident truth--15olcott
17 Mar 24 i  i     i   i i `* Re: Proof that H(D,D) meets its abort criteria --self-evident truth--14Richard Damon
17 Mar 24 i  i     i   i i  `* Re: Proof that H(D,D) meets its abort criteria --self-evident truth--13olcott
17 Mar 24 i  i     i   i i   `* Re: Proof that H(D,D) meets its abort criteria --self-evident truth--12Richard Damon
17 Mar 24 i  i     i   i i    `* Re: Proof that H(D,D) meets its abort criteria --self-evident truth--11olcott
17 Mar 24 i  i     i   i i     +* Re: Proof that H(D,D) meets its abort criteria --self-evident truth--9Richard Damon
17 Mar 24 i  i     i   i i     i`* Re: Proof that H(D,D) meets its abort criteria --self-evident truth--8olcott
17 Mar 24 i  i     i   i i     i `* Re: Proof that H(D,D) meets its abort criteria --self-evident truth--7Richard Damon
17 Mar 24 i  i     i   i i     i  `* Re: Proof that H(D,D) meets its abort criteria --self-evident truth--6olcott
17 Mar 24 i  i     i   i i     i   `* Re: Proof that H(D,D) meets its abort criteria --self-evident truth--5Richard Damon
17 Mar 24 i  i     i   i i     i    `* Re: Proof that H(D,D) meets its abort criteria --self-evident truth--4olcott
17 Mar 24 i  i     i   i i     `- Re: Proof that H(D,D) meets its abort criteria --self-evident truth--1immibis
17 Mar 24 i  i     i   i `* Re: Proof that H(D,D) meets its abort criteria --self-evident truth--7immibis
17 Mar 24 i  i     i   `* Re: Proof that H(D,D) meets its abort criteria --self-evident truth--334Richard Damon
16 Mar 24 i  i     `* Re: Proof that H(D,D) meets its abort criteria --mistake--17immibis
15 Mar 24 i  `- Re: Proof that H(D,D) meets its abort criteria1Richard Damon
15 Mar 24 `* Re: Proof that H(D,D) meets its abort criteria --moved dialogue--3olcott

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal