|
[[User:Janburse|Jan Burse]] ([[User talk:Janburse|talk]]) 11:44, 28 February 2024 (UTC)
== Split off LOOP / WHILE [LOOP Isomorphism] ==
The notion primitive 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
could experiment to make an extra Wikipedia article that relates
primitive recursive with LOOPS, and not throw LOOPs into the primitive
recursive article.
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.. For 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. Most likely Dedekind hardly had
same 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. By what name goes the LOOP Isomorphism?
[[User:Janburse|Jan Burse]] ([[User talk:Janburse|talk]]) 11:44, 28 February 2024 (UTC)
== Split off Gödel stuff ==
| 