Design as Proof

Most of us write by gathering together. The notes gathered help the mind experiment with ideas. But to be effective, writing should limit experiments with thoughts.

Think of all the ideas in the world. All these ideas concern the world, in one way or another. If one could hold all the ideas of the world in a text, that text would be about the world.

Good writing minimizes secondary ideas and maximizes primary ideas. Trying to fit every note into a text would be the opposite of design. The power of a text resides in the concision of effect.

Poe already said that, in a way. What he did not know was that this was also what gives power to a formal proof. For a good proof, like any good creative text, needs a good design.

V. Ludics for a more powerful extension of that idea.