« first day (2369 days earlier)      last day (1523 days later) » 

YCor
YCor
1:30 AM
@DavidRoberts to an outsider an "expander graph" might be some kind of graph. This is true! In general the worst opaque word tells more than an abbreviation.
 
 
1 hour later…
David Roberts
David Roberts
2:50 AM
Though I don't imagine anyone using etcs in isolation, and not including at least one of ct.category-theory or lo.logic or set-theory.
The worst acronym is set theory is NBG (von Neumann-Bernays-Gödel, with choice, usually)
Lucky we don't have the tag [mice] :-)
 
 
11 hours later…
Martin Sleziak
Martin Sleziak
1:52 PM
new-tag A new tag genericity was created, including a tag-excerpt and a a tag-wiki.
0
Q: Kurtz randomness and supermartingales with infinite *limit*

Peter GerdesSuppose you replace the usual success conditions for a supermartingale (lim sup is infinite) with the requirement that the actual limit is infinite, e.g. a supermartingale $B$ succeeds on $X \in 2^\omega$ just if $$\lim_{n \to \infty} B(X\restriction_n) = \infty$$ I'm 90% sure that you don't ge...

lo.logic computability-theory algorithmic-randomness genericity
 

« first day (2369 days earlier)      last day (1523 days later) »