Jump to content

Talk:Elementary recursive function

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by 140.77.13.170 (talk) at 14:43, 30 March 2009 (wrong definition). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

I think it should be stated earlier in the article and more clearly that Elementary functions are a strict subset of Primitive Recursive functions. It isn't explained until the last paragraph of the article, and the summary at the top of the article is misleading in this regard.

  • I added a bit to the summary. Hopefully it clarifies and doesn't just confuse more hah. But you're right: there should be something in the summary to provide a clear relationship to the primitive recursive functions. Mofoburrell 20:50, 8 September 2007 (UTC)[reply]

It seems that the given definition is wrong: there is no way to implement decreasing functions. I don't see either how to encode f(x,y)=x+y. And the hint concerning the repetition of successors do not apply here since we do not have any iteration scheme.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Talk:Elementary_recursive_function&oldid=280653766"