Tag: funny stuff
-
Introducing Modley
I have a brand-new favicon at this blog. It is actually a very simple, albeit special, smiley (or “emoji,” of you prefer): Modley is, as most of you have already noticed, the “consequence” or “satisfaction” symbol used in model theory and in Logic in general, rotated 90° counterclockwise. You may typeset the actual symbol $\models$…
-
Obscene Mathematics
Several years ago, I had the idea of setting up a mathematics website. One candidate name was “F!cktorial. Mathematics under consent of the King.” Luckily, I was unable to attain this goal, but I found a YouTube username, Numberphile, that almost fits the bill. I’ve watched two of Numberphile’s videos, they were rather interesting. The…
-
Happy $\binom{2^6}{2}$!
In the Southern hemisphere we are enjoying summer games, like drawing some Boolean algebras. If you’re bored, you may try and check if the drawing is correct.