Adventures in Geometrical Intuition

31 October 2010

Sunday


Euclid provided the model of formal thought with his axiomatization of geometry, but Euclid also, if perhaps unwittingly, provided the model of intuitive mathematical thought by his appeals to geometrical intuition.

Over 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 grainA Question for Philosophically Inclined Mathematicians, Fractals and the Banach-Tarski Paradox, and A visceral feeling for epsilon zero.

Benoît Mandelbrot rehabilitated geometrical intuition.

Not 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.

Kurt Gödel was part of the tradition of logically rigorous foundationalism, but he did not reject geometrical intuition on that account.

Geometrical 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.

As 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.

Bertrand Russell was a major player in extending the arithmetization of analysis by pursing the logicization of arithmetic.

Bertrand 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.

In 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.

If 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.

The 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.

One 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.

With 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).

Thinking 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

1. Benoît Mandelbrot, R.I.P.

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

6. A Note on Fractals and Banach-Tarski Extraction

7. Geometrical Intuition and Epistemic Space

. . . . .

signature

. . . . .

Grand Strategy Annex

. . . . .

About these ads

3 Responses to “Adventures in Geometrical Intuition”

  1. Josh Dinsmore said

    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

    • geopolicraticus said

      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 others play the game. However, one might well learn this by watching how others change the 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

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

Follow

Get every new post delivered to your Inbox.

Join 328 other followers

%d bloggers like this: