Article <v8506m$3s27b$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 <v8506m$3s27b$1@dont-email.me>

Deutsch English Français Italiano

<v8506m$3s27b$1@dont-email.me>

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

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 <mikko.levanto@iki.fi>
Newsgroups: comp.theory
Subject: Re: No decider is ever accountable for the behavior of the computation that itself is contained within
Date: Sun, 28 Jul 2024 11:40:54 +0300
Organization: -
Lines: 39
Message-ID: <v8506m$3s27b$1@dont-email.me>
References: <v80irs$2tlb5$1@dont-email.me> <v828ju$3a1gf$1@dont-email.me> <v82vpu$3dftr$6@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 28 Jul 2024 10:40:54 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="1e2c5978fba8d101c2f8131c12c4214d";
	logging-data="4065515"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/YtKBBmVN5bGD1Cjgn1ROw"
User-Agent: Unison/2.2
Cancel-Lock: sha1:WvwmqPUxOPtz4qFenknqddK8FjE=
Bytes: 2245

On 2024-07-27 14:21:50 +0000, olcott said:

> On 7/27/2024 2:46 AM, Mikko wrote:
>> On 2024-07-26 16:28:43 +0000, olcott said:
>> 
>>> No decider is ever accountable for the behavior of the
>>> computation that itself is contained within.
>> 
>> That claim is fully unjustified. How do you even define "accountable"
>> in the context of computations, automata, and deciders?
> 
> int sum(int x, int y){ return x + y; }
> sum(5,6) is not accountable for reporting sum(3,2).

That claim is fully unjustified. How do you even define "accountable"
in the context of computations, automata, and deciders?

> It computes the mapping from its input to the value of their sum.

That's obvious but is it relevant?

> HHH must compute the mapping from its input finite string
> of the x86 machine code of DDD to the behavior that this
> finite string specifies and then report on the halt status
> of this behavior.

Now is that relevant?

Besides, what does the word "must" mean?
And what justifies that "must"?

> The input to HHH(DDD) specifies the equivalent of infinite
> recursion as fully elaborated in another reply.

That claim is not proven but is it relevant here?

-- 
Mikko