|WikiProject Biography||(Rated Stub-class)|
|WikiProject Philosophy||(Rated Stub-class, Low-importance)|
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)