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.