3 ms·
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 p
by dragandj 11y ago
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.
- dang 11y agoPlease don't do this here. This reflexive criticism of everything Wolfram touches, however originally justified, has become a derangement syndrome in its own right. https://news.ycombinator.com/item?id=10723588 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.