Re: Everyone on this forum besides Keith has been a damned liar about this point

Liste des GroupesRevenir à c theory 
Sujet : Re: Everyone on this forum besides Keith has been a damned liar about this point
De : dbush.mobile (at) *nospam* gmail.com (dbush)
Groupes : comp.theory sci.logic comp.ai.philosophy
Date : 09. Jun 2025, 04:08:05
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <1025j6l$4nm5$1@dont-email.me>
References : 1
User-Agent : Mozilla Thunderbird
On 6/8/2025 10:50 PM, olcott wrote:
void DDD()
{
   HHH(DDD);
   return;
}
 The *input* to simulating termination analyzer HHH(DDD)
No it's not, as halt deciders / termination analyzers work with algorithms, but you HHH does not by your own admission:
On 5/13/2025 9:54 PM, dbush wrote:
 > On 5/13/2025 9:48 PM, olcott wrote:
 >> On 5/13/2025 8:31 PM, dbush wrote:
 >>> On 5/13/2025 9:27 PM, olcott wrote:
 >>>> On 5/13/2025 8:07 PM, dbush wrote:
 >>>>> On 5/13/2025 5:30 PM, olcott wrote:
 >>>>>> On 5/13/2025 6:43 AM, Richard Damon wrote:
 >>>>>>> On 5/13/25 12:52 AM, olcott wrote:
 >>>>>>>> *simulated D would never stop running unless aborted*
 >>>>>>>> or they themselves could become non-terminating.
 >>>>>>>
 >>>>>>> But you aren't simulating the same PROGRAM D that the original
 >>>>>>> was given.
 >>>>>>>
 >>>>>>
 >>>>>> It is not supposed to be the same program.
 >>>>>
 >>>>> So you *explicitly* admit to changing the input.
 >>>>>
 >>>>
 >>>> The finite string of DD is specific sequence bytes.
 >>>
 >>> Which includes the specific sequence of bytes that is the finite
 >>> string HHH
 >>>
 >>
 >> No it does not. A function calls is not macro inclusion.
 >>
 >
 > Then you admit that your HHH not deciding about algorithms and therefore
 > has nothing to do with the halting problem.
 >
On 6/7/2025 10:56 AM, dbush wrote:
 > On 6/7/2025 10:54 AM, olcott wrote:
 >> On 6/7/2025 9:51 AM, dbush wrote:
 >>> On 6/7/2025 10:32 AM, olcott wrote:
 >>>> The next instruction of DDD that HHH emulates is at
 >>>> the machine address of 00002183.
 >>>>
 >>>> The next instruction of DDD that HHH1 emulates is at
 >>>> the machine address of 00002190.
 >>>
 >>> False.
 >>>
 >>> The next instruction of DDD that both HHH and HHH1 emulates is at the
 >>> machine address of 000015c3,
 >>
 >> *That is not an instruction of DDD*
 >> *That is not an instruction of DDD*
 >> *That is not an instruction of DDD*
 >> *That is not an instruction of DDD*
 >
 > In other words, you're not operating on algorithms.  And since the
 > halting problem is about algorithms, what you're working on has nothing
 > to do with the halting problem.
 >
 > If you would just be honest about the fact that you're not working on
 > the halting problem, people would stop bothering you.

Date Sujet#  Auteur
9 Jun 25 * Everyone on this forum besides Keith has been a damned liar about this point176olcott
9 Jun 25 +* Re: Everyone on this forum besides Keith has been a damned liar about this point123dbush
9 Jun 25 i`* Re: Everyone on this forum besides Keith has been a damned liar about this point122olcott
9 Jun 25 i +* Re: Everyone on this forum besides Keith has been a damned liar about this point119dbush
9 Jun 25 i i`* Re: Everyone on this forum besides Keith has been a damned liar about this point118olcott
9 Jun 25 i i `* Re: Everyone on this forum besides Keith has been a damned liar about this point117dbush
9 Jun 25 i i  `* Re: Everyone on this forum besides Keith has been a damned liar about this point116olcott
9 Jun 25 i i   +* Re: Everyone on this forum besides Keith has been a damned liar about this point53Fred. Zwarts
9 Jun 25 i i   i`* Re: Everyone on this forum besides Keith has been a damned liar about this point52olcott
10 Jun 25 i i   i +* Re: Everyone on this forum besides Keith has been a damned liar about this point43Richard Damon
10 Jun 25 i i   i i+* Re: Everyone on this forum besides Keith has been a damned liar about this point39olcott
10 Jun 25 i i   i ii+* Re: Everyone on this forum besides Keith has been a damned liar about this point3Richard Damon
10 Jun 25 i i   i iii`* Re: Everyone on this forum besides Keith has been a damned liar about this point2olcott
10 Jun 25 i i   i iii `- Re: Everyone on this forum besides Keith has been a damned liar about this point1Richard Damon
10 Jun 25 i i   i ii`* Re: Everyone on this forum besides Keith has been a damned liar about this point35Mikko
10 Jun 25 i i   i ii +* Re: Everyone on this forum besides Keith has been a damned liar about this point23olcott
10 Jun 25 i i   i ii i+- Re: Everyone on this forum besides Keith has been a damned liar about this point1Richard Damon
11 Jun 25 i i   i ii i`* Re: Everyone on this forum besides Keith has been a damned liar about this point21Mikko
11 Jun 25 i i   i ii i `* Re: Everyone on this forum besides Keith has been a damned liar about this point20olcott
11 Jun 25 i i   i ii i  +- Re: Everyone on this forum besides Keith has been a damned liar about this point1Richard Damon
13 Jun 25 i i   i ii i  `* Re: Everyone on this forum besides Keith has been a damned liar about this point18Mikko
14 Jun 25 i i   i ii i   `* The input to HHH(DDD) specifies a non-halting sequence of configurations +++17olcott
15 Jun 25 i i   i ii i    +* Re: The input to HHH(DDD) specifies a non-halting sequence of configurations +++10Fred. Zwarts
15 Jun 25 i i   i ii i    i+* Re: The input to HHH(DDD) specifies a non-halting sequence of configurations +++7olcott
15 Jun 25 i i   i ii i    ii+- Re: The input to HHH(DDD) specifies a non-halting sequence of configurations +++1Richard Damon
16 Jun 25 i i   i ii i    ii+- Re: The input to HHH(DDD) specifies a non-halting sequence of configurations +++1Fred. Zwarts
16 Jun 25 i i   i ii i    ii`* Re: The input to HHH(DDD) specifies a non-halting sequence of configurations +++4Mikko
16 Jun 25 i i   i ii i    ii `* Re: The input to HHH(DDD) specifies a non-halting sequence of configurations +++3olcott
17 Jun 25 i i   i ii i    ii  +- Re: The input to HHH(DDD) specifies a non-halting sequence of configurations +++1Richard Damon
17 Jun 25 i i   i ii i    ii  `- Re: The input to HHH(DDD) specifies a non-halting sequence of configurations +++1Mikko
15 Jun 25 i i   i ii i    i`* Re: The input to HHH(DDD) specifies a non-halting sequence of configurations +++2olcott
16 Jun 25 i i   i ii i    i `- Re: The input to HHH(DDD) specifies a non-halting sequence of configurations +++1Fred. Zwarts
15 Jun 25 i i   i ii i    `* Re: The input to HHH(DDD) specifies a non-halting sequence of configurations +++6Mikko
15 Jun 25 i i   i ii i     `* Re: The input to HHH(DDD) specifies a non-halting sequence of configurations +++5olcott
16 Jun 25 i i   i ii i      +- Re: The input to HHH(DDD) specifies a non-halting sequence of configurations +++1Fred. Zwarts
16 Jun 25 i i   i ii i      `* Re: The input to HHH(DDD) specifies a non-halting sequence of configurations +++3Mikko
16 Jun 25 i i   i ii i       `* Re: The input to HHH(DDD) specifies a non-halting sequence of configurations +++2olcott
17 Jun 25 i i   i ii i        `- Re: The input to HHH(DDD) specifies a non-halting sequence of configurations +++1Richard Damon
10 Jun 25 i i   i ii `* Re: Everyone on this forum besides Keith has been a damned liar about this point11Mike Terry
10 Jun 25 i i   i ii  `* Mike can't even count to eight --- HHH(DDD)10olcott
10 Jun 25 i i   i ii   +* Re: Mike can't even count to eight --- HHH(DDD)8Mike Terry
10 Jun 25 i i   i ii   i+* Re: Mike can't even count to eight --- HHH(DDD)4olcott
10 Jun 25 i i   i ii   ii`* Re: Mike can't even count to eight --- HHH(DDD)3Richard Damon
10 Jun 25 i i   i ii   ii `* Re: Mike can't even count to eight --- HHH(DDD)2olcott
11 Jun 25 i i   i ii   ii  `- Re: Mike can't even count to eight --- HHH(DDD)1Richard Damon
10 Jun 25 i i   i ii   i`* Re: Mike can't even count to eight --- HHH(DDD)3Mike Terry
10 Jun 25 i i   i ii   i `* Re: Mike can't even count to eight --- HHH(DDD)2olcott
11 Jun 25 i i   i ii   i  `- Re: Mike can't even count to eight --- HHH(DDD)1Fred. Zwarts
10 Jun 25 i i   i ii   `- Re: Mike can't even count to eight --- HHH(DDD)1Richard Damon
10 Jun 25 i i   i i`* Re: Everyone on this forum besides Keith has been a damned liar about this point3Richard Heathfield
10 Jun 25 i i   i i `* Re: Everyone on this forum besides Keith has been a damned liar about this point2olcott
10 Jun 25 i i   i i  `- Re: Everyone on this forum besides Keith has been a damned liar about this point1Richard Damon
10 Jun 25 i i   i `* Re: Everyone on this forum besides Keith has been a damned liar about this point8Fred. Zwarts
10 Jun 25 i i   i  `* Re: Everyone on this forum besides Keith has been a damned liar about this point7olcott
10 Jun 25 i i   i   +* Re: Everyone on this forum besides Keith has been a damned liar about this point3joes
10 Jun 25 i i   i   i`* Re: Everyone on this forum besides Keith has been a damned liar about this point2olcott
11 Jun 25 i i   i   i `- Re: Everyone on this forum besides Keith has been a damned liar about this point1Richard Damon
11 Jun 25 i i   i   `* Re: Everyone on this forum besides Keith has been a damned liar about this point3Fred. Zwarts
11 Jun 25 i i   i    `* Re: Everyone on this forum besides Keith has been a damned liar about this point2olcott
11 Jun 25 i i   i     `- Re: Everyone on this forum besides Keith has been a damned liar about this point1Richard Damon
9 Jun 25 i i   `* Re: Everyone on this forum besides Keith has been a damned liar about this point62dbush
9 Jun 25 i i    `* Re: Everyone on this forum besides Keith has been a damned liar about this point61olcott
9 Jun 25 i i     `* Re: Everyone on this forum besides Keith has been a damned liar about this point60dbush
9 Jun 25 i i      `* Re: Everyone on this forum besides Keith has been a damned liar about this point59olcott
9 Jun 25 i i       +* Re: Everyone on this forum besides Keith has been a damned liar about this point55dbush
9 Jun 25 i i       i`* Re: Everyone on this forum besides Keith has been a damned liar about this point54olcott
9 Jun 25 i i       i `* Re: Everyone on this forum besides Keith has been a damned liar about this point53dbush
9 Jun 25 i i       i  +* Re: Everyone on this forum besides Keith has been a damned liar about this point51olcott
9 Jun 25 i i       i  i`* Re: Everyone on this forum besides Keith has been a damned liar about this point50dbush
9 Jun 25 i i       i  i +* Re: Everyone on this forum besides Keith has been a damned liar about this point48olcott
9 Jun 25 i i       i  i i+* Re: Everyone on this forum besides Keith has been a damned liar about this point44dbush
9 Jun 25 i i       i  i ii`* Re: Everyone on this forum besides Keith has been a damned liar about this point43olcott
9 Jun 25 i i       i  i ii +- Re: Everyone on this forum besides Keith has been a damned liar about this point1dbush
9 Jun 25 i i       i  i ii `* Re: Everyone on this forum besides Keith has been a damned liar about this point41dbush
9 Jun 25 i i       i  i ii  `* Re: Everyone on this forum besides Keith has been a damned liar about this point40olcott
9 Jun 25 i i       i  i ii   `* Re: Everyone on this forum besides Keith has been a damned liar about this point39dbush
9 Jun 25 i i       i  i ii    `* Re: Everyone on this forum besides Keith has been a damned liar about this point38olcott
9 Jun 25 i i       i  i ii     `* Re: Everyone on this forum besides Keith has been a damned liar about this point37dbush
9 Jun 25 i i       i  i ii      `* Re: Everyone on this forum besides Keith has been a damned liar about this point36olcott
9 Jun 25 i i       i  i ii       `* Re: Everyone on this forum besides Keith has been a damned liar about this point35dbush
9 Jun 25 i i       i  i ii        `* Re: Everyone on this forum besides Keith has been a damned liar about this point34olcott
9 Jun 25 i i       i  i ii         `* Re: Everyone on this forum besides Keith has been a damned liar about this point33dbush
9 Jun 25 i i       i  i ii          `* Re: Everyone on this forum besides Keith has been a damned liar about this point32olcott
9 Jun 25 i i       i  i ii           `* Re: Everyone on this forum besides Keith has been a damned liar about this point31dbush
9 Jun 25 i i       i  i ii            `* Re: Everyone on this forum besides Keith has been a damned liar about this point30olcott
9 Jun 25 i i       i  i ii             `* Re: Everyone on this forum besides Keith has been a damned liar about this point29dbush
9 Jun 25 i i       i  i ii              `* Re: Everyone on this forum besides Keith has been a damned liar about this point28olcott
9 Jun 25 i i       i  i ii               +* Re: Everyone on this forum besides Keith has been a damned liar about this point14dbush
9 Jun 25 i i       i  i ii               i`* Re: Everyone on this forum besides Keith has been a damned liar about this point13olcott
9 Jun 25 i i       i  i ii               i `* Re: Everyone on this forum besides Keith has been a damned liar about this point12dbush
9 Jun 25 i i       i  i ii               i  `* Re: Everyone on this forum besides Keith has been a damned liar about this point11olcott
9 Jun 25 i i       i  i ii               i   `* Re: Everyone on this forum besides Keith has been a damned liar about this point10dbush
9 Jun 25 i i       i  i ii               i    `* Re: Everyone on this forum besides Keith has been a damned liar about this point9olcott
9 Jun 25 i i       i  i ii               i     `* Re: Everyone on this forum besides Keith has been a damned liar about this point8dbush
9 Jun 25 i i       i  i ii               i      `* Re: Everyone on this forum besides Keith has been a damned liar about this point7olcott
9 Jun 25 i i       i  i ii               i       +* Re: Everyone on this forum besides Keith has been a damned liar about this point4dbush
9 Jun 25 i i       i  i ii               i       i+- Re: Everyone on this forum besides Keith has been a damned liar about this point1olcott
10 Jun 25 i i       i  i ii               i       i+- Re: Everyone on this forum besides Keith has been a damned liar about this point1olcott
10 Jun 25 i i       i  i ii               i       i`- Re: Everyone on this forum besides Keith has been a damned liar about this point1olcott
9 Jun 25 i i       i  i ii               i       `* Re: Everyone on this forum besides Keith has been a damned liar about this point2dbush
9 Jun 25 i i       i  i ii               i        `- Re: Everyone on this forum besides Keith has been a damned liar about this point1olcott
9 Jun 25 i i       i  i ii               `* Re: Everyone on this forum besides Keith has been a damned liar about this point13dbush
10 Jun 25 i i       i  i i`* Re: Everyone on this forum besides Keith has been a damned liar about this point3Mikko
9 Jun 25 i i       i  i `- Re: Everyone on this forum besides Keith has been a damned liar about this point1olcott
9 Jun 25 i i       i  `- Re: Everyone on this forum besides Keith has been a damned liar about this point1olcott
10 Jun 25 i i       `* Re: Everyone on this forum besides Keith has been a damned liar about this point3Mikko
9 Jun 25 i `* Re: Everyone on this forum besides Keith has been a damned liar about this point2Richard Damon
9 Jun 25 +* Re: Everyone on this forum besides Keith has been a damned liar about this point14Keith Thompson
9 Jun 25 +* Re: Everyone on this forum besides Keith has been a damned liar about this point7Mikko
9 Jun 25 `* Re: Everyone on this forum besides Keith has been a damned liar about this point31Richard Damon

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal