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

  • Dag Prawitz

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