Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: Formal systems that cannot possibly be incomplete except for
 unknowns and unknowable
Date: Wed, 7 May 2025 12:55:53 -0500
Organization: A noiseless patient Spider
Lines: 47
Message-ID: <vvg6r9$15e69$1@dont-email.me>
References: <vv97ft$3fg66$1@dont-email.me>
 <b47c9e70d415c1e5e469aaab846f0bd05e4bcc51@i2pn2.org>
 <vvall0$o6v5$1@dont-email.me> <vvc33h$25atc$1@dont-email.me>
 <vvcgja$1voc$1@news.muc.de> <vvd6pf$34l9k$1@dont-email.me>
 <vvdads$13pc$1@news.muc.de> <vvdcld$3arjo$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 07 May 2025 19:55:53 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="ee5137430f56269cd3e6381ddf24cf46";
	logging-data="1226953"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/IN5v0ZIhjjN+G7XFjP0Ij"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:Pvfze6Z2V8ZDmxiGv8cDyDShUgk=
X-Antivirus: Norton (VPS 250507-4, 5/7/2025), Outbound message
Content-Language: en-US
X-Antivirus-Status: Clean
In-Reply-To: <vvdcld$3arjo$1@dont-email.me>
Bytes: 3341

On 5/6/2025 11:16 AM, Richard Heathfield wrote:
> On 06/05/2025 16:38, Alan Mackenzie wrote:
>> These aren't particularly difficult things to comprehend.  As I keep
>> saying, you ought to show a lot more respect for people who are
>> mathematically educated.
> 
> I concur.
> 
> As someone who is not particularly mathematically educated (I have an A- 
> level in the subject, but that's all), I tend to steer well clear of 
> mathematical debates, although I have occasionally dipped a toe.
> 
> I have *enormous* respect for those who know their tensors from their 
> manifolds and their conjectures from their eigenvalues, even though it's 
> all Greek to me.
> 
> But to understand the Turing proof requires little if any mathematical 
> knowledge. It requires only the capacity for clear thinking.
> 
> Having been on the receiving end of lengthy Usenet diatribes by cranks 
> in my own field, I don't hold out much hope for our current culprits 
> developing either the capacity for clear thought or any measure of 
> respect for expertise any time soon.
> 
> Nor do I believe they are capable of understanding proof by 
> contradiction, which is just about the easiest kind of proof there is. 
> In fact, the most surprising aspect of this whole affair is that 


> (according to Mike) Mr Olcott seems to have (correctly) spotted a minor 
> flaw in the proof published by Dr Linz. How can he get that and not get 
> contradiction? Proof by contradiction is /much/ easier.
> 

When THERE IS NO CONTRADICTION then proof by contradiction fails.
How do you not get that?

When the input finite string of x86 machine code of
DD is emulated by HHH according to the rules of the
x86 language the emulated DD cannot possibly reach
its contradictory part.

How can no one here get that?

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