Article <v9n4oj$1cobq$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 <v9n4oj$1cobq$1@dont-email.me>

Deutsch English Français Italiano

<v9n4oj$1cobq$1@dont-email.me>

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

Path: ...!news.nobody.at!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: Proof that DDD specifies non-halting behavior --- point by point --- in our head
Date: Fri, 16 Aug 2024 12:05:23 +0300
Organization: -
Lines: 32
Message-ID: <v9n4oj$1cobq$1@dont-email.me>
References: <v9gv4k$4sc4$1@dont-email.me> <561f876601b0329c0260bac26f8b6dfb6e28647f@i2pn2.org> <v9h5af$9jn6$1@dont-email.me> <aa4bc24ac5642087e81796fffc31e5022bd8823e@i2pn2.org> <v9h9ec$a0id$1@dont-email.me> <190847da05ab48555c036a799e768f555461eb43@i2pn2.org> <v9hbhm$abr9$1@dont-email.me> <28bda6bb7d9efdacadf3de76c85a4857d0f83cb3@i2pn2.org> <v9ibpq$f16v$4@dont-email.me> <be041261e6d47d07a3b29255dc408e6803d870ad@i2pn2.org> <v9jnm0$q0lv$1@dont-email.me> <v9klf4$u594$1@dont-email.me> <v9la7f$113gd$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 16 Aug 2024 11:05:24 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="6a07fdd64951d0e7174b4620f03bdd40";
	logging-data="1466746"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX190dOmmAN3SndeAmkc4gKak"
User-Agent: Unison/2.2
Cancel-Lock: sha1:ItceAckqEuNb+bLlS6/qyCQDOjQ=
Bytes: 2375

On 2024-08-15 16:26:21 +0000, olcott said:

> On 8/15/2024 5:32 AM, Mikko wrote:
>> On 2024-08-15 02:03:44 +0000, olcott said:
>> 
>>> On 8/14/2024 6:40 PM, Richard Damon wrote:
>>>> Note, its "Behavior" is defined as what it would do when run, even if 
>>>> it never is,
>>>> 
>>> 
>>> No that is the big mistake of comp theory where it violates
>>> its own rules.
>> 
>> The big mistake is yours where you violate the rules of computation
>> theory and honest discussion.
>> 
> 
> It is at least the case that conventional halting
> problem proofs violate one of the rules of the theory
> of computation.

At least the proof by Linz does not violate the rules as specified in
Linz' book. Other authors may specify different rules for the theory
of computation.

Anyway, a vague cliam like that does not really mean anything. If it
were about a specific violation of a specific rule then it might be
worth of some consideration.

-- 
Mikko