Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: Pancho 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: References: <4a337e535098c961bc9ac5767951350c18cecc2d.camel@munted.eu> 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: 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 :-).