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

Deutsch English Français Italiano

<v1si8q$3bs0l$1@dont-email.me>

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

Path: ...!weretis.net!feeder9.news.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: Original halting problem proof review
Date: Mon, 13 May 2024 11:16:26 +0300
Organization: -
Lines: 14
Message-ID: <v1si8q$3bs0l$1@dont-email.me>
References: <v1r2g5$r5ta$3@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 13 May 2024 10:16:26 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="af833f273ffd7dd4a7bac54f0aad4cae";
	logging-data="3534869"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+1/muKNoQC8osJzsqGYq+X"
User-Agent: Unison/2.2
Cancel-Lock: sha1:EOBfsU4h0DsVOVi+AnvU4Rw0hEE=
Bytes: 1288

On 2024-05-12 18:41:09 +0000, joes said:

> Dear Peter,
> I would like you to explain in your own words
> why a halt decider is impossible.
> Also, what exactly your counterclaim is.

The original proof is by Turing but it is not about halting. The
proof Olcott used to attack was by Linz adapting Turing's proof
to the halting problem.

-- 
Mikko