I'm not very familiar with the history of this area, but I've heard repeatedly that Wolfram has a pattern of implicitly or explicitly taking credit for results he wasn't the first person to discover. Can anyone comment on his claim that he found "the provably very simplest axiom system for logic?"
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.
So, although the article is seemingly about George Boole and his work, the real hero is the always humble Stephen.
Theres an RTE (Irish National Broadcaster) documentary on George Boole thats very good. He was an interesting and brave figure to travel to Ireland during the Irish famine as an Englishman. He was warmly welcomed and he firmly rejected the condescending aristocratic attitudes prevalent in Victorian Britain at that time.