Article <usscla$vvaq$2@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 <usscla$vvaq$2@dont-email.me>

Deutsch English Français Italiano

<usscla$vvaq$2@dont-email.me>

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

Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott2@gmail.com>
Newsgroups: sci.logic
Subject: Re: Proving my 2004 claim that some decider/input pairs are incorrect
 questions
Date: Wed, 13 Mar 2024 09:19:22 -0500
Organization: A noiseless patient Spider
Lines: 29
Message-ID: <usscla$vvaq$2@dont-email.me>
References: <usppqv$b9av$2@dont-email.me> <usrqij$sfh4$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 13 Mar 2024 14:19:22 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="aa13334f329e2006d1dfb90f9960e443";
	logging-data="1047898"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+24VvOc/y6O/jV3E/6L6Qf"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:DGzemBuOAi2d236wUwsA2M8E5Jg=
Content-Language: en-US
In-Reply-To: <usrqij$sfh4$1@dont-email.me>
Bytes: 2037

On 3/13/2024 4:10 AM, Mikko wrote:
> On 2024-03-12 14:45:51 +0000, olcott said:
> 
>> This is my 2004 work that proposes that the halting problem has
>> an unsatisfiable specification thus asks an ill-formed question.
> 
> The question "Is the specification of halt decider satisfiable?"
> is not ill-formed.
> 

Whenever undecidability is anchored epistemological antinomy
that means that the decider is trying to determine whether
a self-contradictory expression is true or false. All of these
cases are ill-formed.

The self-contradictory nature of the halting problem counter-example
input makes this input ill-formed.

....14 Every epistemological antinomy can likewise be used for a similar 
undecidability proof...
....We are therefore confronted with a proposition which asserts its own 
unprovability. 15 ...
(Gödel 1931:43-44)


-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer