Timeline for Self-contained formalization of random variables?
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 17, 2020 at 20:22 | vote | accept | user21820 | ||
| Sep 17, 2020 at 20:15 | comment | added | user21820 | Thanks! I think this comes closest to addressing my question, even if it doesn't say whether the weird $Ord$-length random bit sequence is possible or not. (Martin Hairer thinks it is problematic.) | |
| Sep 16, 2020 at 22:53 | history | edited | Sam Hopkins | CC BY-SA 4.0 |
edited body
|
| Sep 16, 2020 at 20:52 | history | answered | Michael Greinecker | CC BY-SA 4.0 |