1) recursive number theory
递归数论
2) RFT Recursive Function Theory
递归函数论
3) recursive function theory
递归函数理论
4) recursion theory
递归论
5) recursive sequence
递归数列
1.
In this paper,the author has proved that the Diophantine equation x3+64=21y2 has only an integer solution(x,y)=(-4,0),(5,±3) and then gives all integer solution of x3+64=21y2 by using the elementary methods such as recursive sequence,congruent fomula and quadratic residue.
利用递归数列、同余式和平方剩余几种初等方法,证明了不定方程x3+64=21y2仅有整数解(x,y)=(-4,0),(5,±3);给出了x3+64=21y2的全部整数解。
2.
In this paper,the author has proved that the Diophantine equation x3+27=7y2 has only an integer solution(x,y)=(-3,0),(1,±2) and then gives all integer solution of x3+27=7y2 by using the elementary methods such as recursive sequence,congruent fomula and quadratic residu
利用递归数列、同余式和平方剩余几种初等方法,证明了不定方程x3+27=7y2仅有整数解(x,y)=(-3,0),(1,±2);给出了x3+27=7y2的全部整数解。
3.
By applying the properties of determinant, the general formula of a usual type of linear recursive sequence is studied.
应用行列式的有关性质，研究了一般形式的线性递归数列的通项公式。
6) recurrent sequence
递归数列
1.
In this paper,the authors use recurrent sequence to prove that the diophantine equation x3-1=26y2 has only integer solutions(x,y)=(1,0),(3,±1),(313,±1086).
用递归数列方法证明了方程x3-1=26y2全部整数解是(1,0),(3,±1),(313,±1086)。
2.
By using congruence and recurrent sequence,the author has proved that the Diophantine equation x3+1=86y2 has only the integer solution(x,y)=(-1,0),(7,±2).
利用递归数列、同余式证明了丢番图方程x3+1=86y2仅有整数解(x,y)=(-1,0),(7,±2)。
3.
By using the method of recurrent sequence,the Diophantine equation x3-8=13y2 has been proven to have the only integer solution(x,y)=(5,±3) with gcd(x,y)=1.
利用同余式和递归数列的方法,证明了不定方程x3-8=13y2仅有适合(x,y)=1的整数解(x,y)=(5,±3)。
补充资料：递归函数
数论函数的一种,其定义域与值域都是自然数集,只是由于构作函数方法的不同而有别于其他的函数。处处有定义的函数叫做全函数，未必处处有定义的函数叫做部分函数。最简单又最基本的函数有三个:零函数O(x)=0(其值恒为0);射影函数；后继函数S(x)=x+1。它们合称初始函数。要想由旧函数作出新函数，必须使用各种算子。
代入（又名复合或叠置）是最简单又最重要的造新函数的算子，其一般形状是：由一个m元函数??与m个n元函数 g1,g2,...,gm 造成新函数 ?? (g1(x1,x2,...,xn)，g2(x1,x2,...,xn),...,gm(x1,x2，...，xn)),亦可记为??(g1，g2,...,gm)(x1，x2,...,xn)。另一个造新函数的算子是原始递归式。具有n个参数u1，u2,...,un的原始递归式为：具有一个参数的原始递归式可简写为：其特点是，不能由g、h两函数直接计算新函数的一般值??(u,x),而只能依次计算??(u,0)，??(u,1)，??(u,2)，...；但只要依次计算，必能把任何一个??(u,x)值都算出来。换句话说只要g,h为全函数且可计算，则新函数f也是全函数且可计算。
由初始函数出发，经过有限次的代入与原始递归式而作出的函数叫做原始递归函数。由于初始函数显然是全函数且可计算，故原始递归函数都是全函数且可计算。通常使用的数论函数全是原始递归函数，可见原始递归函数是包括很广的。但是W.阿克曼证明了，可以作出一个可计算的全函数，它不是原始递归的。经过后人改进后，这个函数可写为如下定义的阿克曼函数：容易看出,这个函数是处处可计算的。任给m,n的值，如果m为0，可由第一式算出；如果m不为0而n为0，可由第二式化归为求g(m,1)的值，这时第一变目减少了；如果m，n均不为0,根据第三式可先计算g(m,n-1),设为α，再计算g(m-1,α),前者第二变目减少（第一变目不变）,后者第一变目减少。极易用归纳法证得，这样一步一步地化归,最后必然化归到第一变目为0，从而可用第一式计算。所以这个函数是处处可计算的。此外又容易证明，对任何一个一元原始递归函数??(x),永远可找出一数α使得??(x)(α,x)。这样，g(x,x)+1便不是原始递归函数，否则将可找出一数b使得g(x,x)+1(b,x)。令x=b，即得g(b,b)+1(b,b)，而这是不可能的。
另一个重要的造新函数的算子是造逆函数的算子，例如，由加法而造减法，由乘法造除法等。一般，设已有函数??(u,x),就x解方程??(u,x)=t,可得x=g(u,t)。这时函数g叫做??的逆函数。至于解一般方程??(u，t,x)=0而得x＝g(u，t)可以看作求逆函数的推广。解方程可以看作使用求根算子。??(u,t，x)=0的最小x根（如果有根的话），记为μx[??(u,t,x)=0]。当方程没有根时,则认为μx[??(u,t,x)=0]没有定义。可见,即使??(u,t,x)处处有定义且可计算,但使用求根算子后所得的函数μx[??(u,t,x)=0]仍不是全函数,可为部分函数。但只要它有定义，那就必然可以计算。这算子称为μ算子。如果??(u,t,x)本身便是部分函数，则 μx[??(u,t,x)=0]的意义是：当??(u,t,n)可计算且其值为0,而x时??(u,t,x)均可计算而其值非0，则 μx[??(u,t,x)=0]指n；其他情况则作为无定义。例如，如果??(u,t,x)=0根本没有根，或者虽然知道有一根为n，但??(u,t,n-1)不可计算,那么 μx[??(u,t,x)=0]都作为没有定义。在这样定义后,只要 μx[??(u,t,x)=0]有值便必可计算。由初始函数出发,经过有穷次使用代入、原始递归式与 μ算子而作成的函数叫做部分递归函数，处处有定义的部分递归函数称为全递归函数，或一般递归函数。
原始递归函数类里还有一个重要的子类称为初等函数类,它是由非负整数与变元经过有穷次加、算术减（即｜α-b｜）、乘、算术除、叠加Σ、叠乘П而得的函数组成的类。
波兰人A.格热高契克把原始递归函数类按定义的复杂程度来分类，称为格热高契克分层或波兰分层。
要把递归函数应用于谓词，首先要定义谓词的特征函数。谓词R(x,y)的特征函数是称谓词R 是递归谓词，若R 的特征函数是递归函数；称自然数子集A为递归集,若谓词x∈A是递归谓词。有了上述定义，就可以用递归函数来处理递归谓词和递归集。为了处理N×N（其中N 为自然数集）的子集，就要建立配对函数,所谓配对函数通常是指由N×N 到N 的一个函数??(x，y)与它的逆函数g1(z)，g2(z)。它们都满足以下关系：
可以构造许多原始递归的配对函数。
递归函数也可以用来处理符号串。处理的办法是对符号及符号串配以自然数。这方法是K.哥德尔开始引进的，因此称为哥德尔配数法。例如，在要处理的符号系统｛α1，α2，α3,...｝中，可以用奇数1，3，5，7，...作为α1,α2，α3，α4，...的配数，符号串以为其配数,其中Ps是第s个素数,nij是αij的配数。这种配数称为哥德尔配数。有了哥德尔配数法，就可以用递归函数来描写、处理有关符号串的谓词了。
代入（又名复合或叠置）是最简单又最重要的造新函数的算子，其一般形状是：由一个m元函数??与m个n元函数 g1,g2,...,gm 造成新函数 ?? (g1(x1,x2,...,xn)，g2(x1,x2,...,xn),...,gm(x1,x2，...，xn)),亦可记为??(g1，g2,...,gm)(x1，x2,...,xn)。另一个造新函数的算子是原始递归式。具有n个参数u1，u2,...,un的原始递归式为：具有一个参数的原始递归式可简写为：其特点是，不能由g、h两函数直接计算新函数的一般值??(u,x),而只能依次计算??(u,0)，??(u,1)，??(u,2)，...；但只要依次计算，必能把任何一个??(u,x)值都算出来。换句话说只要g,h为全函数且可计算，则新函数f也是全函数且可计算。
由初始函数出发，经过有限次的代入与原始递归式而作出的函数叫做原始递归函数。由于初始函数显然是全函数且可计算，故原始递归函数都是全函数且可计算。通常使用的数论函数全是原始递归函数，可见原始递归函数是包括很广的。但是W.阿克曼证明了，可以作出一个可计算的全函数，它不是原始递归的。经过后人改进后，这个函数可写为如下定义的阿克曼函数：容易看出,这个函数是处处可计算的。任给m,n的值，如果m为0，可由第一式算出；如果m不为0而n为0，可由第二式化归为求g(m,1)的值，这时第一变目减少了；如果m，n均不为0,根据第三式可先计算g(m,n-1),设为α，再计算g(m-1,α),前者第二变目减少（第一变目不变）,后者第一变目减少。极易用归纳法证得，这样一步一步地化归,最后必然化归到第一变目为0，从而可用第一式计算。所以这个函数是处处可计算的。此外又容易证明，对任何一个一元原始递归函数??(x),永远可找出一数α使得??(x)
另一个重要的造新函数的算子是造逆函数的算子，例如，由加法而造减法，由乘法造除法等。一般，设已有函数??(u,x),就x解方程??(u,x)=t,可得x=g(u,t)。这时函数g叫做??的逆函数。至于解一般方程??(u，t,x)=0而得x＝g(u，t)可以看作求逆函数的推广。解方程可以看作使用求根算子。??(u,t，x)=0的最小x根（如果有根的话），记为μx[??(u,t,x)=0]。当方程没有根时,则认为μx[??(u,t,x)=0]没有定义。可见,即使??(u,t,x)处处有定义且可计算,但使用求根算子后所得的函数μx[??(u,t,x)=0]仍不是全函数,可为部分函数。但只要它有定义，那就必然可以计算。这算子称为μ算子。如果??(u,t,x)本身便是部分函数，则 μx[??(u,t,x)=0]的意义是：当??(u,t,n)可计算且其值为0,而x
原始递归函数类里还有一个重要的子类称为初等函数类,它是由非负整数与变元经过有穷次加、算术减（即｜α-b｜）、乘、算术除、叠加Σ、叠乘П而得的函数组成的类。
波兰人A.格热高契克把原始递归函数类按定义的复杂程度来分类，称为格热高契克分层或波兰分层。
要把递归函数应用于谓词，首先要定义谓词的特征函数。谓词R(x,y)的特征函数是称谓词R 是递归谓词，若R 的特征函数是递归函数；称自然数子集A为递归集,若谓词x∈A是递归谓词。有了上述定义，就可以用递归函数来处理递归谓词和递归集。为了处理N×N（其中N 为自然数集）的子集，就要建立配对函数,所谓配对函数通常是指由N×N 到N 的一个函数??(x，y)与它的逆函数g1(z)，g2(z)。它们都满足以下关系：
可以构造许多原始递归的配对函数。
递归函数也可以用来处理符号串。处理的办法是对符号及符号串配以自然数。这方法是K.哥德尔开始引进的，因此称为哥德尔配数法。例如，在要处理的符号系统｛α1，α2，α3,...｝中，可以用奇数1，3，5，7，...作为α1,α2，α3，α4，...的配数，符号串以为其配数,其中Ps是第s个素数,nij是αij的配数。这种配数称为哥德尔配数。有了哥德尔配数法，就可以用递归函数来描写、处理有关符号串的谓词了。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条