算术结构的不可判定性

下载PDF

导出

摘要本文证明了两种算术结构Ｎ；＋，ｎ２ｎ，｜２ｎ及Ｎ；＋，ｎ２ｎｌｏｇ２ｎ中可定义乘法运算从而包含算术结构Ｎ；＋，×及，而由于后者的不可判定性推导出前二者的不可判定性。

作者朱洪卢先捷 RichardDenis

机构地区复旦大学计算机科学系

出处《数学年刊（A辑）》 CSCD 北大核心 1997年第6期667-672,共6页 Chinese Annals of Mathematics

基金国家自然科学基金 863高科技计划

关键词算术结构可判定性谓词逻辑递归函数

参考文献1

1夏雪,吴杰.Cantor集在构造反例中的应用[J].高等函授学报（自然科学版）,2004,17(2):27-28. 被引量：2
2Bjorn Poonen 李福安(译) 冯绪宁(校).数论中的不可判定性[J].数学译林,2010(1):8-16.
3陆洪文,费奔.二维准格点阵的算术结构[J].同济大学学报（自然科学版）,2004,32(8):1100-1102.
4胡世华.递归结构理论的形式系统和语句的可判定性——可解决性理论Ⅱ[J].中国科学（A辑）,1990,21(12):1235-1242.
5朱洪玉.关于交换积分的几点注记[J].大学物理,1992,11(12):11-13. 被引量：1
6曹为理.关于半群簇的几个判定问题[J].兰州大学学报（自然科学版）,1994,30(4):64-67. 被引量：1
7赵尚威,童朝旭,高小山.函数分解问题的判定性研究[J].系统科学与数学,2012,32(8):928-934.
8邹国成,李木华,任永才,罗驰.Monolithic特征标的核-余-次数对群结构的影响[J].西南师范大学学报（自然科学版）,2005,30(6):1000-1004.
9张乐,裴道武,王三民.系统_n~*的逻辑性质及其应用[J].高校应用数学学报（A辑）,2011,26(2):247-252.
10简斯.休儒.塞琉西、古埃及、地中海数学与《九章算术》之“方程”和“勾股”:偶然亦或显著相似?（英文）[J].自然科学史研究,2016,35(4):463-476.

数学年刊（A辑）

1997年第6期

内容加载中请稍等...