Talk:Primitive recursive set function
Add topicLatest comment: 3 years ago by Ian.A.N.Grant in topic Form of definition
 | This article is rated Start-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
| |||||||||||
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)