Remove Algebra Remove Argumentation Remove Flexibility Remove Formal Sciences
article thumbnail

Can AI Solve Science?

Stephen Wolfram

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. Yes, there can be a lot of flexibility in this model.

Science 122