26 citations · 43 across the 12 of their papers we have counts for
12 papers
The Physicalization of Metamathematics and Its Implications for the Foundations of Mathematics
Stephen Wolfram
Both metamathematics and physics are posited to emerge from samplings by observers of the unique ruliad structure that corresponds to the entangled limit of all possible computatio…
Multicomputation with Numbers: The Case of Simple Multiway Systems
Stephen Wolfram
Integer iteration rules such as n |-> {a n + b, c n +d} are studied as minimal examples of the general process of multicomputation. Despite the simplicity of such rules, their mult…
Where Did Combinators Come From? Hunting the Story of Moses Schönfinkel
Stephen Wolfram
Combinators were a key idea in the development of mathematical logic and the emergence of the concept of universal computation. They were introduced on December 7, 1920, by Moses S…
The Problem of Distributed Consensus: A Survey
Stephen Wolfram
A survey is given of approaches to the problem of distributed consensus, focusing particularly on methods based on cellular automata and related systems. A variety of new results a…
The Empirical Metamathematics of Euclid and Beyond
Stephen Wolfram
As an example of empirical metamathematics, we present a detailed study of the dependency structure of the 465 theorems in Euclid's Elements, finding empirical signatures of concep…
A Bibliography of Combinators
Stephen Wolfram
A categorized bibliography of combinators is given, providing what is believed to be a largely complete coverage of publications from the origination of combinators in 1920 to the…