Remove Algebra Remove Argumentation Remove Biology
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 Story Continues: Announcing Version 14 of Wolfram Language and Mathematica

Stephen Wolfram

The function Map takes a function f and “maps it” over a list: Comap does the “mathematically co-” version of this, taking a list of functions and “comapping” them onto a single argument: Why is this useful? But we wanted to be able to compute hundreds of different functions to arbitrary precision for any complex values of their arguments.

Computer 100
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 67
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.

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. And we can trace the argument for this to the Principle of Computational Equivalence. But that’s not all there is to it.

Physics 121
article thumbnail

Five Most Productive Years: What Happened and What’s Next

Stephen Wolfram

The fall of 2021 involved really leaning into the new multicomputational paradigm , among other things giving a long list of where it might apply : metamathematics, chemistry, molecular biology, evolutionary biology, neuroscience, immunology, linguistics, economics, machine learning, distributed computing.

Physics 114
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.