Explore >> Select a destination
|
You are here 
|
parametricity.com | ||
| | | | |
xorshammer.com
|
|
| | | | | There are a number of applications of logic to ordinary mathematics, with the most coming from (I believe) model theory. One of the easiest and most striking that I know is called Ax's Theorem. Ax's Theorem: For all polynomial functions $latex f\colon \mathbb{C}^n\to \mathbb{C}^n$, if $latex f$ is injective, then $latex f$ is surjective. Very... | |
| | | | |
www.mathsisfun.com
|
|
| | | | | ||
| | | | |
nhigham.com
|
|
| | | | | The Cayley-Hamilton Theorem says that a square matrix $LATEX A$ satisfies its characteristic equation, that is $latex p(A) = 0$ where $latex p(t) = \det(tI-A)$ is the characteristic polynomial. This statement is not simply the substitution ``$latex p(A) = \det(A - A) = 0$'', which is not valid since $latex t$ must remain a scalar... | |
| | | | |
degoes.net
|
|
| | | Functional programming has a bit of jargon, but that doesn't have to stop you from understanding core concepts | ||
