rekursionsteori
rekursionsteori, en huvudgren inom matematisk logik, vars centrala begrepp är rekursiv funktion, konstruerat i avsikt att precisera det intuitiva begreppet beräkningsbar funktion. Flera av varandra oberoende konstruktioner företogs i detta syfte på 1930-talet. En tar
(35 av 243 ord)
Vill du få tillgång till hela artikeln?
Medverkande
Litteraturanvisning
Kent Petersson,
Beräkningsbarhet för dataloger (
1988);
H. Rogers, Jr.,
Theory of Recursive Functions & Effective Computability (
1987).
Källangivelse
Nationalencyklopedin,
rekursionsteori.
http://www.ne.se/uppslagsverk/encyklopedi/lång/rekursionsteori