Friday, February 15, 2008

Is Pure Mathematics Poetic?


I receive a very important comment the other day from Jonathan who uses the JD2718 to identify himself on his blog. His comment was in reference to axiomatic mathematical poetry. However, I think his question is much broader.

Jonathan expressed the following:

Abraham, cats, Gods.

One, numbers, successors.

Which is really more poetic?

This is a sticky question because I want to avoid slipping into the bottomless void of the “What is poetry? What is art?” question However; I can discuss elements of poetry from which my idea of poetics is derived. I also want to add the following statements are not a value judgment on the aesthetics of mathematics. The mathematical aesthetic is one of the most wonderful experiences one may realize.

To answer Jonathans question; I am assuming that his question implies that pure mathematics is poetic. It is my view that pure mathematics is not poetic. Furthermore, the quick and dirty response to this question is that pure mathematics is different from poetics the same as pure mathematics is different from physics. Physics and Mathematical poetry, although vastly different, live in the realm of applied mathematics. Even when we ‘feel’ that pure mathematics is poetic, we are applying mathematics to some preconceived notion of what we believe poetry is without actually applying it. We may choose to argue that mathematics contains elements of poetry such as rhythm and pattern. Yet one may argue that it is not maths that has poetic elements but poetry that has mathematical elements. For the sake of argument, let us say that poetry possesses the mathematical element of pattern. I would like to make the point that it is difficult to get excited about these metric patterns when taken out of the context of poetry and view in only the light of mathematics. I know we are starting to get away from the intention of our question however, the point I want to make is that the aesthetics of mathematics is much different from the aesthetics of poetry and poetics. Thepolyaesthetic experience’ that we are discussing is a vector sum experience of the aesthetics of art/language poetry and the aesthetic of mathematics. (They are different aesthetics) If we were to separate the mathematical aesthetic from a language poem how beautiful is it? Now let us look at the aesthetics of mathematical pattern by comparing the beauty of the pattern in iambic pentameter (or any other meter for that matter) to the beauty of self-similar patterns in a mathematically generated fractal. Which is more beautiful? Is the ‘isolated’ metric pattern in poetry more beautiful than a fractal? How about asking, “Is the fractal poetic?” If so what are the elements of poetry in the fractal. Is it the concept of rhythm that makes maths poetic? Are all things displaying rhythm poetic? The point I am trying to produce is that mathematical poetry, makes the structure of mathematics poetic only by application of poetics within that structure. Pure mathematics is not poetic by itself.

When addressing the metric beauty in language poetry; the metric beauty is not relevant to the mathematical pattern per se. It is relevant to the aesthetics involved in the relationship of the pattern to the words and the sounds of the words with its synesthetic energy igniting the meaning of the words as they point further to the cultural and historical relationships within the poem. The mathematical aesthetic devoid of the poetic aesthetic plays an extremely limited role in the aesthetics of language poetry. Yes, there is maths in the poetry however, break it out of the poetry, isolate it and I believe it becomes aesthetically trivial.

Let us look at metaphor – Does pure mathematics express metaphor? How could it? for pure mathematics is more about illuminating the logical structure of thinking. The key word that I want to stress is “logical”. Metaphor requires logical tension if not paradox to function as a concept to bridge the infinite to the concrete. However, I must say that mathematics does provide us with the linguistic structure to express metaphor. Again, this is the issue of pure mathematics relative to applied mathematics. To express metaphor you have to have an application of poetic concepts. You need a source domain and a target domain. (see the section on metaphor structure at Wikipedia) Pure mathematics does not have these metaphoric domains until we apply the poetic idea to the structure of maths as we do in mathematical poetry. The essay “Polyaesthetics and mathematical poetry” goes into more detail on this matter as well as an interview conducted by poetic aesthetician Gregory Vincent St. Thomasino. The interview will soon be published at “word for/word” an online journal of new poetry. I hope to announce the interview soon at this blog.

Axiomatic Poems


This is a page devoted to collect information on axiomatic poems.

Introduction to axiomatic poems -- Peano’s string; a history of spiritual stories.

Axiomatic Poems part two -- More structure added to Peano’s string; a history of spiritual stories.

The addition of another stanza and creating a metamorphic poem.

Proof that no cat is the God of itself (Peano’s proof by Professor Ray Balbes)

Wednesday, February 13, 2008

Download Polyaesthetics and Mathematical Poetry

