APP 遞歸論中的一個重要定理。對每個m,n≥1,存在m+1元遞歸全函數(shù)smn(e,y1,…,ym),使得對任何x1,…,xn都有:Φ(n+m)e(x1,…,xn,y1,…,ym)=Φ(n)Smn(e,y1,…,ym)(x1,…,xn)。s-m-n定理在遞歸論中有許多重要的應(yīng)用,如運(yùn)用它來證明遞歸定理。 （本文共 148 字 ） [閱讀本文] >>
海量資源，盡在掌握
遞歸論中的一個重要定理。對每個m,n≥1,存在m+1元遞歸全函數(shù)smn(e,y1,…,ym),使得對任何x1,…,xn都有:Φ(n+m)e(x1,…,xn,y1,…,ym)=Φ(n)Smn(e,y1,…,ym)(x1,…,xn)。s-m-n定理在遞歸論中有許多重要的應(yīng)用,如運(yùn)用它來證明遞歸定理。 （本文共 148 字 ） [閱讀本文] >>
開通會員，享受整站包年服務(wù)
說明： 本文檔由創(chuàng)作者上傳發(fā)布，版權(quán)歸屬創(chuàng)作者。若內(nèi)容存在侵權(quán)，請點(diǎn)擊申訴舉報