Explore >> Select a destination
|
You are here 
|
xorshammer.com | ||
| | | | |
pfzhang.wordpress.com
|
|
| | | | | Consider a monic polynomial with integer coefficients: $latex p(x)=x^d + a_1 x^{d-1} + \cdots + a_{d-1}x + a_d$, $latex a_j \in \mathbb{Z}$.The complex roots of such polynomials are called algebraic integers. For example, integers and the roots of integers are algebraic integers. Note that the Galois conjugates of an algebraic integer are also algebraic integers.... | |
| | | | |
jmanton.wordpress.com
|
|
| | | | | If $latex Y$ is a $latex \sigma(X)$-measurable random variable then there exists a Borel-measurable function $latex f \colon \mathbb{R} \rightarrow \mathbb{R}$ such that $latex Y = f(X)$. The standard proof of this fact leaves several questions unanswered. This note explains what goes wrong when attempting a "direct" proof. It also explains how the standard proof... | |
| | | | |
thehousecarpenter.wordpress.com
|
|
| | | | | NB: I've opted to just get straight to the point with this post rather than attempting to introduce the subject first, so it may be of little interest to readers who aren't already interested in proving the completeness theorem for propositional logic. A PDF version of this document is available here. The key thing I... | |
| | | | |
blog.sigfpe.com
|
|
| | | [AI summary] An in-depth technical exploration demonstrating how Haskell monads can be formally defined as monoids in the category of endofunctors using abstract categorical logic and functional programming code. | ||
