research
∙
04/04/2022
The Physicalization of Metamathematics and Its Implications for the Foundations of Mathematics
Both metamathematics and physics are posited to emerge from samplings by...
share
research
∙
11/09/2021
Multicomputation with Numbers: The Case of Simple Multiway Systems
Integer iteration rules such as n |-> a n + b, c n +d are studied as min...
research
∙
06/24/2021
The Problem of Distributed Consensus: A Survey
A survey is given of approaches to the problem of distributed consensus,...
research
∙
06/17/2021
A Bibliography of Combinators
A categorized bibliography of combinators is given, providing what is be...
research
∙
03/23/2021
Combinators: A Centennial View
We give a modern computational introduction to the S,K combinators inven...
research
∙
03/11/2021
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"...
research
∙
03/08/2021
Multiway Turing Machines
Multiway Turing machines (also known as nondeterministic Turing machines...
research
∙
02/18/2021
Combinators and the Story of Computation
We discuss the role of combinators in the development of the modern conc...
research
∙
01/22/2021
Exploring Rulial Space: The Case of Turing Machines
As an example of the concept of rulial space, we explore the case of sim...
research
∙
04/15/2020