Revision as of 12:56, 28 February 2024 edit Janburse (talk \| contribs) Extended confirmed users 1,136 edits →All the "what for" are there ← Previous edit		Revision as of 12:59, 28 February 2024 edit undo Janburse (talk \| contribs) Extended confirmed users 1,136 edits →All the "what for" are there Next edit →
Line 388: :Moreover, these sections are not sourced. This could be a reason for removing them as [[WP:OR]]. :So, I have reverted your tag removals. Please do not remove them again without addressing the issues of these sections. [[User:D.Lazard\|D.Lazard]] ([[User talk:D.Lazard\|talk]]) 10:08, 28 February 2024 (UTC) :: According to [[Second-order_arithmetic]] there is more than one PA. Which might be contextually relevant, since Pthe principia used higher order logic, as noted by Gödel 2.1 Definitions https://hirzels.com/martin/papers/canon00-goedel.pdf :: [[User:Janburse\|Jan Burse]] ([[User talk:Janburse\|talk]]) 12:33, 28 February 2024 (UTC) About the used references in the article. Instead of Rose as reference for Elimination of Parameters, its seems you could also use Moschovakis 1994, ch. 5.

Talk:Primitive recursive function: Difference between revisions