Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Ben Bacarisse <ben@bsb.me.uk>
Newsgroups: comp.lang.c
Subject: Re: transpiling to low level C
Date: Sun, 05 Jan 2025 11:18:03 +0000
Organization: A noiseless patient Spider
Lines: 28
Message-ID: <87cyh14ihg.fsf@bsb.me.uk>
References: <vjlh19$8j4k$1@dont-email.me>
	<vjn9g5$n0vl$1@raubtier-asyl.eternal-september.org>
	<vjnhsq$oh1f$1@dont-email.me> <vjnq5s$pubt$1@dont-email.me>
	<vjpn29$17jub$1@dont-email.me> <86ikrdg6yq.fsf@linuxsc.com>
	<vk78it$77aa$1@dont-email.me> <20241222002032.0000104c@yahoo.com>
	<vk7lik$9iga$1@dont-email.me> <20241222021851.0000059f@yahoo.com>
	<vk7n4l$9okb$1@dont-email.me> <20241222030451.00005565@yahoo.com>
	<vk7s80$ajak$1@dont-email.me> <86o713dvo7.fsf@linuxsc.com>
	<vkaik4$ttg2$1@paganini.bofh.team> <86ed1i9w4g.fsf@linuxsc.com>
MIME-Version: 1.0
Content-Type: text/plain
Injection-Date: Sun, 05 Jan 2025 12:18:05 +0100 (CET)
Injection-Info: dont-email.me; posting-host="0a7217cd62c9d02e211b47ed57fe9b89";
	logging-data="1066338"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+p3Zorlr7YRjTJ5WEJs/mYy9FmvFk6w5c="
User-Agent: Gnus/5.13 (Gnus v5.13)
Cancel-Lock: sha1:mOaGRFGxTjYMIp/VuqYW52lhs3M=
	sha1:7uvA7Pz/bIE6ObeGT1CQN+bQKRs=
X-BSB-Auth: 1.26723e8cba8f26d50365.20250105111803GMT.87cyh14ihg.fsf@bsb.me.uk
Bytes: 2835

Tim Rentsch <tr.17687@z991.linuxsc.com> writes:

> A statement of fact is a statement concerning an objective question,
> such as "Is every even number greater than 4 the sum of two prime
> numbers?".  A statement of fact can be right or wrong or true or
> false, even if it isn't known at the present time which of those is
> the case.  The statement "Four colors suffice to color any planar
> map such that adjacent regions do not have the same color" is a
> statement of fact, both now and 60 years ago before the statement
> had been proven.  Both P==NP and P!=NP are statements of fact, even
> though one of them must certainly be false;  the key property is
> that they are objective statements, subject to falsification.  If I
> say "The Earth is flat", that is a statement of fact, even though
> the statement is false.

I think you go too far.  The word "fact" is not neutral as far as its
truth is concerned, and writing "a statement of fact" does not
significantly change that.  Most dictionaries define a fact as something
that is true (or at least supported by currently available evidence).
One online essay[1] concludes that

  "A statement of fact is one that has objective content and is
  well-supported by the available evidence."

[1] https://philosophersmag.com/the-fact-opinion-distinction/

-- 
Ben.