Remove Algebra Remove Computer Science Remove Formal Sciences Remove Math
article thumbnail

Can AI Solve Science?

Stephen Wolfram

We can still ask, though, whether the mathematics—or science—that humans choose to study might manage to live solely in pockets of computational reducibility. In 2000 I was interested in what the simplest possible axiom system for logic (Boolean algebra) might be.

Science 122