Hejmen!

rikur/a MAT (pp funkcio de N al N) Tia, ke oni povas kalkuli gxiajn valorojn cxe argumento n uzante nur la valorojn cxe 0, 1, ..., $n-1$ k certajn simplajn regulojn: laux la tezo de Church cxiu efike kalkulebla funkcio estas gxenerale ~a (komputebla); primitive ~a. -> rekursa.