Talk:Primitive recursive function: Difference between revisions

Revision as of 23:18, 28 February 2024

Latest revision as of 03:36, 9 March 2024

(6 intermediate revisions by one other user not shown)

Line 1:

{{WikiProject banner shell|class=B|vital=yes|1=

{{WikiProject Mathematics|priority=Mid|field=foundations}}

}}

Line 406:

: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 primrecprimitive recursive 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 have deleted the first disputed section,

Zero effort was taken by the layman who wrote the banners, to use the SEP article for clarification. Sorry but I am out, I do not intend to waste precious time like that. I am too old for that: https://www.youtube.com/watch?v=MqBNSMbEzI0 .

and move the second disputed section to here:

[[Gödel's β function]]

There I would also like to add a reference to this:

PRIMITIVE RECURSIVE FUNCTIONS by<br>

Zéev Rosenfeld - March 1959<br>

Department of Mathematics McGill University Montreal.

But I don't know how to edit and add a reference.

[[User:Janburse|Jan Burse]] ([[User talk:Janburse|talk]]) 22:51, 28 February 2024 (UTC)