Remove Algebra Remove Chemistry Remove Engineering 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. Many of the equations and situations most studied in practice (say for engineering purposes) tend to avoid it, but certainly in general it’s there (notably, say, in phenomena like fluid turbulence).

Science 124