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.