Content deleted Content added
No edit summary |
|||
Line 401:
[[User:Janburse|Jan Burse]] ([[User talk:Janburse|talk]]) 11:44, 28 February 2024 (UTC)
== Split off LOOP / WHILE into separate article ==
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 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.. See for example:
http://www.concrete-semantics.org/
| |||