Combinators and the Story of Computation
Published: 7 December 2020
Tags: math, functional programming, history
Mathematics has been standardized to such an extent, that it's really the most international language (numbers and "naah, that's waaay too expensive" are usually the first things I learn when I go somewhere). But that wasn't always the case. In this knowledge-packed article, Stephen Wolfram describes a little bit of the history of mathematical symbology, combinators and their mathematics, Gödel’s theorem and computability, lambda calculus, practical computation, combinators in culture, designing symbolic language, and combinators in the computational universe.