Talk:Alfred Horn

	Biography portal This article is within the scope of WikiProject Biography, a collaborative effort to create, develop and organize Wikipedia's articles about people. All interested editors are invited to join the project and contribute to the discussion. For instructions on how to use this banner, please refer to the documentation.BiographyWikipedia:WikiProject BiographyTemplate:WikiProject Biographybiography articles
	This article is supported by the science and academia work group.

Mathematics

	Mathematics portal This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics articles
???	This article has not yet received a rating on the project's priority scale.

Would be interesting to have a look at his thesis

I am generally interested, when reading articles of mathematicians, to see that the wiki article has something in the way of a link to the article in question. I'm not sure how much chasing up would be required in the case of Horn (or, whether or not it is possible to obtain the thesis if there are obscure intellecutal rights issues that require dealing with).

Just a suggestion.

Also, I am interested in who decides that the clause gets named after him. If the concept occurs naturally independent of the guy who named the clause (it is, afterall, a natural concept), then does something that is so apparently obvous require the name of an individual (especially when such a name might actually go so far as to clutter the conceptual basis upon which the clause is founded - keeping track of the theorem names is of lesser importance than keeping track of the concepts).

It's just that I have never heard the term used in logic or mathematics, and Logic was one of the undergraduate and postgraduate terms that I learnt of at Cambridge. I believe that I have both seen and used the term before when dealing with the concepts whilst in my dealings with Prolog, but it seemed to me that anyone smart enough to deal with Prolog wouldn't actually *require* a name for the given concept.....

I think that I'll use this as motivation for something along the lines of 'useless names for mathematical theorems' wiki article.

WikiProject class rating

This article was automatically assessed because at least one WikiProject had rated the article as stub, and the rating on other projects was brought up to Stub class. BetacommandBot 03:44, 10 November 2007 (UTC)[reply]