|
|||||
|
|
| 递归算术的复迭系统(Ⅰ) | |
| 引用本文： | 丁德成.递归算术的复迭系统(Ⅰ)[J].数学年刊A辑(中文版),1986(3). |
| 作者姓名： | 丁德成 |
| 作者单位： | 南京大学 |
| 摘 要： | 建立“复迭算术”主要困难有两个:一是推出函数D_x的性质,一是推出函数的性质。作者建立了一个递归算术的复迭系统A~1V_2W,其中A~1是用允许一个参数的复迭式定义的存在性公理,V_2是用允许两个参数的复迭式定义的函数的唯一性规则,W是用参数变异递归式定义的函数唯一性规则。 |
| 本文献已被 CNKI 等数据库收录！ | |
|
||||||||||||||||||||
|
||||||||||||||||||||
|
||||||||||||||||||||
|
|
|
|
| 设为首页 | 免责声明 | 关于勤云 | 加入收藏 |
|
Copyright©北京勤云科技发展有限公司 京ICP备09084417号 |