Content deleted Content added
Line 405:
::To reduce complexity of the article I would split off Gödel, and I would also split off LOOP/WHILE. Devote separate articles to the two, would make the primitive recursive article more readable and less cluttered with applications of the notion in Gödels theorem and computational devices such as LOOP, that show primitive recursive behaviour.
::[[User:Janburse|Jan Burse]] ([[User talk:Janburse|talk]]) 22:41, 28 February 2024 (UTC)
I do not change my opinion, only because a deletionist reverted my changes.
Why do you expect I would address your revert of my change. I already made
it 100% clear what my opinion is, namely:
Section: Use in first-order Peano arithmetic<br>
The "what for" is the first paragraph of the section.
Section: Elimination of parameters<br>
The "what for" are the last two paragraphs of the section.
Just read the first paragraph and the last two paragraphs.
| |||