## Adventures in Geometrical Intuition

### 31 October 2010

**Sunday **

**O**ver the past few days I’ve posted several **strictly theoretical** pieces that have touched on geometrical intuition and what I have elsewhere called **thinking against the grain** — **A Question for Philosophically Inclined Mathematicians**, **Fractals and the Banach-Tarski Paradox**, and **A visceral feeling for epsilon zero**.

**N**ot long previously, in my post commemorating the passing of **Benoît Mandelbrot**, I discussed the rehabilitation of geometrical intuition in the wake of Mandelbrot’s work. The late nineteenth and early twentieth century work in the foundations of mathematics largely made the progress that it did by consciously forswearing geometrical intuition and seeking instead logically rigorous foundations that made no appeal to our ability to visualize or conceive particular spatial relationships. Mandelbrot said that, “The eye had been banished out of science. The eye had been excommunicated.” He was right, but the logically motivated foundationalists were right also: we are misled by geometrical intuition at least as often as we are led rightly by it.

**G**eometrical intuition, while it suffered during a period of relative neglect, was never entirely banished, never excommunicated to the extent of being beyond rehabilitation. Even Gödel, who formulated his paradoxical theorems employing the formal machinery of arithmetization, therefore deeply indebted to the implicit critique of geometrical intuition, wrote: “I only wanted to show that an innate Euclidean geometrical intuition which refers to reality and is a priori valid is logically possible and compatible with the existence of non-Euclidean geometry and with relativity theory.” (*Collected Papers*, Vol. III, p. 255) This is, of course, to damn geometrical intuition by way of faint praise, but being damned by faint praise is not the same as being condemned (or excommunicated). Geometrical intuition was down, but not out.

**A**s Gödel observed, even non-Euclidean geometries are compatible with Euclidean geometrical intuition. When non-Euclidean geometries were first formulated by Bolyai, Lobachevski, and Riemann (I suppose I should mention Gauss too), they were interpreted as a death-blow to geometrical intuition, but it became apparent as these discoveries were integrated into the body of mathematical knowledge that what the non-Euclidean geometries had done was not to falsify geometrical intuition by way of counter-example, but to extend geometrical intuition through further (and unexpected) examples. The development of mathematics here exhibits not Aristotelian logic but Hegelian dialectical logic: Euclidean geometry was the thesis, non-Euclidean geometry was the antithesis, and contemporary geometry, incorporating all of these discoveries, is the synthesis.

**B**ertrand Russell, who was central in the philosophical struggle to find rigorous logical formulations for mathematical theories that had previously rested on geometrical intuition, wrote: “A logical theory may be tested by its capacity for dealing with puzzles, and it is a wholesome plan, in thinking about logic, to stock the mind with as many puzzles as possible, since these serve much the same purpose as is served by experiments in physical science.” (from the famous “On Denoting” paper) Though Russell thought of this as a test of logical theories, it is also a wholesome plan to stock the mind with counter-intuitive geometrical examples. Non-Euclidean geometry greatly contributed to the expansion and extrapolation of geometrical intuition by providing novel examples toward which intuition can expand.

**I**n the interest of offering exercises and examples for geometrical intuition, In **Fractals and the Banach-Tarski Paradox** I suggested the construction of a fractal by raising a cube on each side of a cube. I realized that if instead of raising a cube we sink a cube inside, it would make for an interesting pattern. With a cube of the length of 3, six cubes indented into this cube, each of length 1, would meet the other interior cubes at a single line.

**I**f we continue this iteration the smaller cubes inside (in the same proportion) would continue to meet along a single line. Iterated to infinity, I suspect that this would look interesting. I’m sure it’s already been done, but I don’t know the literature well enough to cite its previous incarnations.

**T**he two dimensional version of this fractal looks like a square version of the well-known Sierpinski triangle, and the pattern of fractal division is quite similar.

**O**ne particularly interesting counter-intuitive curiosity is the ability to construct a figure of infinite length starting with an area of finite volume. If we take a finite square, cut it in half, and put the halves end-to-end, and then cut one of the halves again, and again put them end-to-end, and iterate this process to infinity (as with a fractal construction, though this is not a fractal), we take the original finite volume and stretch it out to an infinite length.

