Math fun with song lyrics

Song-writer Bill Calhoun is a faculty member in the Department of Mathematics, Computer Science and Statistics at Pennsylvania's Bloomsburg University (where I also hung out for many years). He belongs, along with colleagues Erik Wynters and Kevin Ferland, to a band called "The Derivatives."  And Bill has granted permission for me to include several of his math lyrics (parodies) here. (In this previous post, we consider the connection between song parodies and mathematical isomorphism.)  My first Calhoun selection deals with difficult mathematical questions concerning classification of infinite sets and decidability.  Following that, later lyrics consider proving theorems and finding derivatives.

Questions You Can’t Ever Decide*      by Bill Calhoun

(These lyrics match the tune of  "Lucy in the Sky with Diamonds" by Lennon and McCartney.)

Picture yourself in  a world filled with numbers,
But the numbers are really just words in disguise.
Gödel says “How can you prove you’re consistent,
If you can’t tell that this is a lie?”    

Chatting about REAL numbers

The term "real number" confuses many who are not immersed in mathematics.  For these, to whom 1, 2, 3 and the other counting numbers seem most real, the identification of the real numbers as all infinite decimals (i.e., all numbers representable by points on a number line) seems at first to go beyond intuition.  But, upon further reflection, the idea of a number as "real" iff it can represent a distance on a line to the right or left of a central origin, 0, indeed seems reasonable.

Professor Fred Richman of Florida Atlantic University takes on the questions of computability and enumerability of the real numbers in his poem, "Dialogue Between Machine and Man":

Which are "real" numbers?

The adjective "real" in the term "real number" causes confusion for many whose mathematics is casual rather than intense.  I like the mathematical definition of a number as real iff it corresponds to a point on the number line -- for this gives the abstract number a geometric counterpart (an attachment to reality) -- but there are others for whom the reality of a number depends on its emotional connections, perhaps used in ways that poet Ginger Andrews uses numbers in the following poem.  

Reflections on the Transfinite

     Georg Cantor (1845-1918), a German mathematician, first dared to think the counter-intuitive notion that not all infinite sets have the same size--and then he proved it:  The set of all real numbers (including all of the decimal numbers representable on the number line) cannot be matched in a one-to-one pairing with the set of counting (or natural) numbers -- 1,2,3,4, . . . .   Sets whose elements can be matched one-to-one with the counting numbers are termed "countable" -- and Cantor's result showed that the set of all real numbers is uncountable.
     Cantor developed an extensive theory of transfinite numbers -- and poet (as well as philosopher and professor) Emily Grosholz reflects on these in a poem:

Digital poetry -- Stephanie Strickland et al

Stephanie Strickland writes with mastery of numbers, as we see in her poem below.  But numbers are only the beginning of her work.  A director of the Electronic Poetry Association and author of "Born Digital," Strickland is one of the leaders in the development of new types of poems that are constructed using animation and rearrangements and other visual and aural communications made possible by computers and the internet.