
The Problem of Distributed Consensus: A Survey
A survey is given of approaches to the problem of distributed consensus,...
read it

A Bibliography of Combinators
A categorized bibliography of combinators is given, providing what is be...
read it

Combinators: A Centennial View
We give a modern computational introduction to the S,K combinators inven...
read it

After 100 Years, Can We Finally Crack Post's Problem of Tag? A Story of Computational Irreducibility, and More
Empirical, theoretical and historical aspects of Post's "problem of tag"...
read it

Multiway Turing Machines
Multiway Turing machines (also known as nondeterministic Turing machines...
read it

Combinators and the Story of Computation
We discuss the role of combinators in the development of the modern conc...
read it

Exploring Rulial Space: The Case of Turing Machines
As an example of the concept of rulial space, we explore the case of sim...
read it

A Class of Models with the Potential to Represent Fundamental Physics
A class of models intended to be as minimal and structureless as possibl...
read it
Stephen Wolfram
is this you? claim profile