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?"
over the course of the century that followed, a few progressively simpler forms of it were found
and
But in the context of George Boole, one can say that it’s a minimal version of his big idea
Since this is an aside, he doesn't cover it in depth. However, he is clearly saying (1) that his claim is a derivative of Boole's idea, and (2) that lots of other people made simplifications before he did.
This doesn't sound to me like "implicitly or explicitly taking credit for results he wasn't the first person to discover".
And the last time I saw such a claim on HN, it was clearly wrong.
In passing, my own favorite simplification is G Spencer Brown's Laws of Form, which has mostly been forgotten now.
He certainly put his claim in context, but my suspicion was that "I ended up finishing this 150-year process" was a bit grandiose, so I wanted to see if anyone was familiar with this work.
People can definitely be quick to criticize Wolfram for pomposity, but I've seen a lot of passages from A New Kind of Science where he says "I discovered X" but means "someone else discovered X, then I confirmed it for myself."
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.
Please don't do this here. This reflexive criticism of everything Wolfram touches, however originally justified, has become a derangement syndrome in its own right.
The topic here is George Boole, an important and fascinating figure. We ought to be able to discuss Boole whether the OP's name is Wolfram or not, whether or not he drops asides about himself. Otherwise we just turn into the mirror image of the very quality we find annoying.
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.
10 comments
[ 3.7 ms ] story [ 39.0 ms ] threadover the course of the century that followed, a few progressively simpler forms of it were found
and
But in the context of George Boole, one can say that it’s a minimal version of his big idea
Since this is an aside, he doesn't cover it in depth. However, he is clearly saying (1) that his claim is a derivative of Boole's idea, and (2) that lots of other people made simplifications before he did.
This doesn't sound to me like "implicitly or explicitly taking credit for results he wasn't the first person to discover".
And the last time I saw such a claim on HN, it was clearly wrong.
In passing, my own favorite simplification is G Spencer Brown's Laws of Form, which has mostly been forgotten now.
https://en.wikipedia.org/wiki/Laws_of_Form
People can definitely be quick to criticize Wolfram for pomposity, but I've seen a lot of passages from A New Kind of Science where he says "I discovered X" but means "someone else discovered X, then I confirmed it for myself."
See https://en.wikipedia.org/wiki/Wolfram_axiom for more.
So, although the article is seemingly about George Boole and his work, the real hero is the always humble Stephen.
https://news.ycombinator.com/item?id=10723588
The topic here is George Boole, an important and fascinating figure. We ought to be able to discuss Boole whether the OP's name is Wolfram or not, whether or not he drops asides about himself. Otherwise we just turn into the mirror image of the very quality we find annoying.
You can see a trailer here: https://www.youtube.com/watch?v=aEjzjLv-YjI