Remove Algebra Remove Argumentation Remove Biology Remove Calculus
article thumbnail

What should mathematics majors know about computing, and when should they know it?

Robert Talbert, Ph.D.

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. The computer is a tool for studying mathematical ideas in the same sense that a microscope is for studying biology and a telescope is for studying astronomy.

article thumbnail

The Physicalization of Metamathematics and Its Implications for the Foundations of Mathematics

Stephen Wolfram

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.

educators

Sign Up for our Newsletter

This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

article thumbnail

Even beyond Physics: Introducing Multicomputation as a Fourth General Paradigm for Theoretical Science

Stephen Wolfram

Events are like functions, whose “arguments” are incoming tokens, and whose output is one or more outgoing tokens. Chemistry / Molecular Biology. But in thinking about molecular computing it may be crucial—and perhaps it’s also necessary for understanding molecular biology. There are many.

Physics 65
article thumbnail

Multicomputation: A Fourth Paradigm for Theoretical Science

Stephen Wolfram

Events are like functions, whose “arguments” are incoming tokens, and whose output is one or more outgoing tokens. Chemistry / Molecular Biology. But in thinking about molecular computing it may be crucial—and perhaps it’s also necessary for understanding molecular biology. There are many.

Science 64
article thumbnail

The Story Continues: Announcing Version 14 of Wolfram Language and Mathematica

Stephen Wolfram

So did that mean we were “finished” with calculus? Somewhere along the way we built out discrete calculus , asymptotic expansions and integral transforms. And in Version 14 there are significant advances around calculus. Another advance has to do with expanding the range of “pre-packaged” calculus operations.

Computer 102
article thumbnail

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

Stephen Wolfram

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.

article thumbnail

The Concept of the Ruliad

Stephen Wolfram

The global structures of metamathematics , economics , linguistics and evolutionary biology seem likely to provide examples—and in each case we can expect that at the core is the ruliad, with its unique structure. But what about other models of computation—like cellular automata or register machines or lambda calculus?

Physics 122