Artificial Intelligence in the Library . . .

     Libraries are wonderful places and library book sales are temptations impossible to resist -- and so, during a recent trip to Boston and exploration of the historic public library buildings on Boylston Street, I purchased a copy of Living Proof  (Florida International University Press, 1985) by Edmund Skellings (1932-2012).  Born in Boston and a poet laureate of Florida, Skellings was a pioneer in the application of computers to the arts and humanities.  The word "proof" in his title was enough to make me pick up the book and I have relished the opportunity to turn up memories of a long ago graduate course in AI while reading this poem:

Artificial Intelligence     by Edmund Skellings

Euclid rolled over in his bones
When Newell & Simon instructed
Their machine to look for new proof
For bisecting the ordinary triangle.   

Poetry heard at JMM

In Boston on Friday evening, January 6, at the 2012 Joint Mathematics Meetings, these folks gathered and read -- for a delighted audience in Room 312 of Hynes Convention Center -- some poems of mathematics.
     Poets who submitted work in advance and were on the "Poetry with Mathematics" program included:
          Jacqueline Lapidus, Judith Johnson, Rosanna Iembo (accompanied by the violin of her daughter Irene Iaccarino), Charlotte Henderson, Carol Dorf (read by Elizabeth Langosy), Sandra Coleman, Marion Cohen, Tatiana Bonch (read by John Hiigli), Harry Baker (via video presented by reading organizer Gizem Karaali -- an editor of the online Journal of Humanistic Mathematics, which sponsored the the reading), and JoAnne Growney (also an organizer of the reading).
     Participants during an "open reading" included: 
          Mary Buchinger, Chris Caragianis, Rip Coleman, Seth Goldberg, Joshua Holden, Ann Perbohner, Pedro Poitevin, and Jason Samuels.