Concept stub
Lambda Calculus
Mathematics & Logic
Church's model of computation as pure function application.
Lambda Calculus — Church's model of computation as pure function application.
This entry is a stub. It will be written out in full when a Chromix article calls for it. What belongs here: what Lambda Calculus actually did, why it mattered at the time, and what it made possible afterwards — each claim carrying its own source.
This entry is a stub. Most First Principles entries begin short and deepen only when a new article calls for it — the encyclopedia grows as Chromix writes.