**W**ith a little cleverness we can make this infinite line constructed from a finite volume extend infinitely in both directions by cutting up the square and distributing it differently. Notice that, with these constructions, the area remains exactly the same, unlike Banach-Tarski constructions in which additional space is “extracted” from a mathematical continuum (which could be of any dimension).

**T**hinking of these above two constructions, it occurred to me that we might construct an interesting fractal from the second infinite line of finite area. This is unusual, because fractals usually aren’t constructed from rearranging areas in quite this way, but it is doable. We could take the middle third of each segment, cut it into three pieces, and assemble a “U” shaped construction in the middle of the segment. This process can be iterated with every segment, and the result would be a line that is infinite two over: it would be infinite in extent, and it would be infinite between any two arbitrary points. This constitutes another sense in which we might construct an infinite fractal.

**. . . . .**

Fractals and Geometrical Intuition

2. A Question for Philosophically Inclined Mathematicians

3. Fractals and the Banach-Tarski Paradox

4. A visceral feeling for epsilon zero

5. Adventures in Geometrical Intuition

**. . . . .**

**. . . . .**

**. . . . .**

Thanks for some really great insights. Do you think Russell is saying if you play enough of these puzzles that hold meaningful results it builds up a weight of truth relative to one another? Then this can be built upon. (As Russell’s student Wittgenstein says of language ‘one learns the game by watching others play.’)

Perhaps the reference for the cube is the

Menger Sponge

http://mathworld.wolfram.com/MengerSponge.html

Which relates to the Sierponski carpet

http://mathworld.wolfram.com/SierpinskiCarpet.html

I am very very new to both mathematics and philosophy so you will have to forgive any blundering errors. I am actually writing a definition of art but it turns out there are parallels between the infinite complexity of strange attractors of non periodic flows and the layering of definitions of art within societies.

Can you give me any sources of Mandelbrot discussing intuition in print?

Thanks Again,

Josh

Dear Josh,

Thanks for your note!

While I would not have formulated Russell’s approach in these particulars, it strikes me as a very fair way of putting it. Certainly if we test a logical theory against a lot of paradoxes and find that the given logical theory has an answer to all of them, they do “build up a weight of truth relative to one another.” This is formal thought undertaken in an inductive spirit, i.e., in the spirit of empirical science, and this is an especially appropriate way to characterize Russell’s work.

I thought I knew Wittgenstein pretty well, but I was not familiar with the quote that you cited, “one learns the game by watching how others play.” (I have since found the source in

Philosophical Investigations, I, sec. 54) This unquestionably sounds like the later Wittgenstein. It is also a profoundly conservative statement. I do not disagree that this is how the rules of games are usually learned, and there are some famous psychological experiments that seem to bear this out.What we may call the speciation of games, however, must emerge from changing rules of existing games, or formulating rules

de novo, and one does not learn this from watching how othersplaythe game. However, one might well learn this by watching how otherschangethe game, or how others create games. But this could also be called “cheating,” depending upon how exactly the game is changed. What exactly is the difference between cheating and revising a game?Quine has an argument that I think he called “change of logic, change of topic,” which holds that when we formulate a new logic, we have really changed the topic of discussion. This could be applied,

mutatis mutandis, to games, such that an innovation in rules always results in a new game. This would produce a very finely-grain account of game speciation. It would also seem a little silly from a common sense perspective, because then every time we change the wild card in a game of poker, we would no longer be playing poker but some other card game. This dilemma in turn suggests a sorites paradox in relation to game speciation. These are all very interesting questions that invite a treatment in some depth of detail rather than this kind of off-the-top-of-my-head version.Thanks for the examples you sent to me. I will look into them.

Best wishes,

Nick

[…] Figure 1 (Source) […]

[…] As mentioned previously, the conclusions you arrive by working in these different types of geometries are not always the same. One typical example of this is the sum of the internal angles of a triangle. If you measure the three angles inside a triangle in the Euclidean geometry, as we all learned back in school, the sum should always be 180 degrees. Do this on the surface of a sphere (elliptic geometry) and you’ll end up with a sum greater than 180 degrees. On a saddle (hyperbolic geometry), the sum will be smaller. See figure 1 (Source) […]