Remove Algebra Remove Architecture Remove Argumentation Remove Flexibility
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
article thumbnail

Even beyond Physics: Introducing Multicomputation as a Fourth General Paradigm for Theoretical Science

Stephen Wolfram

Events are like functions, whose “arguments” are incoming tokens, and whose output is one or more outgoing tokens. Imagine for example that one has a neural net with a certain architecture. The systems can be based on Boolean algebra, database updating or other kinds of ultimately computational rules.

Physics 64
article thumbnail

Multicomputation: A Fourth Paradigm for Theoretical Science

Stephen Wolfram

Events are like functions, whose “arguments” are incoming tokens, and whose output is one or more outgoing tokens. Imagine for example that one has a neural net with a certain architecture. The systems can be based on Boolean algebra, database updating or other kinds of ultimately computational rules.

Science 64