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 <veaved$3jher$1@dont-email.me>
Deutsch   English   Français   Italiano  
<veaved$3jher$1@dont-email.me>

View for Bookmarking (what is this?)
Look up another Usenet article 
Path: eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Andy Walker <anw@cuboid.co.uk>
Newsgroups: comp.theory
Subject: Re: Another proof: The Halting Problem Is Undecidable.
Date: Fri, 11 Oct 2024 11:42:21 +0100
Organization: Not very much
Lines: 14
Message-ID: <veaved$3jher$1@dont-email.me>
References: <789da1c7da825d24f5298891efae209a44535ca5.camel@gmail.com>
 <0cf5c2dd4c7f1042c1d52ea45a30847ea4bc3e38.camel@gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Fri, 11 Oct 2024 12:42:22 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="742067e2fef5c4054edacad1b9da1b59";
	logging-data="3786203"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+K1sWsh+sVGZVZU1JzN5bn"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:YJiIaSIaBEeHzmZ2GAOQFCcwLdI=
In-Reply-To: <0cf5c2dd4c7f1042c1d52ea45a30847ea4bc3e38.camel@gmail.com>
Content-Language: en-GB

On 10/10/2024 16:26, wij wrote:
> This "0.999...!=1" proof [...].

	Any such proof would breach the Archimedean [Eudoxus] axiom, so
is not a proof about the real numbers.  You have been told that before.
If you propose to repeat this or to take it further, you /really, really/
do need to tell us what axioms you are using instead of those of the real
numbers.  Without that, your claims, whatever they may be, are worthless,
and no-one qualified to do so can comment more usefully.  WIYF.

-- 
Andy Walker, Nottingham.
    Andy's music pages: www.cuboid.me.uk/andy/Music
    Composer of the day: www.cuboid.me.uk/andy/Music/Composers/Valentine