極限引理

極限引理((limit lemma)遞歸論的一個基本定理.

其內容為:對任何一元店洪抹函式f,f相對於A'遞歸,若且唯若存臘故歸樂在喇艱凝相對於A遞歸的二元函式g,使得屑剃榆煮t/x(f}x)=limsg(x}s)).極限引理在與碑龍勸跳躍有關的遞良捆囑歸論構造中,紋仔起著十分重要的作用.

熱門詞條

聯絡我們