3 ms·
What "three primary functions" are you referring to?
by tudelo 7y ago
What "three primary functions" are you referring to?
- ayushgp 7y agoI suggest you to watch this video if you want to understand how 3 basic functions can be used to create whole language https://youtu.be/3VQ382QG-y4 https://youtu.be/3VQ382QG-y4
- dualogy 7y agoProbably means the 3 irreducable primitives in LC: applications, abstractions, and "variables" (ie. attribute identifiers)
- tomstuart 7y agoIn this context, it’s more likely the 3 basic primitive recursive functions: constant, successor, projection. https://en.wikipedia.org/wiki/Primitive_recursive_function#Definition https://en.wikipedia.org/wiki/Primitive_recursive_function#D...
- cardiffspaceman 7y agoThose functions compose into programs that halt (if I read the linked Wiki right). The LC encompasses those programs plus more programs, which cannot be shown to halt.
- bontaq 7y agoThese three? https://en.wikipedia.org/wiki/SKI_combinator_calculus https://en.wikipedia.org/wiki/SKI_combinator_calculus
- Shebanator 7y agoThis is touched on in the article: "They are interesting because with just three initial functions (successor, constant and projection functions) closed under composition and primitive recursion, one can produce most computable functions studied in number theory (addition, division, factorial, exponential, etc.)."