TL;DR: "And then, as it happens, 16 years ago I ended up finishing this 150-year process, by finding—largely as a side effect of other science I was doing—the provably very simplest possible axiom system for logic, that actually happens to consist of just a single axiom.", says Stephen Wolfram.<p>So, although the article is seemingly about George Boole and his work, the real hero is the always humble Stephen.