[Search for users] [Overall Top Noters] [List of all Conferences] [Download this site]

Conference thebay::joyoflex

Title:The Joy of Lex
Notice:A Notes File even your grammar could love
Moderator:THEBAY::SYSTEM
Created:Fri Feb 28 1986
Last Modified:Mon Jun 02 1997
Last Successful Update:Fri Jun 06 1997
Number of topics:1192
Total number of notes:42769

793.0. "What is a 'lemma'" by UILA::WHORLOW (D R A B C = action plan) Wed May 02 1990 07:14

    G'day,
    
     There I was - a choice to make - what a dilemma....
    
    Then it happened......
    
    
    
    I had a choice of three - was this a trilemma?
    
    and if I had to take it, was that a lemma?
    
    derek
    
T.RTitleUserPersonal
Name
DateLines
793.1heady lemmaTRIBES::LBOYLETrust me, I know what I'm doingWed May 02 1990 12:037
    A lemma is a proposition, assumed to be true, used in the proof
    of another proposition.
    
    Dilemma - two contradictory propositions.  Yes, I suppose 
    multi-lemmas are possible - leading to complete nervous 
    exhaustion!!
    
793.2TLE::RANDALLliving on another planetWed May 02 1990 15:394
    Are those the same lemmas that stampede over the cliffs in the
    spring? 
    
    --bonnie
793.3They were pouring over the cliffAYOV27::ISMITHMr The Fish?Wed May 02 1990 17:397
.2�
.2�    Are those the same lemmas that stampede over the cliffs in the
.2�    spring? 

    You mean a Lemma-nade?
    
    Ian.
793.4DECWET::GETSINGEREric GetsingerWed May 02 1990 18:241
    Better check with the Dalai Lemma.
793.5maybe in the lemmarick note?POOL::TRUMPLERPoint of hors d'oeuvreWed May 02 1990 18:484
    Watson: I just saw Theresa go over the cliff with a lemma!
    Holmes: That's a lemma 'n' Terry, my dear Watson...
    
    Oops, wrong note.  (Or is it?  What a dil... oh never mind!)
793.6Ah ha!CUPCSG::RUSSELLWed May 02 1990 20:136
    When life hands you more than one lemma,
    
                         make lemma-nade
    
    Wasn't Madame Bovary's first name Lemma?  No wonder she was
    always so confused!
793.7 the young Royals di-lemmas?UILA::WHORLOWD R A B C = action planThu May 03 1990 07:2118
    G'day,
    
     Ahh yes - a proposition. Thanks...
    
     And a good chuckle too 
    cahloo cahlay.
    
    What frabtious joy.
    
    
    starts to sing  (?)
    Oh me darling, oh me darling oh me darling
    
    c-lemma-tine
    
    
    Thanks and all those things
    derek
793.8LEZAH::BOBBITTpools of quiet fire...Thu May 03 1990 15:552
    lemma-n curry?
    
793.9POOL::TRUMPLERFahrverknotenThu May 03 1990 18:415
    Isn't there an auto race called 24 hours at Lemmans?
    
    This entire topic is a calemmaty.  Lemma outa here!
    
    >M
793.10getting to the guts of the matterTLE::RANDALLliving on another planetThu May 03 1990 20:071
    I laughed so hard I thought I was going to bust my alemmantary canal.