s.f. (mat. , ling.) proprietà di ciò che è ricorsivo | teoria della ricorsività , settore della logica matematica che determina e studia la classe di problemi per i quali esiste un procedimento di risoluzione o di calcolo effettivo, detto algoritmo.