Church numerals

GPTKB entity

Statements (23)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:field gptkb:lambda_calculus
https://www.w3.org/2000/01/rdf-schema#label Church numerals
gptkbp:introducedIn 1930s
gptkbp:namedAfter gptkb:Alonzo_Church
gptkbp:partOf foundations of mathematics
theory of computation
constructivist mathematics
gptkbp:relatedTo combinatory logic
functional programming
lambda abstraction
gptkbp:represents addition
multiplication
pairs
lists
zero
exponentiation
boolean values
predecessor function
successor function
gptkbp:usedFor representing natural numbers in lambda calculus
gptkbp:bfsParent gptkb:Church_encoding
gptkbp:bfsLayer 7