Talk:Primitive recursive function: Difference between revisions

Revision as of 13:18, 28 February 2024

Revision as of 13:20, 28 February 2024

Line 405:

The notion primtive 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

One could experiment to make an extra Wikipedia article that relates

One could experiment to make an extra Wikipedia article that relates

primitive recursive with LOOPS, and not throw LOOPs into the primitive

recursive article.

Line 419 ⟶ 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.

Strictly speaking Dedekind hardly had any idea of LOOP, there was

no BASIC programming language with a FOR NEXT statements at his time.

Unfortuntaley I cannot help with a title for this separate article.

But why not make it a separate article. Most likely Dedekind hardly had

By what name goes the LOOP Isomorphism?

same idea of LOOP, there was no BASIC programming language with a FOR NEXT statements at his time.

NEXT statements at his time. Unfortuntaley I cannot help with a title for this separate article.

this separate article. By what name goes the LOOP Isomorphism?