Comment by noam on Infra-Bayesian physicalism: a formal theory of naturalized induction · 2023-08-31T13:25:31.318Z · LW · GW

Can someone break Definition 1.1 down for me? I got lost in all the notation and what acts on what, what is projected to where..

Comment by noam on Untangling Infrabayesianism: A redistillation [PDF link; ~12k words + lots of math] · 2023-08-24T20:17:13.436Z · LW · GW

Though now that I think about it, if the difference is some irrational number then this seems to work, as any set $X_i$ would contain exactly one unique rational number. Now they each have the cardinality of R, and the family has the cardinality of Q. And then it all seems to work.
Does that seem right?

Comment by noam on Untangling Infrabayesianism: A redistillation [PDF link; ~12k words + lots of math] · 2023-08-24T19:37:00.411Z · LW · GW

I fail to see why the family of sets $X_i$ is countable. if $X_i$ is of cardinality ${\aleph }_0$, which I totally agree about, then how can a union of a countable family of them which is basically ${\aleph }_0\times {\aleph }_0$ be equal (0,1)?

Comment by noam on Untangling Infrabayesianism: A redistillation [PDF link; ~12k words + lots of math] · 2023-08-21T14:28:03.731Z · LW · GW

What do you mean by "no reasonable σ-algebra can encompass the full power set"? The power set is the biggest σ-algebra of a set, but what set? And what is "reasonable"?

Comment by noam on Untangling Infrabayesianism: A redistillation [PDF link; ~12k words + lots of math] · 2023-08-20T14:09:43.182Z · LW · GW

Found a typo:

Definition 2.2. Let $X$ be a metric space. We say that a functional $f:X\to R$ is k-Lipschitz
continuous if there exists $k\ge 0\in R$ such that for all $x,y\in X,d_X\left(f\right(x),f(y\left)\right)\le k\cdot |x-y|$. In
such a case k is called the Lipschitz constant of f.

I think it should be: $|f\left(x\right)-f\left(y\right)|\le k\cdot d_X(x,y)$ instead, as $f\left(x\right),f\left(y\right)\in R$ while $x,y\in X$.