Jump to content

Talk:Primitive recursive set function

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

Form of definition

[edit]

It is quite hard to see how the definition of primitive recursive set function relates to that of primitive recursive arithmetic function because the mathematical forms are so different. One uses vectors of variables and the other elided lists, for example. It would be great if someone could rewrite this definition in the same formal language used to describe primitive recursive arithmetic functions. Ian.A.N.Grant (talk) 11:15, 21 June 2023 (UTC)[reply]