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
|