John Baez and James Dolan, From Finite Sets to Feynman Diagrams an explosion of ideas equality x=x is boring why is 6÷2=3 ? (Source: arxiv.org)