Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: comp.theory
Subject: Re: Every sufficiently competent C programmer knows
Date: Thu, 13 Mar 2025 11:15:04 +0200
Organization: -
Lines: 34
Message-ID: <vqu7mo$36136$1@dont-email.me>
References: <vqntaq$1jut5$1@dont-email.me> <vqp388$1tvqa$1@dont-email.me> <vqpdv9$202b2$2@dont-email.me> <vqperb$20c9k$2@dont-email.me> <vqpqkq$22qmv$2@dont-email.me> <vqrkng$2hpcu$1@dont-email.me> <vqrln9$2frof$6@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 13 Mar 2025 10:15:05 +0100 (CET)
Injection-Info: dont-email.me; posting-host="f99cbdcb742dbbadce7ebf2bb40c7ee7";
	logging-data="3343462"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18d4lOhCHAPlkfTo/cQaF3I"
User-Agent: Unison/2.2
Cancel-Lock: sha1:StOm06T6jHs5bc+3sRwV7CO/f2E=
Bytes: 2286

On 2025-03-12 09:55:53 +0000, Richard Heathfield said:

> On 12/03/2025 09:38, Mikko wrote:
>> On 2025-03-11 17:07:38 +0000, olcott said:
>> 
> 
> <snip>
> 
> 
>>> You still sound like Richard Damon whom is unable to
>>> understand that semantic tautologies are irrefutable.
>> 
>> That a false claim about one person is similar to a false
>> claim about another is not suffecent ro conclude or even
>> sustpect that they are the same. A better measure is how meny
>> indignificant typos each makes.
> 
> Quite so.
> 
> And while we're on the subject of semantics, the OP seems unaware that 
> he can't use stipulative definitions to define away the difficult parts 
> of a problem. At best, he can stipulatively define a /new/ problem, but 
> by redefining terms he steps away from the original problem. He can 
> argue till he's blue in the face about the Olcott Problem, but he is no 
> longer saying anything meaningful about the Halting Problem or the Linz 
> proof thereof.

He has moved away from the orignal problems long ago. What "every
sufficiently competent C programmer knows" is fairly uninteresting
and irrelevant to the original problems.

-- 
Mikko