Deutsch   English   Français   Italiano  
<fdcd7140ef71f12f42a99a9d5b720e1574b98920@i2pn2.org>

View for Bookmarking (what is this?)
Look up another Usenet article

Path: ...!eternal-september.org!feeder2.eternal-september.org!news.quux.org!news.nk.ca!rocksolid2!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory
Subject: Re: The philosophy of computation reformulates existing ideas on a
 new basis --- getting somewhere
Date: Sun, 3 Nov 2024 22:57:12 -0500
Organization: i2pn2 (i2pn.org)
Message-ID: <fdcd7140ef71f12f42a99a9d5b720e1574b98920@i2pn2.org>
References: <vfli1h$fj8s$1@dont-email.me>
 <bcd82d9f8a987d3884220c0df7b8f7204cb9de3e@i2pn2.org>
 <vfmueh$mqn9$1@dont-email.me>
 <ff039b922cabbb6d44f90aa71a52d8c2f446b6ab@i2pn2.org>
 <vfo95k$11qs1$1@dont-email.me> <vfp8c0$3tobi$2@i2pn2.org>
 <vfpbtq$1837o$2@dont-email.me> <vfq4h9$1fo1n$1@dont-email.me>
 <vfqrro$1jg6i$1@dont-email.me> <vfvnbk$2lj5i$1@dont-email.me>
 <vfvudo$2mcse$5@dont-email.me> <vg2c7p$379h1$1@dont-email.me>
 <vg2hei$37lpn$8@dont-email.me> <vg5030$3oo1p$1@dont-email.me>
 <vg56vn$3pnvp$2@dont-email.me> <vg7pab$bqa3$1@dont-email.me>
 <vg81v7$d0a1$2@dont-email.me>
 <f2a8c9b592f68732a079819dde95e29d6a1fd50c@i2pn2.org>
 <vg8fm9$fg4n$2@dont-email.me>
 <418c3ffcdca6ac4b1adc7f2a5f81f297000a5bdd@i2pn2.org>
 <vg8u0b$i9jj$5@dont-email.me>
 <2f2988b4d581398be9780ea082754d2a67bee1f6@i2pn2.org>
 <vg97j5$kb67$2@dont-email.me>
 <a89303e978559d2b152a014ad587e6f3defa323c@i2pn2.org>
 <vg98im$khai$1@dont-email.me>
 <b9a05a3897bb42f444e98f907bc9285a641415ab@i2pn2.org>
 <vg9efe$p463$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Mon, 4 Nov 2024 03:57:13 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="845944"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
Content-Language: en-US
X-Spam-Checker-Version: SpamAssassin 4.0.0
In-Reply-To: <vg9efe$p463$1@dont-email.me>
Bytes: 4793
Lines: 75

On 11/3/24 10:19 PM, olcott wrote:
> On 11/3/2024 7:46 PM, Richard Damon wrote:
>> On 11/3/24 8:38 PM, olcott wrote:
>>> On 11/3/2024 7:26 PM, Richard Damon wrote:
>>>> On 11/3/24 8:21 PM, olcott wrote:
>>>>>
>>>>> What would an unbounded emulation do?
>>>>>
>>>>
>>>> Keep on emulating for an unbounded number of steps.
>>>>
>>>> Something you don't seem to understand as part of the requirements.
>>>>
>>>> Non-Halting isn't just did reach a final state in some finite number 
>>>> of steps, but that it will NEVER reach a final state even if you 
>>>> process an unbounded number of steps.
>>>
>>> Would an unbounded emulation of DDD by HHH halt?
>>
>> Not a valid question, as your HHH does not do an unbounded emulation, 
>> but aborts after a defined time.
>>
> 
> *Now you are contradicting yourself*
> YOU JUST SAID THAT HHH NEED NOT DO AN UNBOUNDED
> EMULATION TO PREDICT WHAT AN UNBOUNDED EMULATION WOULD DO.

Right. it doesn't NEED to do the operation, just report what an 
unbounded emulation would do.

You asked about an "unbounded emulation of DDD by HHH" but that isn't 
possible, as HHH doesn't do that.

What HHH needs to report on is the results of the unbounded emulation 
done by some other machine, like a real UTM.

So, HHH(DDD) needs to report what UTM(DDD) would do, where that DDD in 
both cases calls the same HHH (and not be changed to call UTM).

Since HHH DOESN'T do that type of emulation, you can't ask what would 
happen if it did it, because if it did, it wouldn't be the same program 
HHH that DDD is to call.

All you are doing is showing you don't undetstand the basics of what 
programs are.

HHH is, and only is, the EXACT program it is coded, and if you change 
that code to something else, it is no longer that program.

You have shown that you like to try to LIE by mixing up different 
programs that you have given the same name to, so I am going to force 
you to be honest, and not allow that practice. And, since DDD is defined 
to call "HHH", as long as that DDD is in existance in the problem, it is 
INVALID to try to change that definition of HHH, as it creates a 
DIFFERENT input.

HHH is, and only is, the program it has been defined to be.

All you are doing is proving you are an ignorant fool that doesn't know 
what you are talking about, and doesn't care if what you say is actually 
true.

> 
> On 11/3/2024 12:20 PM, Richard Damon wrote:
>  > On 11/3/24 9:39 AM, olcott wrote:
>  >>
>  >> The finite string input to HHH specifies that HHH
>  >> MUST EMULATE ITSELF emulating DDD.
>  >
>  > Right, and it must CORRECTLY determine what an unbounded
>  > emulation of that input would do, even if its own programming
>  > only lets it emulate a part of that.
>  >
> 
>