Warning: mysqli::__construct(): (HY000/1203): User howardkn already has more than 'max_user_connections' active connections in D:\Inetpub\vhosts\howardknight.net\al.howardknight.net\includes\artfuncs.php on line 21
Failed to connect to MySQL: (1203) User howardkn already has more than 'max_user_connections' active connections
Warning: mysqli::query(): Couldn't fetch mysqli in D:\Inetpub\vhosts\howardknight.net\al.howardknight.net\index.php on line 66
Article <v6msbe$22g4i$2@dont-email.me>
Deutsch   English   Français   Italiano  
<v6msbe$22g4i$2@dont-email.me>

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

Path: ...!weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: sci.logic,comp.theory
Subject: Re: DDD correctly emulated by HHH is correctly rejected as
 non-halting.
Date: Wed, 10 Jul 2024 15:53:02 -0500
Organization: A noiseless patient Spider
Lines: 59
Message-ID: <v6msbe$22g4i$2@dont-email.me>
References: <v6m7si$1uq86$2@dont-email.me> <v6mhc7$20hbo$2@dont-email.me>
 <v6mito$bbr$1@news.muc.de> <v6mjlg$20sio$2@dont-email.me>
 <v6mlfj$bbr$2@news.muc.de> <v6ms4h$22g4i$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 10 Jul 2024 22:53:03 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="1ca7ba779153ded89a6e04f3275941c5";
	logging-data="2179218"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/+QSKjVWU7FTRLnjgffHEh"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:O675v6rJ2uWHEvWEEPuhyK1SnIE=
Content-Language: en-US
In-Reply-To: <v6ms4h$22g4i$1@dont-email.me>
Bytes: 3312

On 7/10/2024 3:49 PM, olcott wrote:
> On 7/10/2024 1:55 PM, Alan Mackenzie wrote:
>> Fred. Zwarts <F.Zwarts@hetnet.nl> wrote:
>>> Op 10.jul.2024 om 20:12 schreef Alan Mackenzie:
>>>> [ Followup-To: set ]
>>
>>>> In comp.theory Fred. Zwarts <F.Zwarts@hetnet.nl> wrote:
>>
>>>> [ .... ]
>>
>>>>> Proving that the simulation is incorrect. Because a correct simulation
>>>>> would not abort a halting program halfway its simulation.
>>
>>>> Just for clarity, a correct simulation wouldn't abort a non-halting
>>>> program either, would it?  Or have I misunderstood this correctness?
>>
>>>> [ .... ]
>>
>>
>>> A non-halting program cannot be simulated correctly in a finite time.
>>> So, it depends whether we can call it a correct simulation, when it does
>>> not abort. But, for some meaning of 'correct', indeed, a simulator
>>> should not abort a non-halting program either.
>>
>> OK, thanks!
>>
> 
> In other words he is saying that when you do
> 1 step correctly you did 0 steps correctly.
> 

In other words he is using deceitful weasel wording to
try to escape a truism.

We stipulate that the only measure of a correct emulation is the 
semantics of the x86 programming language. By this measure when 1 to ∞ 
steps of DDD are correctly emulated by each pure function x86 emulator 
HHH (of the infinite set of every HHH that can possibly exist) then DDD 
cannot possibly reach past its own machine address of 0000216b and halt.

_DDD()
[00002163] 55         push ebp      ; housekeeping
[00002164] 8bec       mov ebp,esp   ; housekeeping
[00002166] 6863210000 push 00002163 ; push DDD
[0000216b] e853f4ffff call 000015c3 ; call HHH(DDD)
[00002170] 83c404     add esp,+04
[00002173] 5d         pop ebp
[00002174] c3         ret
Size in bytes:(0018) [00002174]

On 10/14/2022 7:44 PM, Ben Bacarisse wrote:
 > But H determines (correctly) that D would not halt
 > if it were not halted.  That much is a truism.


-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer