Concepedia

The first example of a recursive function which is not primitive recursive

Cristian S. Calude, Solomon Marcus, Ionel Ţevy

Historia Mathematica · 1979 · 34 citations · 2 references

DOI

Concepts

References

2

Theory of Recursive Functions and Effective Computability.

Solomon Feferman, Hartley Rogers · American Mathematical Monthly · 1969 · 2.8K citations

, , +6

Computability and Unsolvability.

Calvin C. Elgot, Martin Davis · Mathematical Tables and Other Aids to Computation · 1959 · 1K citations

, , +7