rekursiʹv funktion, logisk-matematiskt begrepp som tillkommit som explikation av det intuitiva begreppet beräkningsbar funktion (dvs. funktion som kan beräknas mekaniskt, t.ex. på dator) och som nu utgör det centrala begreppet i rekursionsteorin.