Path: ...!3.eu.feeder.erje.net!feeder.erje.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: Mikko Newsgroups: comp.theory Subject: Re: Can D simulated by H terminate normally? Date: Sun, 5 May 2024 11:08:37 +0300 Organization: - Lines: 57 Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Sun, 05 May 2024 10:08:38 +0200 (CEST) Injection-Info: dont-email.me; posting-host="b9d6f5138f29339683dcbf59468f91f0"; logging-data="1852114"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/86YvCgAyHcGRQp/9hCvjL" User-Agent: Unison/2.2 Cancel-Lock: sha1:3x1VQO4GtV6B0mRVKzwXy+h1v2Q= Bytes: 3886 On 2024-05-04 13:51:48 +0000, olcott said: > On 5/4/2024 4:26 AM, Mikko wrote: >> On 2024-05-03 11:40:20 +0000, olcott said: >> >>> On 5/3/2024 4:17 AM, Mikko wrote: >>>> On 2024-05-02 14:50:53 +0000, olcott said: >>>> >>>>> On 5/2/2024 4:16 AM, Mikko wrote: >>>>>> On 2024-05-02 03:22:29 +0000, olcott said: >>>>>> >>>>>>> When I had to make changes to Bank's the VISA credit card system >>>>>>> I had to re-read the VISA change document fifteen times before >>>>>>> I was confident that I understood every relevant detail. >>>>>> >>>>>> It's only because there was no detail that you could not accept. >>>>>> Had there been one you could have stopped reading as soon you >>>>>> found it, perhaps even before reading first time to the end. >>>>>> >>>>> >>>>> It was because 99% of the details did not apply to my system >>>>> that I had to carefully study all of the details to see which >>>>> ones applied. >>>>> >>>>>> Likewise with your proofs: as soon as one error is found there >>>>>> is no need to read further in order to determine that the proof >>>>>> is erroneous. >>>>>> >>>>> >>>>> There is no error in this and it is a verified fact not requiring >>>>> any subjective judgement call: >>>>> >>>>> (a) It is a verified fact that D(D) simulated by H cannot >>>>> possibly reach past line 03 of D(D) simulated by H whether H >>>>> aborts its simulation or not. >>>> >>>> The use of an ambigouos expression "D(D) simulated by H" can >>>> be regarded as an error. >>>> >>> >>> Perhaps you C skills are not that great? >> >> As "D(D) simulated by H" is not strictly conforming C and is not >> presented as such, my C skills are not relevant. >> > > Ah so it is like I guessed. > I am not sure exact what strictly conforming C is, > probably ISO standard C. It is the set of programs whose behaviour is independent of the C implementation (i.e., compiler and execution environment) as long as it is coforming. More detalis in C standard. -- Mikko