Song Lyrics Nonsense This Week

March 30, 2005  |  Tags: ,

Someone took They Might Be Giants’ “Istanbul (not Constantinople)” song and rewrote it using first-order logic (and some set theory).

Original song lyrics here. Excerpt:

Every gal in Constantinople Lives in Istanbul, not Constantinople So if you’ve a date in Constantinople She’ll be waiting in Istanbul

First-order logic lyrics here (part of a LiveJournal community creating similar hilarity). Excerpt of the same lines:

∀ Gal ∈ Constantinople, Lives(Gal,Istanbul) & ¬Lives(Gal,Constantinople) Conclusion: Date(you,Constantinople) → Waiting(her,Istanbul)

CS103X, “introductory discrete math”, might have been the most painful class I took in school — observe, though, how thousands of dollars of education have been put to good use in helping me understand geek jokes.