Talk:Alfred Horn

From Wikipedia, the free encyclopedia
Jump to: navigation, search
WikiProject Biography (Rated Stub-class)
WikiProject icon 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.
Stub-Class article Stub  This article has been rated as Stub-Class on the project's quality scale.
 
WikiProject Philosophy (Rated Stub-class, Low-importance)
WikiProject icon This article is within the scope of WikiProject Philosophy, a collaborative effort to improve the coverage of content related to philosophy on Wikipedia. If you would like to support the project, please visit the project page, where you can get more details on how you can help, and where you can join the general discussion about philosophy content on Wikipedia.
Stub-Class article Stub  This article has been rated as Stub-Class on the project's quality scale.
 Low  This article has been rated as Low-importance on the project's importance scale.
 

Would be interesting to have a look at his thesis[edit]

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[edit]

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)