Re: transpiling to low level C

On 1/5/25 06:18, Ben Bacarisse wrote:

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/

In US constitutional law, there is the concept of "False statements of
fact". The distinction is important in that context because they have
less protection under the First Amendment than true statements of fact.
They still have some protection, but not if they are defamatory, false
advertising, or commercial speech.