| T.R | Title | User | Personal Name
 | Date | Lines | 
|---|
| 1518.1 | another name for this? | STAR::ABBASI |  | Wed Nov 06 1991 23:16 | 6 | 
|  |     is this theory called by a different name? i've looked the index of
    what books i have and did not see a 'Lindemann-Weierstrass' theorm.
    there are offcourse other Weierstrass theorms, but i did not see the
    above as is.
    must be new theory and not in the "text" books yet ?
    /nasser
 | 
| 1518.2 | Lindemann's theorem | GIDDAY::FERGUSON | Murphy was an optimist | Thu Nov 07 1991 06:34 | 10 | 
|  |     I believe it's known simply as the "Lindemann theorem". One of its
    reults is that either � or exp� is transcendental when � is non-zero;
    thus log� and exp� are transcendental for algebraic arguments �. From this,
    pi's transcendentality follows, since exp(2.pi.i) = 1. I wouldn't call it
    a new theory though; it was named after the German analyst and geometer,
    Carl Louis Ferdinand von Lindemann (1852-1939). Not to be confused with
    another very important theory of transcendental numbers, the
    Gelfond-Schneider theorem, or simply Gelfond's theorem.
    
    James.
 | 
| 1518.3 |  | ZFC::deramo | I've seen it raining fire in the sky. | Thu Nov 07 1991 08:09 | 4 | 
|  | The title is too long for terminal based notes; the last
word is "Theorem" not "Theory".  Reply .2 describes it.
Dan
 | 
| 1518.4 | are they different? | STAR::ABBASI |  | Thu Nov 07 1991 11:28 | 2 | 
|  |     is there a difference between a 'theory' and a 'theorem' ? if so
    what is it?
 | 
| 1518.5 |  | ZFC::deramo | I've seen it raining fire in the sky. | Thu Nov 07 1991 12:09 | 6 | 
|  | Phrases like "set theory" or "number theory" or "group theory"
seem to refer to a body of work in that field.  The base note
was just talking about one particular result, or theorem, in
number theory.
Dan
 |