|
|||||
|
|
| 算术结构的不可判定性 | |
| 引用本文： | 朱洪,卢先捷,ＲｉｃｈａｒｄＤｅｎｉｓ.算术结构的不可判定性[J].数学年刊A辑(中文版),1997(6). |
| 作者姓名： | 朱洪 卢先捷 ＲｉｃｈａｒｄＤｅｎｉｓ |
| 作者单位： | 复旦大学计算机科学系 |
| 基金项目： | 国家自然科学基金,863高科技计划 |
| 摘 要： | 本文证明了两种算术结构Ｎ；＋，ｎ２ｎ，｜２ｎ及Ｎ；＋，ｎ２ｎｌｏｇ２ｎ中可定义乘法运算从而包含算术结构Ｎ；＋，×及，而由于后者的不可判定性推导出前二者的不可判定性。 |
| 关 键 词： | 算术结构，可判定性，一阶谓词 |
| 本文献已被 CNKI 等数据库收录！ | |