288:
256:
251:
329:
348:
353:
322:
17:
315:
225:
35:
25:
358:
295:
230:
213:
29:
130:
265:
129:
Robinson goes on to provide a specific double recursive function (originally defined by
299:
39:
342:
212:
is not primitive recursive. In fact, this is precisely the function now known as the
270:
28:
which allows the definition of non-primitive recursive functions like the
287:
83: + 1, 0) is obtained by substitution from the function
303:
105: + 1) is obtained by substitution from
323:
257:Bulletin of the American Mathematical Society
8:
330:
316:
269:
242:
7:
284:
282:
54:) double recursive with respect to
14:
286:
252:"Recursion and Double Recursion"
271:10.1090/S0002-9904-1948-09121-2
125:, ·) and given functions.
91:, ·) and given functions.
69:) is a given function of
1:
208:are primitive recursive, but
302:. You can help Knowledge by
250:Raphael M. Robinson (1948).
375:
281:
158: + 1, 0) =
18:recursive function theory
349:Mathematical logic stubs
38:called functions of two
298:-related article is a
196: + 1,
176: + 1,
113: + 1,
101: + 1,
354:Computability theory
226:Primitive recursion
36:Raphael M. Robinson
26:primitive recursion
24:is an extension of
296:mathematical logic
231:Ackermann function
214:Ackermann function
180: + 1) =
30:Ackermann function
311:
310:
366:
332:
325:
318:
290:
283:
276:
275:
273:
247:
117:), the function
22:double recursion
374:
373:
369:
368:
367:
365:
364:
363:
339:
338:
337:
336:
280:
279:
249:
248:
244:
239:
222:
206:given functions
56:given functions
12:
11:
5:
372:
370:
362:
361:
356:
351:
341:
340:
335:
334:
327:
320:
312:
309:
308:
291:
278:
277:
264:(10): 987–93.
241:
240:
238:
235:
234:
233:
228:
221:
218:
202:
201:
167:
149:
148: + 1
127:
126:
92:
74:
40:natural number
13:
10:
9:
6:
4:
3:
2:
371:
360:
357:
355:
352:
350:
347:
346:
344:
333:
328:
326:
321:
319:
314:
313:
307:
305:
301:
297:
292:
289:
285:
272:
267:
263:
259:
258:
253:
246:
243:
236:
232:
229:
227:
224:
223:
219:
217:
215:
211:
207:
199:
195:
191:
187:
183:
179:
175:
171:
168:
165:
161:
157:
153:
150:
147:
143:
139:
136:
135:
134:
132:
124:
120:
116:
112:
108:
104:
100:
96:
93:
90:
86:
82:
78:
75:
72:
68:
64:
61:
60:
59:
57:
53:
49:
45:
41:
37:
33:
31:
27:
23:
19:
304:expanding it
293:
261:
255:
245:
209:
205:
203:
197:
193:
189:
185:
181:
177:
173:
169:
163:
159:
155:
151:
145:
141:
137:
128:
122:
118:
114:
110:
106:
102:
98:
94:
88:
84:
80:
76:
70:
66:
62:
55:
51:
47:
43:
34:
21:
15:
131:Rózsa Péter
343:Categories
237:References
204:where the
42:variables
359:Recursion
166:, 1)
140:(0,
65:(0,
220:See also
188:,
50:,
294:This
58:, if
300:stub
144:) =
266:doi
16:In
345::
262:54
260:.
254:.
216:.
200:))
133:)
32:.
20:,
331:e
324:t
317:v
306:.
274:.
268::
210:G
198:x
194:n
192:(
190:G
186:n
184:(
182:G
178:x
174:n
172:(
170:G
164:n
162:(
160:G
156:n
154:(
152:G
146:x
142:x
138:G
123:n
121:(
119:G
115:x
111:n
109:(
107:G
103:x
99:n
97:(
95:G
89:n
87:(
85:G
81:n
79:(
77:G
73:.
71:x
67:x
63:G
52:x
48:n
46:(
44:G
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.