In March of 2007 I announced “Polyaesthetics and Mathematical Poetry.” published by Taylor and Francis in the Journal of Mathematics and the Arts Edited by Professor Gary Greenfield. This paper outlines many of the basic principles of mathematical poetry and polyaesthetics.

The contents of the paper are available for downloaded free at this link.

Journal of Mathematics and the Arts published “Polyaesthetics and Mathematical Poetry” March 2007 Volume 1 Number 1 ISSN 1751-3472

The published paper can be purchased at this link.

Thursday, February 07, 2008

Proof That No Cat Is The God Of Itself

The Mathematician, Professor Ray Balbes will prove to you that “No Cat Is The God Of Itself”.

At the end of my blog entry for Axiomatic poems dated January 29, 2008 I asked the question, “Can these axioms create interesting theorems?” And the answer is definitely yes! Professor Balbes has shown us four theorems that are proven from the Peano’s axioms. Due to the poetic nature of the new axioms, not only are the four theorems poetic but even the proof of theorem #1 is poetic. Furthermore, the choices Professor Balbes made for the terminology in his proof shows his perceptions of how the poetic nature of the axioms should extend. Therefore, there can be uncountable variations of poetic form in the proofs one could make for the theorems. I find this very exciting.

Kaz

The Professor Ray Balbes wrote the following text:

For reference, here is what we have so far.

The Peano Axioms

  1. One is a number
  2. If x is a number, the successor of x is also a number.
  3. One is not the successor of any number.
  4. If two numbers have equal successors, they are equal.
  5. If a set of numbers contains the number one and it contains all the successors of its members then the set contains all the numbers.

Let us replace “number” with “cat” and let us also replace “successor” with “God”. Lastly, I am going to replace “One” with “Abraham”.

The Poetic Peano Axioms

  1. Abraham is a cat
  2. If x is a cat, the God of x is also a cat.
  3. Abraham is not the God of any cat.
  4. If two cats have equal Gods, they are equal.
  5. If a set of cats contains the cat Abraham and it contains all the Gods of its members then the set contains all the cats.

OK, now to make the theorems more succinct, lets set up some conventions. With regard to the Peano Axioms, let us call the set of all numbers N and let us denote by n’, the successor of n

Also let:

11 = 1’

12 = 1’’

13 = 1’’’

etc.

We will refer to 1’ by the name of 2, 2’ will be called 3, etc.

Axiom 3 says that there is no n such that n’=1.

Axiom 4 says that if m’ = n’ then m=n.

Axiom 5 says that if S is a non-empty subset of N with these 2 properties:

i) 1 is in S

ii) If n is in S then n' is in S.

Then S = N.

Here are three theorems that lead up to the Well Ordering Principle. First, I will state them in terms of the Peano Axioms, next in terms of the Poetic Peano Axioms and finally I will prove something.

Theorem 1. For every n in N, n’≠n.

Theorem 2. If n ≠ 1 then n=m’ for some m.

We will say that m ≤ n provided that m = n or mp = n, for some p

Theorem 3. For every n in N, 1 ≤ n

Theorem 4 (The Well Ordering Principle) If S is any non empty subset of N then there is a number m in S such that m ≤ n for all n in S.

Here are the theorems in terms of the Poetic Peano Axioms. We will say that m is the source of n provided that m ≤ n. In other words, a finite number of Gods of m, yields n.

Theorem 1 No cat is the God of itself.

Theorem 2. Every cat, other than Abraham is the God of some other cat.

Theorem 3. Every cat has Abraham as a source.

Theorem 4 (The Well Ordering Principle) In any (non-empty) set of cats, there is one that is the source of all the others.

Here is the proof of Theorem 1 in terms of the Peano Axioms

Let S = {n| n’ ≠ n}. We will show that S satisfies the conditions i) and ii) of Axiom 5. By Axiom 3, 1 is in S so i) is true. To prove ii), suppose that n is in S then n’≠n. But if n’’=n’ then, by Axiom 4, we would have n’=n, a contradiction, so n’’<>n’. Hence n’ is in S. This means that S satisfies the conditions of Axion 5 and therefore S= N. So that n’<>n for all n in N.

Here’s the proof of Theorem 1 in terms of the Poetic Peano Axioms. Note that in the proof, I am referring to the Poetic Peano Axioms, not the Peano Axioms.

