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

Deutsch English Français Italiano

<v5e3n8$1ge18$1@dont-email.me>

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

Path: ...!feed.opticnetworks.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: Why do people here insist on denying these verified facts?
Date: Tue, 25 Jun 2024 12:47:20 +0300
Organization: -
Lines: 39
Message-ID: <v5e3n8$1ge18$1@dont-email.me>
References: <v56n8h$3pr25$1@dont-email.me> <v58ql8$9g3i$1@dont-email.me> <v597ju$brmn$2@dont-email.me> <v5b7f8$qu74$1@dont-email.me> <v5btit$v0vb$5@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 25 Jun 2024 11:47:20 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="adb9dedd968b23075048b094f9789384";
	logging-data="1587240"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19wRldrx/2PhsP+t6pi75Wz"
User-Agent: Unison/2.2
Cancel-Lock: sha1:CW1QCaRzeAZ2dK4j90ULGPBzCTQ=
Bytes: 2146

On 2024-06-24 13:50:20 +0000, olcott said:

> On 6/24/2024 2:32 AM, Mikko wrote:
>> On 2024-06-23 13:23:10 +0000, olcott said:
>> 
>>> On 6/23/2024 4:42 AM, Mikko wrote:
>>>> When the head line has the words "these verified facts" the message should
>>>> first tell what facts are "these verified facts" and who verified them
>>>> before any further discussion.
>>>> 
>>> 
>>> It is a verified fact that 2 + 3 = 5 according to the semantics
>>> of arithmetic. Anyone having an opinion that contradicts this is WRONG.
>> 
>> Sure, but that was not the first thing mentioned in the initial message.
>> 
> 
> 
> int P(ptr2 x)
> {
>    int Halt_Status = H(x, x);
>    if (Halt_Status)
>      HERE: goto HERE;
>    return Halt_Status;
> }
> 
> The call from P to H(P,P) when P is correctly emulated
> by H cannot possibly return.
> 
> The call from P to H(P,P) when P is correctly emulated
> by H1 DOES return.

Those two claims don't actually claim anything without a definition
of "correctly emulated" and a proof that they are correctly emlulated
both by H and H1.

-- 
Mikko