Thursday, August 08, 2013

Still, inventing the predicate calculus entitles you to call yourself Fr∃g∃

Øystein Linnebo was my logic TA (or TF, as they call it) at Harvard. For years I thought he wrote his name with the empty set symbol because he loved logic so much, until I learned that it was a real Norwegian letter.