Algebra Argumentation Finance Social Sciences 
Stephen Wolfram
MARCH 5, 2024
In 2000 I was interested in what the simplest possible axiom system for logic (Boolean algebra) might be. of what’s now Wolfram Language —we were trying to develop algorithms to compute hundreds of mathematical special functions over very broad ranges of arguments. Back in 1987—as part of building Version 1.0
Stephen Wolfram
AUGUST 22, 2023
Then McCarthy started to explain ways a computer could do algebra. It was all algebra. And the only conclusion we can arrive at is that a person can’t do this much algebra with the hope of getting it right.” Richard Feynman and I would get into very fierce arguments. And he says “There’s a problem. It’s just my nature.
Expert insights. Personalized for you.
122 
Let's personalize your content