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. Back in 1987—as part of building Version 1.0

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. In “quant finance”—which, yes, coincidentally sounds a bit like “quantum”—it’s for example common to estimate prices from looking at the effects of all possible paths, say approximated by Monte Carlo.).

Physics 65
educators

Sign Up for our Newsletter

This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

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. In “quant finance”—which, yes, coincidentally sounds a bit like “quantum”—it’s for example common to estimate prices from looking at the effects of all possible paths, say approximated by Monte Carlo.).

Science 64
article thumbnail

Remembering the Improbable Life of Ed Fredkin (1934–2023) and His World of Ideas and Stories

Stephen Wolfram

Then McCarthy started to explain ways a computer could do algebra. It was all algebra. And the only conclusion we can arrive at is that a person can’t do this much algebra with the hope of getting it right.” Richard Feynman and I would get into very fierce arguments. And he says “There’s a problem. It’s just my nature.