Talk:Self-referential function

Problems with this article

I have several problems with this article:

1. The definition "A self-referential function is a function that applies to itself" is hopeless. What does it mean ? How does any function "apply to itself" ??
2. The reference that, I assume, is intended to demonstrate the usage and notability of the term gives a "Not found" error when I try to access it.
3. The example from Cantor's diagonal argument that is meant to illustrate a self-referential function is clearly not self-referential ! The function g is not defined in terms of itself; it is defined in terms of the functions f_k. And the whole point of the argument is to show that g is not in the set {f_k}.
4. We already have a much better article at self-reference.

Unless someone can fix the definition and the example and provide some useful sources, I will seriously consider taking this article to AfD. Gandalf61 (talk) 15:51, 24 June 2009 (UTC)

I added a very consistent reference where the answers to the four concerns ( above) are available Rirunmot (talk) 16:25, 24 June 2009 (UTC)

Rirunmot - I find it difficult to tell whether you are being serious here. Your first reference The Unique Non Self-Referential q-Canonical Distribution and the Physical Temperature Derived from the Maximum Entropy Principle in Tsallis Statistics is not at the link you gave, but I found an abstract here - beyond containing the term "self-referential", it has no connection at all with the contents of this article. Your second reference Evolving Algebras and Partial Evaluation contains a short paragraph about self-referential functions, but the definition it gives is entirely different from the definition in the article, and it does not mention Cantor's diagonal argument at all. These references do not support the contents of the article and do nothing to address my concerns. Gandalf61 (talk) 18:50, 24 June 2009 (UTC)

I agree with Gandalf61. In addition, I see "translated from french wikipedia" in the edit summary of 12:08, 18 March 2009. May I see the corresponding French article? Boris Tsirelson (talk) 10:41, 25 June 2009 (UTC)

That would be fr:Fonction auto-référentielle (written by the same user). Someone has pointed out the same problems there. Algebraist 12:22, 25 June 2009 (UTC)

I removed the text about Cantor's function. There is no self-reference in that. — Carl (CBM · talk) 12:20, 25 June 2009 (UTC)

If we take seriously the definition "a self-referential function is a function that applies to itself", that is, a function that is an element of its own domain (treating a function as in Function (mathematics)#Set-theoretical definitions, then it follows easily from the axiom of regularity that such monsters do not exist. But we'd better treat all that as a joke. Boris Tsirelson (talk) 14:33, 25 June 2009 (UTC)

The article is virtually content-free, and what little content it has is completely meaningless. There was an "example" which was not, in fact, an example of what was defined in the article. There were online "references" and "see also" links which either did not exist or referred to other concepts, albeit in some cases with a similar name. (E.g. anything which uses the expression "self reference" to mean something completely different from the meaning defined in the article is irrelevant.) These have now been deleted, and all that is left is:

1. Two different definitions, "function that refers to itself" and "function that applies to itself", which are not the same, and neither of which seems to have any useful meaning, and
2. A mention of an article by Marchal Bruno. Has anyone seen a copy of this? If so is it any more relevant than the useless online "references"? Judging from the abstract I managed to find it is not relevant. It refers to Cantor's diagonalization process, but there is nothing about the concept defined in this article. It really looks to me as though all the "references" and links for this article were just formed on the basis of indiscriminately grabbing anything which used the expression "self-reference" or any variation of it, irrespective of whether it referred to the concept which this article purports to be about. Incidentally, it took me a little while to find the abstract to the article, as both the title of the article and the title of the journal were garbled, which does not suggest a great deal of care in preparing references.

I invite anyone who has seen the whole article to explain here how it relates to "a function that applies to itself", and if no such explanation is forthcoming the reference must go. JamesBWatson (talk) 16:23, 25 June 2009 (UTC)