Four things the model assumes
what-paper-is-not is one function. Everything below came out of it during this
build, at arguments taken from the essays rather than invented for this page — so a figure
here is the same figure a reader meets in an essay, and when the generator changes, this
page changes with it.
At its defaults
which: [thickness, stretch, creases, memory]
which: [stretch]
which: [creases]
What it checked while it drew
Collected by running this generator with a listener on the assertions, not written here. The count is how many separate times this build put that claim to the test.
- 4 idealisations are named, each with what real paper does instead ×3
- every idealisation listed is one this figure states the failure of ×1
Where it is called
Changing this generator changes every figure on this list, which is what makes the list worth publishing rather than keeping in a check script.
Four things that are not true
Zero thickness, no stretch, creases that are lines, and perfect memory. Every theorem on this site rests on all four, every one of them is false, and the interesting engineering is exactly where each fails.
One curve and one number
Folding cannot change how curved a crease is within the surface — that is what an isometry means. Everything a curved fold produces is the curvature it adds out of the surface, and one number controls all of it.
One cut short of falling apart
Everything a cut sheet can do is bought out of the material between the end of one cut and the start of the next. That material shrinks to nothing in a straight line as the cuts grow, and the sheet stays in one piece the whole way down — until the instant it does not, and then it is in six.
The fifth thing that is not true
Four idealisations underlie every theorem here and each has had an essay. There is a fifth and it has never been named, because it is invisible in exactly the way the others are not: paper has a grain, no theorem in the subject mentions a direction, and so nothing in the whole apparatus can tell a folder which way up to lay the pattern down.
The sixth thing that is not true
Five idealisations underlie every theorem here and each has had an essay: no thickness, no stretch, creases that are lines, perfect memory, no grain. There is a sixth, it is more basic than any of them, and it is the one nobody has ever thought to name — the paper is a disc.
Every generator · The curves and material field · The patterns a reader can fold