Consider the set S of all cats that are not Gods of themselves. We will show that S satisfies the conditions i) and ii) of Axiom 5. By axiom 3, Abraham is a member of S so i) is true. To prove ii), suppose that Isaac is a cat in S then Isaac is not the God of Isaac. Suppose the God of Isaac is Moishe. Now if the God of Moishe is Moishe then by Axiom 4, Moishe would be Isaac; that is the God of Isaac would be Isaac, a contradiction. Hence Moishe is in S. Since Moishe is the God of Isaac, we have shown that the God of Isaac is in S; in other words, the condition ii) of Axiom 5 is satisfied and thus S is the set of all cats. This means that all cats satisfy the property that they are not Gods of themselves.

The proofs of the other theorems are similar to this.

Ray

Tuesday, February 05, 2008

Axiomatic Poems Part Two


I have been having some wonderful conversations with the mathematician Ray Balbes. Ray has been asking some very important questions concerning the axiomatic poem. Ray has also helped me by correcting mathematical errors in my nomenclature.

Ray also has had concerns with the idea of God being a viable substitute for successor within the Peano axioms. For God in this sense must be comparable to a mathematical function. I personally have no problem with this idea for my understanding of the word God is metaphorical anyway. Therefore, I can see this metaphoric structure of “God IS mathematical function” as being nested e.g. metaphors within metaphors. The question then would be is God a mathematical function? Alternatively, can we say God functions mathematically? Historically God is described beyond language so I would not try to convince anyone otherwise. I personally do not see God functioning mathematically as a mathematical Platonist would however, I do see the accessibility of ideas mathematically expressed as phenomena attributed to a deity. I believe if you denote phenomena with words, you can do the same with math. Furthermore, I would go on to say that if you can be inspired to connote it with words you can do the same with math for those type of inspirations fuel mathematical poetry.

Therefore, the poem addresses the dichotomy of God being created by men or men being created by God.

To help anyone see how the logic in Peano’s axioms is functioning correctly in the Blog entry of January 29th, I created another axiomatic poem to show some more structure. The disadvantage to creating another ‘equal’ poem is that the new poem focuses the semantics in such a way that limits the metaphorical content. The advantage is that it gives more semantic structure, which enables one to see the Peano logic with ease. So in essence, we now have an axiomatic poem, which has metamorphic qualities. We see that the Peano axioms function as the underlying paradigm for the poem however, it could be viewed as the source domain with the other two ‘axiomatic stanzas’ as the target domains for the ‘overall metaphor’. In this case, we have three structures separated by two equal signs.

The Peano Axioms

  1. One is a number
  2. If x is a number, the successor of x is also a number.
  3. One is not the successor of any number.
  4. If two numbers have equal successors, they are equal.
  5. If a set of numbers contains the number one and it contains all the successors of its members then the set contains all the numbers

Poem #1 -- Peano’s string; a history of spiritual stories

  1. Abraham is a story
  2. If x is a story, the unique inspiration of x is also a story.
  3. Abraham is not the unique inspiration of any story
  4. If two stories have equal unique inspiration, they are equal.
  5. If a set of stories contains the story Abraham and it contains all the unique inspirations of its members then the set contains all the stories.


Poem #2 -- Peano’s string; a history of spiritual stories

  1. Abraham is a cat
  2. If x is a cat, the God of x is also a cat.
  3. Abraham is not the God of any cat.
  4. If two cats have equal Gods, they are equal.
  5. If a set of cats contains the cat Abraham and it contains all the Gods of its members then the set contains all the cats.

Poem #1 = Poem#2

Monday, February 04, 2008

The Metamorphic Mathematical Poem


From Poems 1972-1997 Copyright © 1997 by Scott Helmes



"Philosophic cocktails" by Thierry Brunet 2007

I would like to introduce a new term for a technique used in mathematical poetry. The first person I know to have used this technique is Scott Helmes. His poem from 1997 (upper image) illustrates the technique well. One can see that it has five structures separated by four equal signs. What occurs is that the mathematical poem contains several structures (equations) all set equal to each other. In effect, the poem reads as a series of statements that metamorphose into each other through the duration while reading the poem.

The lower image, by Thierry Brunet, titled “Philosophic cocktails” is also a metamorphic mathematical poem as you can see three structures separated by two equal signs.

A metamorphic mathematical poem could possess unlimited structures and equal signs however; it must contain at least three structures separated by two equal signs to be considered metamorphic.

The aesthetically interesting thing about these poems is that the target domain and the source domain for the ‘overall whole’ metaphor bounces and shimmers in ones mind as you swap or rotate the domains around each other. This is due to there being multiple domains for the target and source. **

**The metaphor nomenclature borrowed from the cognitive scientist George Lakoff can be viewed in more detail at this link.

Visit the National Gallery of Writing