[SystemSafety] State of the art for "safe Linux"

[Prof. Dr. Peter Bernard Ladkin]

On 2024-08-07 14:10 , Paul Sherwood wrote:
> On 2024-08-07 12:11, Prof. Dr. Peter Bernard Ladkin wrote:
>> ..........
>> Let me rephrase. Dewi's statement above is a tautology.
>
> I looked up that word, to check it still means what I learned in school...

I'd suggest you need a better dictionary.

"Tautology" is another word for a logical truth. All finite mathematics is tautologous, but one 
would be hard put to characterise (some) finite mathematics as "needless repetition..." or "empty or 
vacuous....". Some of it has won Field's medals for five of its practitioners (1958-2022).

Another, looser, meaning for "tautology" is a statement that is true in virtue of the meanings of 
the words in it. This looser meaning has a preferred term, namely "analytic statement". All of 
mathematics can be argued to be analytic but only the finite part is tautologous. (The axiom of 
infinity in set theory, regarded as needed for the mathematics of infinite sets such as the natural 
numbers, is nowadays widely regarded as not to be a logical truth, so it can't be a tautology.)

PBL

Prof. i.R. Dr. Peter Bernard Ladkin, Bielefeld, Germany
www.rvs-bi.de