Stephen Wolfram

MARCH 5, 2024

A lot of science—and technology—has been constructed specifically around computationally reducible phenomena. In 2000 I was interested in what the simplest possible axiom system for logic (Boolean algebra) might be. Once again, I had no idea this was “out there”, and certainly I would never have been able to construct it myself.

Science 123

Science Sciences Computer Mathematics 123

Robert Talbert, Ph.D.

MAY 19, 2023

This is especially important if you’re writing an article involving multiple sources, or asking one source to critique the arguments of another: It’s quite likely that they aren’t talking about the same thing. if withholding a mark is possible. Why would an instructor use ungrading? I will speak for myself here.

Publication 73

Publication Communications Construction Academic Standards 73

Stephen Wolfram

NOVEMBER 10, 2021

It’s yet another surprising construct that’s arisen from our Physics Project. In some ways it’s a bit like our efforts to construct the ruliad. In constructing it, one can imagine using Turing machines or hypergraph rewriting systems or indeed any other kind of computational system. As an analogy, consider the real numbers.

Physics 122

Physics Mathematics Computer Construction 122

Robert Talbert, Ph.D.

APRIL 15, 2022

Those assessments can take on various forms, and in well-constructed courses they do have varying forms, corresponding to different levels of Bloom's Taxonomy. An argument for traditional grading goes like this: Sure, a single assessment might have a grade on it that doesn't accurately reflect student understanding.

Academic Standards 52

Academic Standards Communications Calculus Argumentation 52

Stephen Wolfram

AUGUST 22, 2023

He was going for what he saw as the big prize: using them to “construct the universe”. 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.” But Ed wasn’t interested.

Computer 67

Computer Physics Science Sciences 67

Stephen Wolfram

SEPTEMBER 9, 2021

Its key idea is to think of things in the world as being constructed from some kind of simple-to-describe elements—say geometrical objects—and then to use something like logical reasoning to work out what will happen with them. It’s not difficult to construct multiway system models. There are multiway Turing machines.

Science 65

Science Sciences Physics Mathematics 65

Stephen Wolfram

SEPTEMBER 9, 2021

Its key idea is to think of things in the world as being constructed from some kind of simple-to-describe elements—say geometrical objects—and then to use something like logical reasoning to work out what will happen with them. It’s not difficult to construct multiway system models. There are multiway Turing machines.

Physics 64

Physics Science Sciences Mathematics 64

Stephen Wolfram

MAY 17, 2021

And for example in 1978 the following “radius 3” rule (operating on size-7 neighborhoods) was constructed (and we’ll call it the “GKL rule”): &#10005. But in the 1980s a complicated cellular automaton was constructed that it was possible to prove would not show such behavior. But it turns out that this isn’t true.

Computer 52

Computer Achievement Mathematics Physics 52

Stephen Wolfram

MAY 20, 2021

Having this as a single function makes it easier to use in functional programming constructs like this: &#10005. But sometimes it’s much more convenient to get the subgraph (and in fact in the formalism of our Physics Project that subgraph—that we view as a “ geodesic ball ”—is a rather central construct). So in Version 12.3

Computer 52

Computer Construction Physics Technology 52