On the Existence Problem of Finite Bases of Identities in the Algebras of Recursive Functions
Raphael Robinson showed that all primitive recursive functions depending on one argument, and only they could be obtained from two functions s(x) = x +1 and q(x) = x - [√x]² by using operations of addition +, superposition ∗ and iteration i. Julia Robinson proved that from the same two functions, us...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Yaroslavl State University
2020-09-01
|
| Series: | Моделирование и анализ информационных систем |
| Subjects: | |
| Online Access: | https://www.mais-journal.ru/jour/article/view/1350 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Be the first to leave a comment!