CSTEM

JULY 30, 2024

Elementary students rarely encounter computer science or engineering, and advanced science courses in high school favor higher-income, non-minority students. In middle schools offering algebra, white students make up 50% of the attendees, but 58% of those enrolled in algebra classes.

Algebra 52

Algebra Education Education Economics 52

Stephen Wolfram

MARCH 7, 2022

And in what follows we’ll see the great power that arises from using this to combine the achievements and intuitions of physics and mathematics—and how this lets us think about new “general laws of mathematics”, and view the ultimate foundations of mathematics in a different light. So how about logic, or, more specifically Boolean algebra ?

Mathematics 116

Mathematics Physics Computer Algebra 116

Futurum

JUNE 28, 2022

This is particularly impressive when one considers that this is achieved without even knowing how non-stationary the environment is. Machine learners use a mix of mathematics and computer science to develop and test their algorithms. WHAT INSPIRED YOU TO BECOME A COMPUTER SCIENTIST? HOW GROUND-BREAKING IS THIS RESEARCH?

Artificial Intelligence 88

Artificial Intelligence Learning Computer Science Computer 88

Vivify Stem

MAY 5, 2021

For example, in middle school, students are expected to “develop a model to generate data for iterative testing and modification of a proposed object, tool, or process such that an optimal design can be achieved” ( MS-ETS1-4 ). What science concepts can inform design decisions? How can geometry and algebra support testing and analysis?

Engineering 52

Engineering Learning STEM Achievement 52

Stephen Wolfram

SEPTEMBER 27, 2024

But functions that for example test whether a Turing machine will ever halt (or give the state that it achieves if and when it does halt) are not in general primitive recursive. in computer algebra systems I’d used. are also primitive recursive.

Computer 108

Computer Mathematics Argumentation Sciences 108

Robert Talbert, Ph.D.

FEBRUARY 8, 2023

This is the second part of a two-parter where I am going into detail about how the grading system in my current course, Linear Algebra and Differential Equations, is set up. This helps me avoid conundrums like when a student has maxed out all the achievements in the course but missed on one Foundational Skill.)

Computer 52

Computer Achievement Algebra Chemistry 52

Stephen Wolfram

AUGUST 29, 2024

An idea that was someone’s great achievement had been buried and lost to the world. And there are also foundational questions in computer science. My goal is to create a general book—and course—that’s an introduction to computational thinking at a level suitable for typical first-year college students.

Physics 112

Physics Computer Biology Mathematics 112

Stephen Wolfram

SEPTEMBER 9, 2021

Part of what this achieves is to generalize beyond traditional mathematics the kind of constructs that can appear in models. But there is something else too—and it’s from this that the full computational paradigm emerges. The systems can be based on Boolean algebra, database updating or other kinds of ultimately computational rules.

Physics 66

Physics Sciences Science Mathematics 66

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. But what happens with other paths?

Sciences 116

Sciences Science Computer Mathematics 116

Stephen Wolfram

SEPTEMBER 9, 2021

Part of what this achieves is to generalize beyond traditional mathematics the kind of constructs that can appear in models. But there is something else too—and it’s from this that the full computational paradigm emerges. The systems can be based on Boolean algebra, database updating or other kinds of ultimately computational rules.

Sciences 60

Sciences Science Physics Mathematics 60

Stephen Wolfram

MAY 17, 2021

Traditional blockchains achieve consensus through what amounts to a centralized mechanism (even though there are multiple “decentralized” copies of the blockchain that is produced). In both these cases, the rule successfully achieves “global consensus”. So what other cellular automaton rules achieve consensus like this?

Computer 52

Computer Achievement Mathematics Physics 52

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 the Principle of Computational Equivalence tells us this isn’t correct.

Physics 117

Physics Mathematics Computer Construction 117

Stephen Wolfram

AUGUST 22, 2023

Ed was never officially a “test pilot”, but he told me stories about figuring out how to take his plane higher than anyone else—and achieving weightlessness by flying his plane in a perfect free-fall trajectory by maintaining an eraser floating in midair in front of him. Then McCarthy started to explain ways a computer could do algebra.

Computer 69

Computer Physics Sciences Science 69

Stephen Wolfram

MAY 16, 2022

And what determines our experience—and the science we use to summarize it—is what characteristics we as observers have in sampling the ruliad. And these ideas build crucially on the paradigm of A New Kind of Science. All of these ideas rest on what was achieved in A New Kind of Science but now go significantly beyond it.

Sciences 64

Sciences Science Mathematics Physics 64

Stephen Wolfram

JANUARY 9, 2025

And in fact, to my knowledge, my Boolean algebra axiom is actually the only truly unexpected result thats ever been found for the first time using automated theorem proving. It is, I think, an interesting challengethat gets at the heart of what one can (and cant) expect to achieve with formalized mathematics. And thats interesting.

Mathematics 93

Mathematics Algebra Computer Natural Sciences 93