首页> 中文期刊> 《长江大学学报:社会科学版》 >关于Contor配对函数中左右函数的相互表示及其推广

关于Contor配对函数中左右函数的相互表示及其推广

         

摘要

配对函数是讨论递归函数的重要工具。通过配对函数,可以把每个多元数组都对应一个相应的数,亦即可以给每个多元数组一个相应的编号;反之,如果知道了某个多元数组的编号,也可以求出这个数组,亦即可以求出这个数组中的每个数来。因此,有了配对函数就可以把多数元组的性质乃至多元函数的性质转化为一般数的性质或者一元函数的性质来讨论,在得出适当的结论后再化归到多元数组或多元函数中去。更进一步,通过配对函数还可将数理逻辑中所谓“符号行”的计算转化为自然数的计算,“这就是所谓的算术化。

著录项

相似文献

  • 中文文献
  • 外文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号