Article <v97auo$hgr5$1@dont-email.me>

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 <v97auo$hgr5$1@dont-email.me>

Deutsch English Français Italiano

<v97auo$hgr5$1@dont-email.me>

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

Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: comp.theory
Subject: Re: HHH maps its input to the behavior specified by it --- never reaches its halt state
Date: Sat, 10 Aug 2024 12:12:56 +0300
Organization: -
Lines: 35
Message-ID: <v97auo$hgr5$1@dont-email.me>
References: <v8jh7m$30k55$1@dont-email.me> <v8kp6s$3c5h2$2@dont-email.me> <v8ld1f$3f6vr$5@dont-email.me> <v8n9vm$3ume2$1@dont-email.me> <v8nsmt$1n09$5@dont-email.me> <v8q05j$ik30$1@dont-email.me> <c-WdnSXh_5bNdC37nZ2dnZfqlJwAAAAA@giganews.com> <v8v7fs$29ovd$1@dont-email.me> <v8vtle$32fso$13@dont-email.me> <v91ttk$3r3ua$1@dont-email.me> <v933nc$5r7u$3@dont-email.me> <v94n52$lpmp$1@dont-email.me> <v95aqr$p5rb$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 10 Aug 2024 11:12:57 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="e18655b9790b5cc94cf007c49f28b548";
	logging-data="574309"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18AtanzAbhtpPkoflwkVhEC"
User-Agent: Unison/2.2
Cancel-Lock: sha1:3fsWr+zoSm0hDWrTbJ1f/tGndpI=
Bytes: 2368

On 2024-08-09 14:58:34 +0000, olcott said:

> On 8/9/2024 4:22 AM, Mikko wrote:
>> On 2024-08-08 18:45:00 +0000, olcott said:
>> 
>>> 
>>> x86 machine code is a 100% exact and concrete specification.
>> 
>> But has too many unimportant details.
>> 
> 
> *After we get agreement on this*
> (a) The "return" instruction is the halt state of DDD.

It is not unless the stack pointer and base pointer contain the
same values they contained when DDD was entered.

> (b) DDD correctly emulated by any HHH never reaches this state.

The "DDD correctly emulated by any HHH" is too ambigous. If it is
not clear what is agreed then it is not clear that anyting is
agreed.

> Then we move on to the last step we I prove how important
> a 100% concrete specification is.

That need not be proven. Everyone believes if you say so.
Instead, you need to prove that you have an unambifous
specification, and in order to prove that you have one
you must have one. But can you show a full machine code
listing of ever HHH in an infinite set?

-- 
Mikko