Stephen Wolfram

MARCH 7, 2022

One can view a symbolic expression such as f[g[x][y, h[z]], w] as a hierarchical or tree structure , in which at every level some particular “head” (like f ) is “applied to” one or more arguments. So how about logic, or, more specifically Boolean algebra ? It’s worth mentioning just one further subtlety. &#10005. &#10005.

Mathematics 120

Mathematics Physics Computer Algebra 120

Stephen Wolfram

SEPTEMBER 9, 2021

Events are like functions, whose “arguments” are incoming tokens, and whose output is one or more outgoing tokens. In physics, energy (and mass) act as a “source of gravity”. In general relativity, the singularity theorems say that when there’s “enough energy or mass” it’s inevitable that a singularity will be formed.

Physics 64

Physics Science Sciences Mathematics 64

Stephen Wolfram

SEPTEMBER 9, 2021

Events are like functions, whose “arguments” are incoming tokens, and whose output is one or more outgoing tokens. In physics, energy (and mass) act as a “source of gravity”. In general relativity, the singularity theorems say that when there’s “enough energy or mass” it’s inevitable that a singularity will be formed.

Science 64

Science Sciences Physics Mathematics 64

Stephen Wolfram

AUGUST 22, 2023

But at a personal and social level it was still always a lot of fun being around Ed and being exposed to his unique intense opportunistic energy—with its repeating themes but ever-changing directions. Then McCarthy started to explain ways a computer could do algebra. It was all algebra. And he says “There’s a problem.

Computer 67

Computer Physics Science Sciences 67

Stephen Wolfram

NOVEMBER 10, 2021

For example, we know (as I discovered in 2000) that (( b · c ) · a ) · ( b · (( b · a ) · b )) = a is the minimal axiom system for Boolean algebra , because FindEquationalProof finds a path that proves it. And we can trace the argument for this to the Principle of Computational Equivalence.

Physics 121

Physics Mathematics Computer Construction 121