Sujet : Re: How the requirements that Professor Sipser agreed to are exactly met
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theoryDate : 13. May 2025, 04:31:05
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vvuedq$1ibhq$2@dont-email.me>
References : 1 2 3 4 5 6 7
User-Agent : Mozilla Thunderbird
On 5/12/2025 10:14 PM, Richard Heathfield wrote:
On 13/05/2025 03:48, olcott wrote:
On 5/12/2025 9:26 PM, Richard Heathfield wrote:
On 13/05/2025 00:58, Ben Bacarisse wrote:
On the other hand, you are spending a lot of time arguing about his knowledge and use of C. Yes, it's awful. He
knows very little C and the code is crap, but that/is/ a
straw man -- it's the simplest part of his argument to
fix.
>
Although it was an attempt to motivate him to improve the code, it has become blindingly obvious that he's not interested, which is precisely why I am going to stop bothering.
>
>
Do you really think that nit picky details
Are important? Yes.
Are important to you? No.
can refute the gist of what I am saying
No. If you won't listen to Alan Turing's refutation, you're sure as hell not going to listen to mine.
All of the conventional halting problem proofs
have several fatal flaws. That you simply ignore
my proof of these fatal flaws is not actually
any rebuttal.
Every conventional halting problem proof has as
its most fundamental basis an input that can
actually do the opposite of whatever their
termination analyzer reports.
I prove this and you say blah blah blah but
Linz was right not paying any attention to
my proof of the fatal flaw and simply assuming
that I must be wrong about this.
All of the rebuttals of my work have as their
sole baseless basis that I must be wrong.
I must be wrong so let's see if the lame excuse
convinces him.
-- Copyright 2025 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer