Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Pancho <Pancho.Jones@proton.me>
Newsgroups: comp.sys.raspberry-pi
Subject: Re: Spontaneous locale change on Bookworm
Date: Mon, 30 Sep 2024 23:16:21 +0100
Organization: A noiseless patient Spider
Lines: 18
Message-ID: <vdf7vl$2cs18$5@dont-email.me>
References: <vcmq6m$1l88o$1@dont-email.me> <vd37qn$42ro$3@dont-email.me>
 <vd4g04$bqo9$2@dont-email.me> <vd4gmg$c3jf$4@dont-email.me>
 <vd62vk$mdr9$3@dont-email.me> <vd7dol$tdq8$2@dont-email.me>
 <4a337e535098c961bc9ac5767951350c18cecc2d.camel@munted.eu>
 <AF4KO.179528$1m96.59033@fx15.iad> <wwvzfnqlvas.fsf@LkoBDZeT.terraraq.uk>
 <vde54u$27ol9$2@dont-email.me> <fe229da85b.DaveMeUK@BeagleBoard-xM>
 <vdf669$2cs18$3@dont-email.me> <vdf7d4$2cn51$18@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 01 Oct 2024 00:16:21 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="6abaabc5ca3d6421ac8c8ceaebcb4c98";
	logging-data="2519080"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+u1N8312MW1CFWbBgiHGBfOq7Gt98TkYY="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:C379tIHNNur38qkT3oHzNghtURs=
In-Reply-To: <vdf7d4$2cn51$18@dont-email.me>
Content-Language: en-GB
Bytes: 2138

On 9/30/24 23:06, Lawrence D'Oliveiro wrote:
> On Mon, 30 Sep 2024 22:45:45 +0100, Pancho wrote:
> 
>> One assumes time is well ordered, so even if I don't know what the least
>> century is, I know there was one.
> 
> Integers are well ordered, but there is no least integer.
> 

No they aren't, precisely because the don't have a least integer. 
Perhaps you are confusing having a total ordering with well ordered?

> All we want, I think, is a zero point far enough back that there is less
> real-world need to deal with negative time points.

That is basically what well-ordered implies. Obviously I was 
bullshitting as I have no idea if time is totally-ordered, let alone 
well ordered :-).