Remove Achievement Remove Algebra Remove Formal Sciences Remove Primary
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. It’s worth mentioning, by the way, that while the three-body problem does show sensitive dependence on initial conditions , that’s not the primary issue here; rather, it’s the actual intrinsic complexity of the trajectories.)

Science 122