Talk:Primitive recursive function: Difference between revisions

Content deleted Content added
Line 403:
 
== Split off LOOP / WHILE into separate article [LOOP Isomorphism] ==
The notion primtiveprimitive recursive pays tribute to Dedekinds 1888 Recursion Theorem.
Its housed more in mathematics and less in computer science. Whereby Dedekind
was interested whether primitive recursive functions are uniquely defined. One