Talk:Primitive recursive function: Difference between revisions

Content deleted Content added
Line 403:
 
:You do not adress the main issue of these sections. Wikipedia is not for summarizing some specific articles, relying on these articles to know author's definitions of the technical terms. The aim of an encyclopedy is to present the most important results in a language that is compatible with the most common terminology, and is accessible to (in the case of this article) a undergraduate student in mathematics. It must also be clear why a result is important enough to belong to the article (per [[WP:UNDUE]]). Neither the sections under discussion nor your above comments satisfy these requisites. [[User:D.Lazard|D.Lazard]] ([[User talk:D.Lazard|talk]]) 14:12, 28 February 2024 (UTC)
::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 primrec 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)
 
The wording of the two banners is wrong, given Lazard explanation. The wording
of the banner says there is a "what for" missing, which is obviously factual not true for the present text. The Lazard explanation has different story. It talks about a) addressing people in a common language b) setting priorities for inclusion/exclusion. How about changing the banners and say that?
 
[[User:Janburse|Jan Burse]] ([[User talk:Janburse|talk]]) 22:51, 28 February 2024 (UTC)