/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

 grossack.site
Life in Johnstone's Topological Topos 2 -- Topological Algebras | Chris Grossack's Blog
| | www.math3ma.com
Constructing the Tensor Product of Modules
4.0 parsecs away

Travel
| |
| | leanprover-community.github.io
Maths in Lean: Topological, uniform and metric spaces
3.7 parsecs away

Travel
| |
| | almostsuremath.com
Algebraic Probability (continued) - Almost Sure
4.3 parsecs away

Travel
| | Continuing on from the previous post, I look at cases where the abstract concept of states on algebras correspond to classical probability measures. Up until now, we have considered commutative real algebras but, before going further, it will help to look instead at algebras over the complex numbers $latex {{\mathbb C}}&fg=000000$. In the commutative case,...
| | xorshammer.com
Löb's Theorem: Santa Claus and Provability - XOR's Hammer
27.5 parsecs away

Travel
| Consider the following argument for the existence of Santa Claus (which is called Curry's paradox): Let S be the sentence If S is true, then Santa Claus exists. Lemma: S is true. Proof. S is of the form ``If P, then Q.'' so to show S we just have to assume P and show Q....