Title: Re: recursion theory
At 11:41 -0700 25/06/2002, Wei Dai wrote:
On Mon, Jun 17, 2002 at 12:39:49PM +0200,
Bruno Marchal wrote:
Recursion theory is the same as Computability Theory,
although
the name recursion theory is used when the emphasis
is on the abstract
theory. Recursion theory
On Mon, Jun 17, 2002 at 12:39:49PM +0200, Bruno Marchal wrote:
Recursion theory is the same as Computability Theory, although
the name recursion theory is used when the emphasis is on the abstract
theory. Recursion theory has born with Emil Post 1944 paper, which is still
a good introduction
I'm trying to learn about recursive ordinals and related topics such as
the arithmetical hierarchy, which are studied under the name recursion
theory. Is anyone here familiar with recursion theory? Can anyone
recommend a book on it?
3 matches
Mail list logo