The millenium seemed to spur a lot of people to compile "Top 100" or "Best 100" lists of many things, including movies (by the American Film Institute) and books (by the Modern Library). Mathematicians were not immune, and at a mathematics conference in July, 1999, Paul and Jack Abad presented their list of "The Hundred Greatest Theorems." Their ranking is based on the following criteria: "the place the theorem holds in the literature, the quality of the proof, and the unexpectedness of the result."
L. Wittgenstein. University Of Chicago Press, Chicago, (October 1989)characterizes mathematical propositions: - Do not have a temporal sense (pp. 34). - Are rules of expression. "the connection between a mathematical proposition and its application is roughly that between a rule of expression and the expression itself in use" (pp. 47). A rule of expression defines what is meaningful and what not, how a particular form should be used, etc. - Is invented to suit experience and then made independent of experience (pp. 43). "In mathematics we have propositions which contain the same symbols as, for example, "write down the integral of..", etc., with the difference that when we have a mathemaitical proposition time doesn't enter into it and in the other it does. Now this is not a metaphisical statement." (pp 34).