The language of pattern and proof.
A proof is an argument that cannot be escaped. From a handful of axioms and the rules of logic, mathematicians derive statements that hold in every possible world. The angles of a triangle sum to a straight line — not usually, not approximately, but always.
Mathematics studies objects by how they combine. Groups, rings, and fields capture the essential structure behind rotation, reflection, encryption, and the symmetries of molecules. A regular hexagon looks the same under six rotations and six reflections — a group of twelve rigid motions hides inside a single shape.
By summing infinitely many vanishing pieces, calculus turns the discrete into the continuous. Areas, volumes, velocities, and flows all become computable — the Riemann sum tightens into an integral as the partition refines.
Beyond objects lies the study of how objects relate. Category theory treats arrows as primary — functions, transformations, analogies — and asks when two different routes through a diagram land in the same place. It is a unifying language: topology, algebra, and logic all speak it.
At every point of a smooth curve or surface there is a local linear world — tangent vectors, normals, curvature. Differential geometry measures how space bends. It is the language Einstein used to describe gravity, and it is how we reason about anything smooth and continuous.
Pick a field and start reading. Proofs, problems, and references included.
View the subject map