Content deleted Content added
Line 392:
:: According to [[Second-order_arithmetic]] there is more than one PA. Which might be contextually relevant, since the principia used higher order logic, as noted by Gödel 2.1 Definitions https://hirzels.com/martin/papers/canon00-goedel.pdf
:: Nobody uses the terminology "multivariate" in recursion theory. The term n-ary means a function with n-arguments. [[User:Janburse|Jan Burse]] ([[User talk:Janburse|talk]]) 23:02, 28 February 2024 (UTC)▼
:: [[User:Janburse|Jan Burse]] ([[User talk:Janburse|talk]]) 12:33, 28 February 2024 (UTC)
▲:: Nobody uses the terminology "multivariate" in recursion theory. The term n-ary means a function with n-arguments.
:: [[User:Janburse|Jan Burse]] ([[User talk:Janburse|talk]]) 23:02, 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.
Or as SEP has put it, they show the other way around from h, to h2 and then to h1, but then have the following remark:
| |||