The first example of a recursive function which is not primitive recursive |
| |
| Authors: | Cristian Calude Solomon Marcus Ionel Tevy |
| |
| Affiliation: | Institute of Mathematics, Str. Academiei 14, R-70109, Romania;Polytechnic Institute of Bucharest, Splaiul Independen?ei 313, R-77748, Romania |
| |
| Abstract: | The first example of a recursive function which is not primitive recursive is usually attributed to W. Ackermann. The authors of the present paper show that such an example can also be found in a paper by G. Sudan, published concomitantly with Ackermann's paper. |
| |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ |
|
