The catalogue

Every exploration

Each one begins with something surprising you can manipulate yourself, then follows it as far as the mathematics honestly goes - to an explanation, a proof, or the edge of what anyone knows.

Ready now

28 explorations

22

Three Guesses Beat One

Suppose three measurements have independent, zero-centred normal errors, each with variance 1. The James–Stein formula adjusts them together. For measurements 4, 3 and 0, square and add them to get 25, then multiply each measurement by 1 − 1/25 = 24/25, giving 3.84, 2.88 and 0. This lowers the average total squared error over repeated measurements, whatever the true values are, but it can make an individual trial worse. The theorem applies in three or more dimensions.

Provedstatisticsestimation

By behaviour

  • IterateApply a rule again and again.
  • VisualiseSee the whole space at once.
  • ComparePut two cases side by side.
  • PredictCommit to an answer before the reveal.
  • BreakChange an assumption until it fails.
  • ReverseAsk what leads here, not what follows.

By collection

  • Number MachinesSmall rules applied to integers over and over until something settles.10 ready
  • Prime LandscapesVisual and structural views of where the primes actually fall.4 ready
  • Sequences That Build ThemselvesRecursive, substitutive and self-describing sequences.4 ready
  • Patterns That BreakConvincing finite patterns that eventually fail.7 ready
  • Change the BasePhenomena that exist only because of how the number is written.7 ready
  • One Rule, Strange BehaviourSimple maps with unexpectedly rich dynamics.11 ready
  • Easy to State, Hard to ProveElementary statements with difficult or unresolved mathematics behind them.14 ready
  • Bounds and EvidenceWhere a computation gives a certified bound, and where it only gives a number.6 ready
  • Randomness and EvidenceSeeded experiments, and what a simulation can and cannot settle.3 ready
  • Tilings and SubstitutionRules that replace a shape with smaller copies of itself.1 ready
  • Logic and ComputationWhat a formal system can say about itself.2 ready

In preparation

  • The Chaos GamePick a corner at random, move halfway there, repeat: a triangle appears that no one drew.
  • The Kolakoski SequenceA sequence of 1s and 2s that describes its own run lengths, and a density nobody can prove is one half.

Each of these needs a working kernel, an exhaustive test suite, sourced claims and a representation that shows something a paragraph cannot. They appear here when that is true of them, and not before. Read the method →