Content deleted Content added
Line 423:
NEXT statements at his time. Unfortuntaley I cannot help with a title for
this separate article. By what name goes the LOOP Isomorphism?
== Split off Gödel stuff ==
Given Dedekinds 1888 Recursion Theorem, I guess Gödel is not
the father of primitive recursive. The history has landmarks such
as Daiv Hilbert believe primitive recursive is the only notion
of computable functions, until Ackerman proved contrary in 1926
with the function named after him. An Ackerman function cannot be
written with a LOOP program, only WHILE programs suffice.
So why not devote a separte article to Gödels use of the notion
primitive recursive.
| |||