Algebra Argumentation Biology Computer Science 
Robert Talbert, Ph.D.
FEBRUARY 10, 2023
As I teach my Linear Algebra and Differential Equations class this semester, which uses more computing than ever, I'm thinking even more about these topics. If anything, over the past seven years, my feelings about the centrality of computing in the mathematics major have gotten even more entrenched.
Stephen Wolfram
MARCH 5, 2024
But the computer let me discover just by systematic enumeration the 2-state, 3-color machine that in 2007 was proved universal (and, yes, it’s the simplest possible universal Turing machine). In 2000 I was interested in what the simplest possible axiom system for logic (Boolean algebra) might be. So why does this work?
This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.
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 ? We’ve looked at axioms for group theory and for Boolean algebra.
Stephen Wolfram
SEPTEMBER 9, 2021
At the level of individual events, ideas from the theory and practice of computation are useful. Events are like functions, whose “arguments” are incoming tokens, and whose output is one or more outgoing tokens. Chemistry / Molecular Biology. There are many. Perhaps not for chemistry as it’s done today.
Stephen Wolfram
SEPTEMBER 9, 2021
At the level of individual events, ideas from the theory and practice of computation are useful. Events are like functions, whose “arguments” are incoming tokens, and whose output is one or more outgoing tokens. Chemistry / Molecular Biology. There are many. Perhaps not for chemistry as it’s done today.
Stephen Wolfram
AUGUST 22, 2023
. “Lick” Licklider —who persuaded Ed to join BBN to “teach them about computers”. It didn’t really come to light until he was at BBN, but while at Lincoln Lab Ed had made what would eventually become his first lasting contribution to computer science. Then McCarthy started to explain ways a computer could do algebra.
Stephen Wolfram
MAY 17, 2021
In the basic definition of a standard cellular automaton, the rule “takes its arguments” in a definite order. But what kind of integro-differential-algebraic equation can reproduce the time evolution isn’t clear. RandomGraph[{20, 40}, EdgeStyle -> Gray, VertexStyle -> Table[i -> (RandomInteger[] /. {0
Expert insights. Personalized for you.
52 
Let's personalize your content