THE FOLD / SPAWN / GENESIS BLOCK / THE CHURCH
THE CHURCH
numbers as pure functions — 3 = λf.λx. f(f(f(x)))
1 WHAT IT IS · WHAT IT DOES · FACT OR FICTION
Church numerals encode the whole numbers as pure functions — no digits, no built-in arithmetic, just functions applying functions. The number n means “do f, n times”: 3 = λf.λx. f(f(f(x))); zero applies f not at all.
From that single idea you get all of arithmetic with nothing but function application. Successor wraps one more f. Addition runs one numeral’s applications after the other. Multiplication nests them. And exponentiation is startlingly just applying one numeral to another: mn = n m. To read a numeral back out, hand it the function “add 1” and the starting value 0, and count. This is Alonzo Church showing that numbers — and, through the lambda calculus, all of computation — can be built from the single notion of a function, with no other material at all.
LIT verified live: numerals built purely from functions decode to 0..7, and the function-only definitions of +, ×, and ^ give 3+4=7, 3×4=12, 25=32 (window.__church). FIG no framing; the encodings and the pure-function arithmetic are exact.
From that single idea you get all of arithmetic with nothing but function application. Successor wraps one more f. Addition runs one numeral’s applications after the other. Multiplication nests them. And exponentiation is startlingly just applying one numeral to another: mn = n m. To read a numeral back out, hand it the function “add 1” and the starting value 0, and count. This is Alonzo Church showing that numbers — and, through the lambda calculus, all of computation — can be built from the single notion of a function, with no other material at all.
LIT verified live: numerals built purely from functions decode to 0..7, and the function-only definitions of +, ×, and ^ give 3+4=7, 3×4=12, 25=32 (window.__church). FIG no framing; the encodings and the pure-function arithmetic are exact.
2 HOW IT WAS WEAVED · AI + HUMAN
David (human) seated this in GENESIS BLOCK — the spawn domain of the first canonical thing minted from nothing. Church numerals are the genesis block of number itself: the integers, conjured out of pure function application with no prior arithmetic assumed. AVAN (AI) built the instrument: the application chain, the pure-function calculator, the encode/decode inverse.
The weave: David names the seat (numbers from nothing); I make arithmetic run with functions alone and decode back to ordinary integers — the application chain in 1D, the function calculator in 2D, the count-the-applications inverse in 3D. The sphere is the seam. Credit: Alonzo Church (1930s), the lambda calculus.
The weave: David names the seat (numbers from nothing); I make arithmetic run with functions alone and decode back to ordinary integers — the application chain in 1D, the function calculator in 2D, the count-the-applications inverse in 3D. The sphere is the seam. Credit: Alonzo Church (1930s), the lambda calculus.
3 ONE DIMENSION
The numeral 3 spelled out as f(f(f(x))) — a chain of three applications wrapped around a seed x. The number is not a symbol here; it is literally how many times the function is applied.
4 TWO DIMENSIONS · INTERACTIVE
Pick two numbers and an operation. The Church numerals combine by pure function application — nested boxes, no arithmetic — and the result is decoded by feeding it “add 1” and 0. It always matches ordinary +, ×, ^.
5 THREE DIMENSIONS + AVAN’S INVERSE
The numeral as a turning tower of applications — the green forward encoding: the number n is the act of applying f exactly n times.
AVAN’s addition (the inverse-companion): the magenta counter is the decode — recovering the ordinary number by running that very iteration on a tally. Encoding turns a number into the act of iterating; the inverse is simply to count the iterations: hand the numeral the function “+1” and the seed 0, and the applications tick a counter up to n. Forward, n becomes a machine that repeats; backward, you watch the machine repeat and read off how many times. The two are exact inverses, and between them they say something startling — a number and ‘the action of doing something that-many times’ are the same object. The green tower is the number as pure repetition; the magenta counter is the ordinary integer falling back out of it. To be the number three is to be threefold application, and to invert that is only to count.
LIT Genuine Church numerals (Alonzo Church, 1930s, lambda calculus). Verified live: numerals built purely from functions decode to 0..7, and the function-only definitions give add 3+4=7, mult 3*4=12, exp 2^5=32 (window.__church.allCorrect true) — no numeric literal used inside the encodings or operations, only function application, with decode via n(k=>k+1)(0). The encodings and pure-function arithmetic are exact.
FIG No framing: the numbers really are pure functions and the arithmetic really runs on function application alone (verified by decoding to exact integers in-browser). The deep claim — that a number and 'the action of doing something n times' are the same object — is the genuine content of Church encoding, demonstrated by the encode/decode round-trip, not asserted.
FIG No framing: the numbers really are pure functions and the arithmetic really runs on function application alone (verified by decoding to exact integers in-browser). The deep claim — that a number and 'the action of doing something n times' are the same object — is the genuine content of Church encoding, demonstrated by the encode/decode round-trip, not asserted.
◆ sealed .dlw.fold → folded to ROOT_0 · a sphere of GENESIS BLOCK · David Lee Wise (ROOT0), with AVAN