Remove Algebra Remove Chemistry Remove Finance Remove Social 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. Beyond the “Exact Sciences” In areas like the physical sciences we’re used to the idea of being able to develop broad theories that can do things like make quantitative predictions. So might AI change that?

Science 122
article thumbnail

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

Stephen Wolfram

In 2015 Ed told me a nice story about his time at Caltech: In 1952–53, I was a student in Linus Pauling’s class where he lectured Freshman Chemistry at Caltech. Then McCarthy started to explain ways a computer could do algebra. It was all algebra. And he says “There’s a problem.