Talk:Primitive recursive function: Difference between revisions

Content deleted Content added
Line 418:
They say LOOP is syntactic sugar. Well there is more to it. I think
your primitive recursive article refers already to results about LOOP.
 
 
But why not make it a separate article. Most likely Dedekind hardly had