The formula that generates the Mandlebrot set is this:

which can also be written:

This formula is iterative: you get the value of at some iteration (where is an integer greater than zero) by squaring the value of at the previous iteration (iteration ) and adding . When generating the Mandelbrot set, the initial value of () is always 0; it is the value of that is different for each point in the set.

and are both complex numbers, numbers with both real and imaginary parts (e.g. , where is the square root of -1). Now it happens that complex numbers, and arithmetic operations on complex numbers, can be translated into points in two different co-ordinate systems and operations on those points. If we can treat a complex number as a point in the cartesian co-ordinate system, , then we can treat the addition of two complex numbers as the geometric *translation* of one point by another:

**Complex numbers**:

**Cartesian points**:

Additionally, if we convert our point in the Cartesian co-ordinate system into a point in a polar co-ordinate system , where is the radius of the point (its distance from the origin) and is the angle of the point in radians relative to the positive x axis, then we can treat the multiplication of two complex numbers as the geometric *rotation and scaling* of the point:

**Complex numbers**:

**Cartesian points**:

**Polar points**:

With this in mind, we can see that the formula describes an operation analogous to that of taking a geometric point, squaring its distance from the origin and doubling its degree of rotation away from the positive x axis (call this “swirling” the point), and then translating it in a fixed direction by a fixed amount (call this “bodging” the point).

Now, the interesting thing about this combination of operations is that either of them taken by itself would result in a simple linear equation for . If the formula were , then it could be rewritten simply as (in other words, just bodge times). If the formula were , then this could be rewritten as (swirl times). But by combining swirling and bodging (swirl-bodge-swirl-bodge, try it in Photoshop some time) we get a dynamic equation where the interactions between the swirls and bodges produce much more complex patterns.

The Mandelbrot set is the set of values of for which the series of values of produced by repeated swirling and bodging converges on some point, and the points outside the set are those values of for which the series of values of just go on getting bigger and bigger. There’s a shortcut we can use to tell if the latter is the case without knowing the entire (infinite) series: if the Cartesian point representing falls outside of a circle of radius 2 centred on the origin, then it’s fairly easy to prove that no subsequent value of will ever again fall inside that circle – points that “escape orbit” will diverge to infinity thereafter. So what computer programs that plot the Mandelbrot set tend to do is calculate the series up to a fixed number of iterations (say 256), and “give up” if the value of still hasn’t escaped orbit by then. What they’re really doing is plotting the points *outside* the Mandelbrot set (which are coloured according to the number of iterations it takes for them to escape orbit), and leaving uncoloured points which are not known to diverge. The Mandelbrot set thus appears in these graphs as a sort of black hole in the middle of a set of computed results, bordered by an undecided zone: points along the plotted perimeter might still eventually diverge if one iterated enough times, and as one increases the magnification and zooms in on a particular zone, the number of iterations needed to gain a distinct picture increases accordingly.

What sort of object is this set? It is, as the name implies, a multiple, separated from the set of complex numbers by an infinitely elaborate rule – infinitely elaborate, yet exhaustively describable in simple terms via recursion. It is not an object of human experience: what we experience, when we generate images of its exterior, is not the Mandelbrot set itself but a never-fully-complete subset of its complement. Does it exist? Or is it the spectral foreshadowing of a possible existent, posited by mathematics but nowhere completely realized?