Song Lyrics Nonsense This Week
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.