Matpic
mathematics, in pictures
Concept

Heuristic

An argument that predicts an answer without establishing it, usually by replacing a determined object with a random one that resembles it. A good one gets the constants right and fails on exceptional cases, which is exactly what the proof would have to handle.

Named by 3 essays across 2 fields — each of them below, with the objects they name alongside it.

The Collatz orbit of 27. Halve an even number, triple an odd one and add one; the sequence plotted on a logarithmic scale.

The question nobody can answer

Halve it if it is even, triple it and add one if it is odd. Every number anyone has tried comes down to one. Nobody can prove they all do, and the reason is not that the problem is hard to state.

dynamics · Collatz Downhill on average, and never on purpose. The logarithms of 4 Collatz orbits plotted against step number, each wandering upward and downward and each ending at one. A separate sample of four thousand starts gives an average fall of -0.15 per step.

The heuristic that cannot be a proof

There is a two-line argument that the Collatz conjecture is true, it is convincing, and everybody who works on the problem believes it. It also cannot be turned into a proof, and understanding exactly where it fails is more instructive than the argument itself.

dynamics · Collatz Five families of primes, counted below 100,000. Five counting curves on logarithmic axes: every prime, the primes one more than a multiple of four, the twin pairs, the primes one more than a square, and the Mersenne primes. Two of the five families are known to be infinite and three are open questions.

Which infinitudes are proved

The primes never stop, and neither — apparently — do the twin pairs, the primes one more than a square, or the Mersenne primes. Three of those four statements are theorems and one is not, and counting the members of each family tells nobody which.

number · Infinitude of primes

Named alongside it

The objects these essays reach for when they reach for this one.

CollatzIterationLogarithmOpen problemAsymptoticConjectureCounting argumentDivergenceDriftExpectationOrbitParity

All concepts