Showing posts with label decide. Show all posts
Showing posts with label decide. Show all posts

Saturday, July 11, 2015

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?”