Consider this a footnote to this morning's meme.
#mathematics #math #SetTheory #MeasureTheory
Source:https://buff.ly/My0nnIz

#mathematics #math #MeasureTheory #AxiomofChoice #humor

My first thought was to build something like MeasureTheory but based mainly on exponential families. This does ok, but we can do better.

I've started a little side project to port the MeasureTheory semantics to Rust. Hard to say whether it will go anywhere, currently it's a lot of exploring the design space and learning more about good ways to set up traits

3/5
Von Neumann algebras are generated by their projections, meaning any element can be approximated by linear combinations of projections. This is analogous to how simple
#functions
are dense in L∞ spaces in classical #measuretheory.

Fun Fact: While Blaise #Pascal and Pierre de #Fermat are some of the first mathematicians to formalize #probability by thinking about games of chance, it was Andrey #Kolmogorov who was responsible for axiomatizing probability using the, then, new field of math, #measuretheory.