Blog by Sumana Harihareswara, Changeset founder
Jade and I are two wacky pals when we talk…
Hi, reader. I wrote this in 2002 and it's now more than five years old. So it may be very out of date; the world, and I, have changed a lot since I wrote it! I'm keeping this up for historical archive purposes, but the me of today may 100% disagree with what I said then. I rarely edit posts after publishing them, but if I do, I usually leave a note in italics to mark the edit and the reason. If this post is particularly offensive or breaches someone's privacy, please contact me.
Jade and I are two wacky pals when we talk Logic together.
Me: I keep accidentally picking the instantial variable u and ending up with a whole bunch of "Fu"s. [pronounced "f you"]
Jade: You should keep that. You could write it all over your paper. "For all u, Fu."
Me: Yeah, usually it's just "there exists a u such that Fu," but sometimes it's, "for all of u, Fu."