> On 24 May 2020, at 01:02, Russell Standish <[email protected]> wrote: > > On Thu, May 21, 2020 at 08:33:03PM +0200, Bruno Marchal wrote: >> >> Is it correct to say that almost surely any sequence can be found? >> >> >> Hmm… “almost” has already a technical meaning in computer science. It means >> for >> all but a finite number exceptions. It existential dual is “there is >> infinitely many …”. >> >> Then, I don’t want to look like pick nicking, but “almost” and “sure” seems a >> bit antinomic. > > Not to pick nits, but it actually means the exceptions are of measure > zero. There may well still be an infinite number of them. After all, > the set of rational numbers (which is infinite) is of measure zero.
Fair enough. Like I said, “almost” in theoretical computer science means "all but a finite number of exceptions”. Take an infinite row of dominoes. Then make the first one falling. We will have that all dominoes will fall, but at any time, almost all of them still stand up! It might make sense to say, for “almost" in the non countable domain, all except a countable number of exceptions. It really depends on the applications in mind. With the notion of measure in mind, your remark makes sense. Bruno > > > -- > > ---------------------------------------------------------------------------- > Dr Russell Standish Phone 0425 253119 (mobile) > Principal, High Performance Coders [email protected] > http://www.hpcoders.com.au > ---------------------------------------------------------------------------- > > -- > You received this message because you are subscribed to the Google Groups > "Everything List" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/everything-list/20200523230215.GB27696%40zen. -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/1F933DDE-AC27-488D-AB6C-85F1A81AD288%40ulb.ac.be.
