Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

Church encoding · Vinony

EntityQ1089708· pop 9· linked from 323 articles

Church encoding

Sign in to save

representation of the natural numbers as higher-order functions

Connections

lambda calculus

semantic theory of truth

mathematical logic

function composition

first-order logic

semantics of logic

ground expression

International Standard Book Number

Categories

Lambda calculus

Sources

wikipedia.externallinksexternallink

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

Presburger arithmetic

Entitydist 0.42

Supernatural number

Entitydist 0.44

Category:Arithmetic functions

Entitydist 0.52

Category:Real transcendental numbers

Entitydist 0.54

Category:Analytic number theory

Entitydist 0.54

ordinal arithmetic

Entitydist 0.54

Category:Formal theories of arithmetic

Entitydist 0.54

Category:Theorems in analytic number theory

Entitydist 0.56

Category:Transcendental numbers

Entitydist 0.56

Entitydist 0.56

Peano arithmetic

Entitydist 0.57

floor and ceiling functions

Entitydist 0.57

What links here323 pages

simply typed lambda calculus

lambda calculus

Church–Turing thesis

three-valued logic

Mostowski collapse lemma

Cantor's paradox

superseded scientific theory

computer-assisted proof

well-founded relation

algebra of sets

logical contradiction

proof of impossibility

compactness theorem

material implication

Courcelle's theorem