Axiom: A Mathematics of Poetry

Today in a Facebook posting by Susanne Pumpluen

 I learned of Discov-her, an online journal 

featuring stories about women in Science. 

* * *

     The following poetry offering is by Richard Smyth who has written a parody of an introduction to the mathematics of logic (specifically Laws of Form by G Spencer Brown*, Julian Press, 1972).  Smyth founded Anabiosis Press which offers the poetry journal Albatross and which has now evolved into Anabiosis Online.  
     I invite you to enjoy this play of words and ideas:

AXIOM: A MATHEMATICS OF POETRY     by Richard Smyth

It shall be taken as given the idea of infinition. The idea of infinition stands in direct opposition to the idea of definition.

Definition
     Infinition is the act of making indefinite or unclear. That is to say, while some uses of language attempt to clarify, others attempt to obfuscate.

Construction
     Make a poem.  

That's so random! (NPR, OEDILF, etc.)

     One of the challenges I face in friendly conversations is not to overreact to a "misuse" of the word random.  When I hear someone use that word to describe events that are peculiar or haphazard my heart-rate rises in protest.  It is as if I am in math class where every term has one, quantifiable definition -- my use of random describes a situation when a variety of things may happen and all of them are equally likely.  Like when a fair coin is tossed, or a die.  Or when a lottery ticket is selected.
     Recently my attitude was aired nationally. Sort of.  On Friday, November 30, NPR's Evening Edition featured a discussion of random.  Written by commentator Neda Ulaby, "That's So Random:  The Evolution of an Odd Word" mentions the 1995 film "Clueless," a comedian (Spencer Thompson), the Hacker's Dictionary  -- and also includes comments from the Oxford English Dictionary's editor, Jesse Sheidlower. I am rethinking my stubborn position.

Best words in the best order

     Writers of mathematics strive for clear and careful wording, especially in the formulation of definitions. Well-specified definitions can enable theorems to be proved succinctly. For example, the relation "less than" (denoted <) for the positive integers {1,2,3,...} may be defined as follows:

     If  a  and  b  are integers, then 
               a < b  if  b - a  is a positive integer. 

     Although the simple definition of "less than" as "to the left of" in the list {1,2,3,...} is intuitively clear, the formal definition above is better suited for mathematical arguments. It defines "less than" in terms of the known term, "positive." This sort of sequencing of definitions is common in mathematics -- one may go on to define "greater than" in terms of "less than," and so on.
     Saying things in the best way is also a goal of poetry. Well known to many are these words of poet Samuel Taylor Coleridge (1772–1834): 

"Mathematical" Limericks

A dozen, a gross, and a score
Plus three times the square root of four
     Divided by seven
     Plus five times eleven
Is nine squared and not a bit more.