Stephen Wolfram

JUNE 28, 2023

And, yes, when you try to run the function, it’ll notice it doesn’t have correct arguments and options specified. But what if we ask a question where the answer is some algebraic expression? And, yes, it’s taken a while, but now in Version 13.3 But you’d like to know that what you’re typing isn’t right as soon as you type it.

Computer 121

Computer Calculus Construction Mathematics 121

Stephen Wolfram

SEPTEMBER 9, 2021

Events are like functions, whose “arguments” are incoming tokens, and whose output is one or more outgoing tokens. The systems can be based on Boolean algebra, database updating or other kinds of ultimately computational rules. At the level of individual events, ideas from the theory and practice of computation are useful.

Physics 67

Physics Science Sciences Mathematics 67

Stephen Wolfram

SEPTEMBER 9, 2021

Events are like functions, whose “arguments” are incoming tokens, and whose output is one or more outgoing tokens. The systems can be based on Boolean algebra, database updating or other kinds of ultimately computational rules. At the level of individual events, ideas from the theory and practice of computation are useful.

Science 61

Science Sciences Physics Mathematics 61

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

Stephen Wolfram

AUGUST 29, 2024

In the end—after all sorts of philosophical arguments, and an analysis of actual historical data —the answer was: “It’s Complicated”. A test example coming soon is whether I can easily explain math ideas like algebra and calculus this way.) Infrageometry—as its name suggests—starts from something lower level than traditional geometry.

Physics 114

Physics Computer Biology Mathematics 114

Stephen Wolfram

AUGUST 22, 2023

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.

Computer 70

Computer Physics Sciences Science 70