ἀλήθεια  ·  unconcealment

Alethe

A mathematics library that starts where every concept actually started — with the problem that made it necessary. Not the notation. Not the rules. The need.


The same concept.
Two very different introductions.

Most mathematics education hands you the compressed form — the definition, the rule, the notation — and treats the intuition that created it as optional scaffolding. Alethe reverses that order. Every unit begins with the situation the concept was invented to resolve.

Conventional introduction — Division
Division is one of the four arithmetic operations.
a ÷ b = c  ⟺  c × b = a
The result is called the quotient.
x ÷ 1 = x  ·  x ÷ x = 1  ·  0 ÷ x = 0
x ÷ 0 is undefined.

See also: remainders, long division procedure, divisibility rules. Fractions are introduced in a separate chapter.

Alethe — Division

You have twelve objects and four containers.
How many objects go in each container?

That's division. Not a rule — a physical situation you already know how to reason about. Division is distribution. The formal notation came later, as a way to write down something people were already doing.

What if the objects don't distribute evenly? The items left over are the remainder. Not a failure state — just what's left when the distribution runs out.

What if you cut the remainder and distribute the pieces? That's not a new operation. That's fractions. The same act, with one constraint removed.

And 0 ÷ 0? You have nothing. The question of how to distribute it isn't forbidden or paradoxical — it's simply vacant. There's no situation to resolve.

12 ÷ 4 = 3  ·  the notation follows the idea

Every unit follows
the same structure.

The sequence isn't arbitrary. It maps the actual cognitive path from encountering a problem to owning the tool that solves it.

01
The Gap

What couldn't be done before this concept existed? What problem kept coming up that had no name, no notation, no clean resolution? You feel the pressure before you get the release.

02
The Ground

The physical or intuitive situation the concept was invented to describe. Concrete, manipulable, and already partially understood. The formalism hasn't appeared yet — the idea has.

03
The Form

Now the notation arrives — as compression of something you already hold. Not as the thing itself. The symbol earns its place by doing something the grounded idea couldn't do efficiently on its own.

04
The Extension

Where does this concept lead? What became newly possible? How does this tool constrain and shape the next one? Concepts are cognitive tools, not isolated facts.

The library,
in progress.

Units are released when they're done — not on a schedule. Each one is complete before the next begins.

I
Division & Fractions
Distribution, remainders, and the first relaxation of a constraint
First release
II
Negative Numbers
What debt and directed movement forced into existence
Upcoming
III
Exponents
Taming the tyranny of repeated multiplication
Upcoming
IV
Logarithms
The question exponentiation couldn't answer about itself
Upcoming
V
Algebra
The language invented for reasoning about unknown quantities
Planned
VI
Imaginary Numbers
What the impossible question revealed about the structure of space
Planned
VII
Calculus
The formalization of what it means to get arbitrarily close to something
Planned