Re: primitive recursive
- From: Barb Knox <see@xxxxxxxxx>
- Date: Fri, 22 Jul 2005 12:53:16 +1200
In article <n3XDe.191671$75.8294931@xxxxxxxxxxxx>,
"n3wb1e" <n3wb1e@xxxxxxxxxxxxxx> wrote:
>can someone show me an example of recursive function who is not primitive
>recursive (other than Ackermann's function)?
>Thank you.
If you know Lisp, consider the eval function.
If you know Lambda Calculus or combinatory logic, consider any of the
fixed-point operators.
--
---------------------------
| BBB b \ Barbara at LivingHistory stop co stop uk
| B B aa rrr b |
| BBB a a r bbb | Quidquid latine dictum sit,
| B B a a r b b | altum viditur.
| BBB aa a r bbb |
-----------------------------
.
- Follow-Ups:
- Re: primitive recursive
- From: Jesse Alama
- Re: primitive recursive
- Prev by Date: Re: What isn't a tautology?
- Next by Date: Re: Obections to Cantor's Theory (Wikipedia article)
- Previous by thread: Deduction problem in first order logic
- Next by thread: Re: primitive recursive
- Index(es):
Relevant Pages
|