递归算法 遞归算法論Ⅰ |
| |
引用本文: | 胡世華.递归算法 遞归算法論Ⅰ[J].数学学报,1960,10(1):66-88. |
| |
作者姓名: | 胡世華 |
| |
作者单位: | 中国科学院数学研究所 |
| |
摘 要: | <正> §1.引言 能行性問題,也就是算法問題或可計算性問題,是数理邏輯的中心問題.这問題在数理邏輯基本理論研究中的重要性是数理邏輯工作者所熟知的.然而,它的重要性是远远地超出数理邏輯的范围的. 能行性問題涉及一般数学的极为本貭的問題,而且牽涉得十分深广.以递归函数論
|
收稿时间: | 1959-11-16 |
本文献已被 CNKI 等数据库收录! |
| 点击此处可从《数学学报》浏览原始摘要信息 |
| 点击此处可从《数学学报》下载免费的PDF全文 |
|