Re: deductive databases
From: mAsterdam <mAsterdam_at_vrijdag.org>
Date: Wed, 18 May 2005 01:28:28 +0200
Message-ID: <428a7e15$0$64528$e4fe514c_at_news.xs4all.nl>
>
> Thanks for that historical perspective.
>
> When I was referring to "current theory" of recursion
> I was thinking about articles such as these, for example.
>
> http://xxx.lanl.gov/find/grp_cs,grp_math/1/ti:+recursion/0/1/0/all/0/1?per_page=100
Date: Wed, 18 May 2005 01:28:28 +0200
Message-ID: <428a7e15$0$64528$e4fe514c_at_news.xs4all.nl>
mountain man wrote:
> mAsterdam wrote:
>>Programming languages did put recursion >>on their practical road back in the 1960's.
>
> Thanks for that historical perspective.
>
> When I was referring to "current theory" of recursion
> I was thinking about articles such as these, for example.
>
> http://xxx.lanl.gov/find/grp_cs,grp_math/1/ti:+recursion/0/1/0/all/0/1?per_page=100
Wo! That's the heavy stuff. I browsed some of the articles but they were
all very math-introvert - the kind of material I only tend to really try to grasp when somebody I trust tells me it is worth my while. I am not a mathematician, but when I put some effort into it (taking me a lot more time than it would a mathematician) I do get it most of the time. Could you point out a few which are? Received on Wed May 18 2005 - 01:28:28 CEST