𝔖 Bobbio Scriptorium
✦   LIBER   ✦

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

✍ Scribed by Cristian Calude; Solomon Marcus; Ionel Tevy


Book ID
107958717
Publisher
Elsevier Science
Year
1979
Tongue
English
Weight
280 KB
Volume
6
Category
Article
ISSN
0315-0860

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


An Example of a Positive Polynomial whic
✍ Konrad SchmΓΌdgen πŸ“‚ Article πŸ“… 1979 πŸ› John Wiley and Sons 🌐 English βš– 187 KB

In 1888 D. HILBERT showed the existence of a real polynomial in two variables of sixth degree which is non-negative on the real plane without being a finite sum of squares of polynomials ([2]; see e.g. [l]). The existence of such polynomials has important consequences in the theory of unbounded oper