The ModernEncyclopedia Est. 2026 · A living curriculum · Regularly updated
MAT-24 · Sciences · Fully written

Learn Mathematics with any AI

Proof, algebra, analysis

Mathematics is the study of pattern, structure and necessary truth — the one field where a result, once proved, is certain forever. It is less a body of facts than a way of reasoning with total rigour from clear assumptions.

Learned properly it is not arithmetic but argument: the point is to understand why something must be true, and to build the proof yourself. Set your level below — and be warned that maths rewards patience over speed.

Build a prompt ↓

§01

Compose your prompt

Choose a prompt and a level, then copy
Prompt settings
Subject
MAT-24 · Mathematics
This prompt is scoped to Mathematics. Browse the full library to switch subjects.
Which prompt
Your first contact with a topic, pitched exactly at your level.
Level
How deep to pitch it — from a curious start to full university depth.
Topic — optional, narrows the focus
Study time — used by the syllabus builder
British English
Keeps spelling and exam framing UK-style. Turn off for US spelling.
§02

A map of Mathematics

Pure, applied, and the foundations

The subject divides into a few great territories.

  • Pure — algebra, real and complex analysis, geometry and topology, number theory, logic and set theory, combinatorics.
  • Applied — differential equations, mechanics, mathematical modelling, numerical methods and optimisation.
  • Probability & statistics — reasoning rigorously about chance and data.
  • Foundations — what a proof is, and what mathematics rests on.
§03

The canon

The mathematicians who built it

A field with a two-thousand-year memory. These are pillars.

  • Euclid (c. 300 BCE) — the Elements, the model of proof from axioms for two millennia.
  • Archimedes — anticipated the calculus and much of mathematical physics.
  • Newton & Leibniz — independently invented the calculus, the language of change.
  • Leonhard Euler — the most prolific mathematician ever; his notation is still yours.
  • Carl Friedrich Gauss — "the prince of mathematicians," across number theory, geometry and more.
  • Georg Cantor — proved there are different sizes of infinity, and founded set theory.
  • Kurt Gödel — the incompleteness theorems: any rich formal system has true statements it cannot prove.
  • Emmy Noether — reshaped abstract algebra and the mathematics of physics.
§04

The live debates

What is maths, really?

Behind the certainty sit genuinely open questions.

  • Discovered or invented? Is mathematics a landscape we explore, or a game whose rules we make up? (Platonism vs formalism.)
  • What grounds it? The early-20th-century "foundations crisis" — Russell's paradox, then Gödel — showed the ground is less solid than hoped.
  • What counts as a proof? Long computer-assisted proofs no human can fully check are testing the very idea.
  • The "unreasonable effectiveness." Why does abstract maths, invented for its own sake, describe the physical universe so well?
  • Pure vs applied. Whether maths should chase beauty or usefulness — and how often the two turn out to be the same.
§05

Where to start

A route in

A route in — everything runs from the panel above.

  1. Start with Orientation on "what a proof is" — the shift from calculating to proving is the whole game.
  2. Take a genuinely open idea (infinity, the foundations) into the Socratic tutor.
  3. Work a real proof end to end with the Exam engine, and get it marked honestly.
  4. Read one rigorous text alongside one good popular book, so intuition and rigour grow together.

Never accept a step you can't justify. That discipline is the subject.