Stephen Wolfram

SEPTEMBER 9, 2021

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. And the same issue arose for Alonzo Church’s lambda calculus (introduced around 1930).

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. Imagine for example that one has a neural net with a certain architecture. And the same issue arose for Alonzo Church’s lambda calculus (introduced around 1930).

Science 64

Science Sciences Physics Mathematics 64

Stephen Wolfram

AUGUST 22, 2023

It didn’t help that his knowledge of physics was at best spotty (and, for example, I don’t think he ever really learned calculus). Then McCarthy started to explain ways a computer could do algebra. It was all algebra. Richard Feynman and I would get into very fierce arguments. 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. But what about other models of computation—like cellular automata or register machines or lambda calculus?

Physics 121

Physics Mathematics Computer Construction 121