The story
Named after Alonzo Church.
Etymology from Wiktionary, CC BY-SA 4.0.
Church numeral
Today it means: A representation of a natural number using lambda notation. Full definition →
Today it means: A representation of a natural number using lambda notation. Full definition →
Named after Alonzo Church.
Etymology from Wiktionary, CC BY-SA 4.0.