The formula that appears on the homepage is a mathematical proposition, more commonly known as 1+1=2 in the special case of integer arithmetic. The unusual notation is from “Principia Mathematica” and so are the following excerpts.

Advertisements