Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Places Asteroids Exoplanets Artists Albums Gazetteer Search

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

Church encoding · Vinony

Home
Lambda calculus
Church encoding

🌐English

English Deutsch Italiano Polski Português Русский فارسی 中文日本語

EntityQ1089708· pop 9· linked from 323 articles

Church encoding

representation of the natural numbers as higher-order functions

Available in 9 languages

Deutsch
中文
Русский
Português
Italiano
Greek
Polski
فارسی

via Wikidata sitelinks · CC0

Connections

lambda calculus

semantic theory of truth

Categories

Lambda calculus

Sources

wikipedia.externallinksexternallink

mathematical logic

Entity

function composition

first-order logic

semantics of logic

ground expression

International Standard Book Number

Sign in to save

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

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