Explore >> Select a destination
|
You are here 
|
rjlipton.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... | |
| | | | |
mattbaker.blog
|
|
| | | | | Test your intuition: is the following true or false? Assertion 1: If $latex A$ is a square matrix over a commutative ring $latex R$, the rows of $latex A$ are linearly independent over $latex R$ if and only if the columns of $latex A$ are linearly independent over $latex R$. (All rings in this post... | |
| | | | |
www.jeremykun.com
|
|
| | | | | Last time we defined and gave some examples of rings. Recapping, a ring is a special kind of group with an additional multiplication operation that "plays nicely" with addition. The important thing to remember is that a ring is intended to remind us arithmetic with integers (though not too much: multiplication in a ring need not be commutative). We proved some basic properties, like zero being unique and negation being well-behaved. | |
| | | | |
jxmo.io
|
|
| | | A primer on variational autoencoders (VAEs) culminating in a PyTorch implementation of a VAE with discrete latents. | ||
