undefined | Better HN

story

0 pointstomstuart6y ago0 comments

In this context, it’s more likely the 3 basic primitive recursive functions: constant, successor, projection. https://en.wikipedia.org/wiki/Primitive_recursive_function#D...

0 comments

cardiffspaceman6y ago

Those 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.

j / k navigate · click thread line to collapse

0 comments

cardiffspaceman6y ago

Those 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.

j / k navigate · click thread line to collapse