Remove Algebra Remove Elementary Remove Flexibility Remove Formal Sciences
article thumbnail

Can AI Solve Science?

Stephen Wolfram

I myself have been using computers and computation to discover things in science for more than four decades now. In 2000 I was interested in what the simplest possible axiom system for logic (Boolean algebra) might be. Yes, there can be a lot of flexibility in this model. But one can’t have a truly “model-less model”.

Science 122