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 <v3miqa$303qa$2@i2pn2.org>
Deutsch   English   Français   Italiano  
<v3miqa$303qa$2@i2pn2.org>

View for Bookmarking (what is this?)
Look up another Usenet article 
Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: joes <noreply@example.com>
Newsgroups: comp.theory
Subject: Re: Why does Olcott care about simulation, anyway? --- Ben's Review
Date: Tue, 4 Jun 2024 08:21:30 -0000 (UTC)
Organization: i2pn2 (i2pn.org)
Message-ID: <v3miqa$303qa$2@i2pn2.org>
References: <v3j20v$3gm10$2@dont-email.me>
	<J_CdnTaA96jxpcD7nZ2dnZfqnPudnZ2d@brightview.co.uk>
	<87h6eamkgf.fsf@bsb.me.uk> <v3kcdj$3stk9$1@dont-email.me>
	<v3kjs9$3u7ng$1@dont-email.me> <v3l16f$5d3$4@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 4 Jun 2024 08:21:30 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="3149642"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="nS1KMHaUuWOnF/ukOJzx6Ssd8y16q9UPs1GZ+I3D0CM";
User-Agent: Pan/0.145 (Duplicitous mercenary valetism; d7e168a
 git.gnome.org/pan2)
X-Spam-Checker-Version: SpamAssassin 4.0.0
Bytes: 2177
Lines: 27

Am Mon, 03 Jun 2024 13:14:39 -0500 schrieb olcott:
> On 6/3/2024 9:27 AM, Mikko wrote:
>> On 2024-06-03 12:20:01 +0000, olcott said:
>>> On 6/3/2024 4:42 AM, Ben Bacarisse wrote:
>>>> Mike Terry <news.dead.person.stones@darjeeling.plus.com> writes:
>>>>
>>>> He has quite explicitly stated that false (0) is the correct result
>>>> for H(D,D) "even though D(D) halts".  I am mystified why anyone
>>>> continues to discuss the matter until he equally explicitly
>>>> repudiates that claim.
>>>>
>>> Deciders only compute the mapping *from their inputs* to their own
>>> accept or reject state.
>> 
>> That does not restrict what a problem statement can specify.
>> If the computed mapping differs from the specified one the decider does
>> not solve the problem.
>> 
> int sum(int x, int y) { return x + y; } sum(2,3) cannot return the sum
> of 5 + 6.
> 
> DD correctly simulated by HH does have provably different behavior than
> DD(DD) so HH is is not allowed to report on the behavior of DD(DD).
Huh? Then HH is not a correct simulator if it produces different
behaviour. Why is it not allowed?

-- 
joes