Explore >> Select a destination


You are here

sookocheff.com
| | setosa.io
2.7 parsecs away

Travel
| |
| | elijahpotter.dev
5.0 parsecs away

Travel
| | Back in my day, we used math for autocomplete.
| | parametricity.com
3.4 parsecs away

Travel
| | 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
30.2 parsecs away

Travel
| 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...