Talk:Primitive recursive function: Difference between revisions

Revision as of 13:10, 28 February 2024

Revision as of 13:16, 28 February 2024

Line 413:

Its still a step more to show that LOOPS are primitive recursive, if

you want to do it properly you would use something like Hoare triples,

etc.. See forFor example: WHILE is defined here:

http://www.concrete-semantics.org/

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

not BASIC programming language with a FOR NEXT statements.