An emotionally satisfying metaphor for learning new maths is taming a wilderness: going from an excess of confusing and disconnected terms, to seeing the thing whole, knowing what to use where.

But, for (formal) students, that's wildly inaccurate, since we're in general treading smooth paths initially hacked out of the wild a century ago or more, trod by thousands before us. Even if we can't see it yet, we know there's well-definedness underneath. Real mathematical wilds are often untameable.

GSV Without Loss of Generality

"Remember! Most strings are incompressible, most reals uncomputable, most theorems unprovable, most programs undecidable."

― Gwern

Sign in to participate in the conversation

A Mastodon instance for maths people. The kind of people who make \(\pi z^2 \times a\) jokes.

Use \( and \) for inline LaTeX, and \[ and \] for display mode.