V2EX lemma

Lemma

发音 Pronunciation

/lm/

释义 Definition

Lemma 有多个含义。最常见的意思是:①(数学/逻辑学中的)引理,即为证明更大定理而先行证明的辅助命题;②(语言学中的)词元,即一个词的基本形式或词典收录形式。

例句 Examples

Every dictionary entry is listed under its lemma rather than its inflected forms.
每个词典条目都按其词元而非变形形式来收录。

The professor asked the students to prove a simple lemma before attempting the main theorem.
教授要求学生在尝试证明主定理之前,先证明一个简单的引理。

词源 Etymology

源自拉丁语 lemma,最初来自希腊语 λμμα(lēmma),意为"被取用的东西、假设",由动词 λαμβνειν(lambanein,意为"取、拿")派生而来。该词在古希腊数学传统中用于指代辅助性命题,后经拉丁语传入英语,并在语言学领域获得了"词元"这一新义。

相关词汇 Related Words

文学与学术引用 Literary & Academic References

  • 欧几里得《几何原本》(Elements)中大量使用 lemma 作为定理证明的铺垫。
  • 在语言学经典著作中,如布龙菲尔德(Leonard Bloomfield)的《语言论》(Language,1933)中,lemma 被用于讨论词汇的基本单位。
  • 数学领域中著名的 Zorn's Lemma(佐恩引理)和 Burnside's Lemma(伯恩赛德引理)是以 lemma 命名的重要数学成果。
关于     帮助文档     自助推广系统     博客     API     FAQ     Solana     2778 人在线   最高记录 6679       Select Language
创意工作者们的社区
World is powered by solitude
VERSION: 3.9.8.5 7ms UTC 11:34 PVG 19:34 LAX 04:34 JFK 07:34
Do have faith in what you're doing.
ubao msn snddm index pchome yahoo rakuten mypaper meadowduck bidyahoo youbao zxmzxm asda bnvcg cvbfg dfscv mmhjk xxddc yybgb zznbn ccubao uaitu acv GXCV ET GDG YH FG BCVB FJFH CBRE CBC GDG ET54 WRWR RWER WREW WRWER RWER SDG EW SF DSFSF fbbs ubao fhd dfg ewr dg df ewwr ewwr et ruyut utut dfg fgd gdfgt etg dfgt dfgd ert4 gd fgg wr 235 wer3 we vsdf sdf gdf ert xcv sdf rwer hfd dfg cvb rwf afb dfh jgh bmn lgh rty gfds cxv xcv xcs vdas fdf fgd cv sdf tert sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf shasha9178 shasha9178 shasha9178 shasha9178 shasha9178 liflif2 liflif2 liflif2 liflif2 liflif2 liblib3 liblib3 liblib3 liblib3 liblib3 zhazha444 zhazha444 zhazha444 zhazha444 zhazha444 dende5 dende denden denden2 denden21 fenfen9 fenf619 fen619 fenfe9 fe619 sdf sdf sdf sdf sdf zhazh90 zhazh0 zhaa50 zha90 zh590 zho zhoz zhozh zhozho zhozho2 lislis lls95 lili95 lils5 liss9 sdf0ty987 sdft876 sdft9876 sdf09876 sd0t9876 sdf0ty98 sdf0976 sdf0ty986 sdf0ty96 sdf0t76 sdf0876 df0ty98 sf0t876 sd0ty76 sdy76 sdf76 sdf0t76 sdf0ty9 sdf0ty98 sdf0ty987 sdf0ty98 sdf6676 sdf876 sd876 sd876 sdf6 sdf6 sdf9876 sdf0t sdf06 sdf0ty9776 sdf0ty9776 sdf0ty76 sdf8876 sdf0t sd6 sdf06 s688876 sd688 sdf86