26 citations · 43 across the 12 of their papers we have counts for
10 papers · 1 filter
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…
Combinators: A Centennial View
Stephen Wolfram
We give a modern computational introduction to the S,K combinators invented by Moses Schönfinkel in 1920, and present a variety of new results and ideas about combinators. We explo…