Recent |
|
×

Category: Computational Science

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

The Concept of the Ruliad

Charting a Course for “Complexity”: Metamodeling, Ruliology and More

Multicomputation: A Fourth Paradigm for Theoretical Science

1920, 2020 and a $20,000 Prize: Announcing the S Combinator Challenge

The Problem of Distributed Consensus

After 100 Years, Can We Finally Crack Post’s Problem of Tag? A Story of Computational Irreducibility, and More

Multiway Turing Machines

Combinators and the Story of Computation

Combinators: A Centennial View

Exploring Rulial Space: The Case of Turing Machines

Finally We May Have a Path to the Fundamental Theory of Physics…
and It’s Beautiful

How We Got Here: The Backstory of the Wolfram Physics Project

What We’ve Built Is a Computational Language (and That’s Very Important!)

Happy 100th Birthday, Alan Turing

Overcoming Artificial Stupidity

Launching a Democratization of Data Science

Talking about Computing and Philosophy

Jeopardy, IBM, and Wolfram|Alpha

Programming with Natural Language Is Actually Going to Work

Simple Turing Machines, Universality, Encodings, etc.

The Prize Is Won; The Simplest Universal Turing Machine Is Proved

Science: Live and in Public

Today We Put a Prize on a Small Turing Machine

Other publications, writings and speeches in the Computational Science category »