Multiway Turing Machines
Through the years I’ve studied the only ordinary Turing machines quite a bit, however I’ve barely checked out multiway Turing
Read more
Mathematics
After 100 Years, Can We Finally Crack Post’s Problem of Tag?
“[Despite] Appreciable Effort… [It Proved] Intractable” Within the early years of the 20th century it seemed as if—if solely the
Read more
The Problem of Distributed Consensus
In preparation for a convention entitled “Distributed Consensus with Cellular Automata & Related Systems” that we’re organizing with NKN (=
Read more
The Case of Simple Multiway Systems
A Minimal Instance of Multicomputation Multicomputation is an important new paradigm, however one that may be fairly obscure. Right here
Read more
How Inevitable Is the Concept of Numbers?
Everybody Has to Have Numbers… Don’t They? The aliens arrive in a starship. Certainly, one may assume, to have all
Read more
Announcing the S Combinator Challenge
What is the point of hiding in plain sight for a century? On December 7, 1920, Moses Schönfinkel introduced the
Read more
A Fourth Paradigm for Theoretical Science
The Path to a New Paradigm One may need thought it was already thrilling sufficient for our Physics Project to
Read more
Combinators and the Story of Computation—Stephen Wolfram Writings
The Summary Illustration of Issues “In precept you would use combinators,” some footnote may say. However the implication tends to
Read more
The Concept of the Ruliad
The Entangled Restrict of Every little thing I name it the ruliad. Consider it because the entangled restrict of every
Read more