Image

# 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):

The first model-theoretic smiley!

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$ in $\LaTeX$ by using \models in math mode.

One can metaphorically say that the sole introduction of this symbol signals the beginning of modern mathematical logic, since it works as the bounds between mathematical structures (on the left) and the language in which we write their properties (on the right).

Video

# 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 first one is about a formula that “plots itself”.

The second video concerns some rather strange ways we name numbers.

Image

# Happy $\binom{2^6}{2}$!

In the Southern hemisphere we are enjoying summer games, like drawing some Boolean algebras.

￼￼￼￼￼￼￼Boolean algebra with 6 atoms

If you’re bored, you may try and check if the drawing is correct.