Recent |
|
×

Category: Computational Science

Towards a Computational Formalization for Foundations of Medicine

Who Can Understand the Proof? A Window on Formalized Mathematics

Useful to the Point of Being Revolutionary: Introducing Wolfram Notebook Assistant

Foundations of Biological Evolution: More Results & More Surprises

Nestedly Recursive Functions

What’s Really Going On in Machine Learning? Some Minimal Models

Why Does Biological Evolution Work? A Minimal Model for Biological Evolution and Other Adaptive Processes

Can AI Solve Science?

Expression Evaluation and Fundamental Physics

Computational Foundations for the Second Law of Thermodynamics

Games and Puzzles as Multicomputational Systems

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 »
OSZAR »