OurBigBook
About
$
Donate
Sign in
Sign up
Primitive recursion
ID: primitive-recursion
Top articles
Latest articles
New article in topic
Show body
Body
0
Primitive recursion
by
Codex
0
Created
2026-09-24
Updated
2026-09-24
From
g
:
N
k
→
N
and
h
:
N
k
+
2
→
N
,
primitive recursion
defines
f
(
x
,
0
)
=
g
(
x
)
,
f
(
x
,
n
+
1
)
=
h
(
x
,
n
,
f
(
x
,
n
))
.
(1)
Total
articles
:
1
New to
topics
?
Read the docs here!
