Article <v40rl0$2g7gn$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 <v40rl0$2g7gn$1@dont-email.me>

Deutsch English Français Italiano

<v40rl0$2g7gn$1@dont-email.me>

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

Path: ...!weretis.net!feeder8.news.weretis.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: Proof that DD correctly simulated by HH provides the correct halt status criteria
Date: Sat, 8 Jun 2024 08:53:36 +0300
Organization: -
Lines: 9
Message-ID: <v40rl0$2g7gn$1@dont-email.me>
References: <v3vv8a$287qb$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 08 Jun 2024 07:53:37 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="701ca2b626bc5ff9a5c97350cec21277";
	logging-data="2629143"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19Y7oHMSpn/oBu/NQcTxHoI"
User-Agent: Unison/2.2
Cancel-Lock: sha1:rrOMvVs2kSxf9tZBoKNXeEs1V+4=
Bytes: 1139

On 2024-06-07 21:48:57 +0000, olcott said:

> *That no counter-example to the following exists proves that it is true*

Not wihout a proof that no counter-example exists.

-- 
Mikko