@nprofile1q... he and his friend Alfred Whitehead tried to lay the foundations for mathematics starting with only logic as a axioms. They wrote three thick tomes full of formulas. Then came Kurt Godel and fucked it all up.