L'oroscopo di oggi

Come tutti i matematici, anche io seguo quotidianamente l'oroscopo. Quello di The Onion è molto particolare, infatti per me dice questo:

L'amore significa cose diverse per persone diverse, ma voi siete gli unici per i quali significa che ad ogni classe κ di formule che sia ω-coerente e ricorsiva corrispondono segni-di-classe ricorsivi r tali che né v Gen r né Neg(v Gen r) appartengano a Flg(κ) (dove v è la variabile libera di r).

(via Ars Mathematica - qui la dimostrazione dell'oroscopo)