|
You are here |
sookocheff.com | ||
| | | | |
setosa.io
|
|
| | | | | ||
| | | | |
elijahpotter.dev
|
|
| | | | | Back in my day, we used math for autocomplete. | |
| | | | |
parametricity.com
|
|
| | | | | If I say the word "swimming" to you, you've got a fair bit of information about what word I'm going to say next. | |
| | | | |
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... | ||